Home > Search Results: Velebil, Jiří
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 3 records found  Search took 0.01 seconds. 
Design of the High Speed Track between Brno and Znojmo
 Repko, Michal ; Velebil, Jiří (referee) ; Valehrach, Jan (advisor)
The aim of this diploma thesis is to design a new track route of high speed line from Brno to Znojmo, specifically between the planned terminal of high speed line Unkovice and existing railway station Hrušovany nad Jevišovkou. The track is designed for a maximum speed of 250 km/h. The alignment and profile of the line were designed, including the design of the railway superstructure and track geometry parameters.
Detailed record
Design of the High Speed Track between Brno and Znojmo
 Repko, Michal ; Velebil, Jiří (referee) ; Valehrach, Jan (advisor)
The aim of this diploma thesis is to design a new track route of high speed line from Brno to Znojmo, specifically between the planned terminal of high speed line Unkovice and existing railway station Hrušovany nad Jevišovkou. The track is designed for a maximum speed of 250 km/h. The alignment and profile of the line were designed, including the design of the railway superstructure and track geometry parameters.
Detailed record
Gentzen's Consistency Proof
 Horská, Anna ; Švejdar, Vítězslav (advisor) ; Velebil, Jiří (referee)
This paper contains detailed description of two consistency proofs, which state that in the system called Peano arithmetic no contradiction can be obtained. The proofs were first published in 1936 and 1938 by the German mathematician Gerhard Gentzen. For the purpose of this paper, the proofs were read and studied from the original articles called "Die Widerspruchsfreiheit der reinen Zahlentheorie" and "Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie". The first mentioned proof is interesting from the historical point of view. Gentzen used a natural deduction sequent calculus and ordinal numbers in an unusual form he invented. The second proof is similar to the consistency proof, which is commonly known as a consistency proof for Peano arithmetic nowadays.
Detailed record

See also: similar author names
2 Velebil, Jan
Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English