|
Vyučující
|
-
Barilla Jiří, doc. Ing. Mgr. CSc.
|
|
Obsah předmětu
|
1. Základní matematické pojmy. 2. Výroková logika. 3. Množiny a relace. 4. Relační struktury. 5. Zobrazení. 6. Číselné soustavy. 7. Boolova algebra. 8. Kombinatorika. 9. Teorie informace. 10. Teorie složitosti. 11. Jazyky a automaty. 12. Turingovy stroje. 13. Teorie vyčíslitelnosti.
|
|
Studijní aktivity a metody výuky
|
|
nespecifikováno
|
|
Výstupy z učení
|
V tomto kurzu se studenti seznámí s teoretickými základy informatiky, které jsou důležité pro studium informačních systémů. Studenti získají základní znalosti z vybraných partií z matematiky (logika, množiny, relace, kombinatorika atd.), číselných soustav, Booleovy algebry, teorie informace, teorie složitosti, Turingova stroje a teorie vyčíslitelnosti. Je kladen důraz na propojení matematické teorie s praktickou realizací. Získané znalosti umožní lepší pochopení dalších navazujících předmětů v oblasti informačních technologií.
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
nespecifikováno
Písemná zkouška
|
|
Doporučená literatura
|
-
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.
|