Úvod do teoretické informatiky

Garant předmětu:

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra matematiky

Anotace:

Základní pojmy teoretické informatiky: algoritmy, různé typy automatů, úvod do teorie informace a kódování.

Požadavky:

Osnova přednášek:

Algoritmy a algoritmicky vyčíslitelné funkce, algoritmicky rozhodnutelné množiny. Markovovy normální algoritmy, Turingův stroj, zásobníkový automat, konečný automat. Sekvenční automaty, analýza, syntéza a minimalizace. Úvod do teorie informace a kódování.

Osnova cvičení:

Cíle studia:

Znalosti:

Elementy základních partií teoretické informatiky.

Schopnosti:

Přehled o základních aspektech algoritmického myšlení, finitních postupů a jejich omezení.

Studijní materiály:

Povinná literatura:

[1] J. Mareš: Teorie vyčíslitelnosti. Skripta. Vydavatelství ČVUT, Praha 2008. (Část.)

[2] J. Mareš: Jazyky, gramatiky a automaty. Skripta. Vydavatelství ČVUT, Praha 2004. (Část.)

[3] J. Mareš: Teorie kódování. Skripta. Vydavatelství ČVUT, Praha 2009. (Část.)

Doporučená literatura:

[4] J. Adámek: Kódování. SNTL, Praha 1989.

[5] M. Demlová, V. Koubek: Algebraická teorie automatů, SNTL, Praha, 1990.

Poznámka:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů: