Národní úložiště šedé literatury Nalezeno 3 záznamů.  Hledání trvalo 0.00 vteřin. 
Návrh vysokorychlostní tratě mezi Brnem a Znojmem
Repko, Michal ; Velebil, Jiří (oponent) ; Valehrach, Jan (vedoucí práce)
Cílem této diplomové práce je navrhnutí nové trasy vysokorychlostní tratě z Brna do Znojma, a to konkrétně mezi plánovaným terminálem VRT Unkovice a stávající žst. Hrušovany nad Jevišovkou. Trať je navržena na maximální rychlost 250 km/h. Byly navrženy směrové a sklonové poměry trati, včetně návrhu konstrukce železničního svršku a geometrických parametrů koleje.
Návrh vysokorychlostní tratě mezi Brnem a Znojmem
Repko, Michal ; Velebil, Jiří (oponent) ; Valehrach, Jan (vedoucí práce)
Cílem této diplomové práce je navrhnutí nové trasy vysokorychlostní tratě z Brna do Znojma, a to konkrétně mezi plánovaným terminálem VRT Unkovice a stávající žst. Hrušovany nad Jevišovkou. Trať je navržena na maximální rychlost 250 km/h. Byly navrženy směrové a sklonové poměry trati, včetně návrhu konstrukce železničního svršku a geometrických parametrů koleje.
Gentzen's Consistency Proof
Horská, Anna ; Švejdar, Vítězslav (vedoucí práce) ; Velebil, Jiří (oponent)
Práca podáva podrobne vysvetlené dva dôkazy bezespornosti Peanovej aritmetiky, ktoré v rokoch 1936 a 1938 uverejnil nemecký matematik Gerhard Gentzen. Dôkazy boli naštudované z pôvodných zdrojov, a to z článkov "Die Widerspruchsfreiheit der reinen Zahlentheorie" a "Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie". Prvý z uvedených dôkazov je zaujímavý z historického hľadiska, Gentzen pri ňom využíva kalkul prirodzenej dedukcie a ordinálne čísla, ktoré kvôli dôkazu sám vymyslel. Druhý dôkaz je viac-menej dnes bežne známy ako dôkaz bezespornosti Peanovej aritmetiky.

Viz též: podobná jména autorů
2 Velebil, Jan
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.