FI:R009 Teor. základy informatiky I - Course Information
R009 Teoretické základy informatiky I
Faculty of InformaticsSpring 1998
- Extent and Intensity
- 0/0. 0 credit(s). Type of Completion: z (credit).
- Teacher(s)
- doc. RNDr. Václav Sedláček, CSc. (lecturer)
- Guaranteed by
- Contact Person: doc. RNDr. Václav Sedláček, CSc.
- Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
- fields of study / plans the course is directly associated with
- Informatics (programme FI, B-IN)
- Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
- Information Technology (programme FI, B-IN)
- Syllabus
- Finite automata, regular sets, deterministic and non-deterministic finite automata, Kleene theorem
- Stack, its applications in programming, push-down automata, arithmetic expression transformation into postfix notation, recursion
- Turing machine, examples, computability and partial computability, recursive sets and partial recursive sets, stopping problem for Turing machine, Turing theorem, Church thesis, Post correspondence problem
- Grammars and languages, Chomsky classification, relations between grammars and automata
- Syntactic analysis of context free languages, syntactic tree
- Language of instruction
- Czech
- Enrolment Statistics (recent)
- Permalink: https://is.muni.cz/course/fi/spring1998/R009