|
Lecturer(s)
|
-
Rak Josef, RNDr. Ph.D.
-
Benedikovič Miroslav, RNDr.
-
Karamazov Simeon, prof. Ing. Dr.
|
|
Course content
|
unspecified
|
|
Learning activities and teaching methods
|
|
Monologic (reading, lecture, briefing), Dialogic (discussion, interview, brainstorming), Monitoring, Demonstration, Skills training, Laboratory work
|
|
Learning outcomes
|
The aim of the subject is introduce main parts of theoretical informatics to students. Obtained knowledges can be applied on text analysis of program code in selected programming language as part of compiler, Turing machines and on problems connected with programming complexity and decidability.
|
|
Prerequisites
|
unspecified
|
|
Assessment methods and criteria
|
Oral examination, Home assignment evaluation
|
|
Recommended literature
|
-
Aho, A. V., Sethi, R., Ullmann, J. D. Compilers, Principles, Techniques, and Tools. Berkley: Addison-Wesley Publishing Company, 2006. ISBN 0-201-10088-6.
-
Hopcroft, J. E., Ullmann, J. D. Formální jazyky a automaty. ALFA, Bratislava, 1978. ISBN 63-096-78.
-
Louden, Keneth C. Compiler Construction - Principles and Praktice. Boston, PWS Publishing Comp, 1997.
-
Mak, R. Writing Compilers & Interpreters. New York, John Wiley & Sons, 1991.
|