|
Lecturer(s)
|
-
Barilla Jiří, doc. Ing. Mgr. CSc.
|
|
Course content
|
1. The Basic Mathematical Ideas. 2. Propositional Logic. 3. Sets and Relations. 4. Relational Structures. 5. Mapping. 6. Number Systems. 7. Boolean Algebra. 8. Combinatorics. 9. Information Theory. 10. Complexity Theory. 11. Languages and Automata. 12. Turing Machines. 13. Computability Theory.
|
|
Learning activities and teaching methods
|
|
unspecified
|
|
Learning outcomes
|
In this course, students will practice the subject matter discussed in the course "Theoretical Foundation of Informatics", which is important for the study of information systems. Students will acquire basic knowledge of selected topics in mathematics (logic, sets, relations, combinatorics etc.), number systems, Boolean algebra, information theory, complexity theory, Turing machines and computability theory. The emphasis is on linking the mathematical theory with practical implementation. The acquired knowledge will enable students a better understanding of related subjects in the field of information technology.
|
|
Prerequisites
|
unspecified
|
|
Assessment methods and criteria
|
unspecified
Successful completion of a written test.
|
|
Recommended literature
|
-
Cejpek J. Informace, komunikace a myšlení. Praha: Karolinum, 1998. ISBN 80-7184-767-4.
-
Hopcroft J., Motwani R., Ullman J. Introduction to Automata Theory, Languages and Computation. Addison Wesley, 2007.
-
Chytil, M. Automaty a gramatiky, SNTL Praha, 1984.
-
CHYTIL M. Teorie automatů a formálních jazyků. (Skripta), SPN Praha, 197.
-
Kolář J., Štěpánková O., Chytil M. Logika, algebry a grafy, SNTL Praha, 1989.
-
Matoušek D. Číslicová technika. BEN - technická literatura, 2004. ISBN 80-7300-025-3.
-
Meduna A. Automata and Languages, Springer, 2000.
|