|
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 learn the theoretical foundations of informatics, which are 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
Written exam
|
|
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, 1978.
-
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.
|