Elementy teoretické informatiky - AISV5935

• Anglický název: Elements of theoretical informatics
• Zajišťuje: Ústav informačních studií a knihovnictví (21-UISK)
• Fakulta: Filozofická fakulta
• Platnost: od 2023
• Semestr: zimní
• Body: 0
• E-Kredity: 3
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:0/2, Z [HT]
• Počet míst: neurčen / neurčen (15)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: nevyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu
• Garant: prof. RNDr. Jiří Ivánek, CSc.

Anotace

Poslední úprava: prof. RNDr. Jiří Ivánek, CSc. (17.02.2020)

Úvod do teoretické informatiky s důrazem na základní pojmy a výsledky týkající se formálních jazyků, automatů, algoritmů, které jsou potřebné pro pochopení podstaty počítačového zpracování zejména nenumerických informací.

Cíl předmětu

Poslední úprava: prof. RNDr. Jiří Ivánek, CSc. (17.02.2020)

Cíl: Poskytnout studentům potřebný úvod do teoretické informatiky s důrazem na základní pojmy a výsledky týkající se formálních jazyků, automatů, algoritmů, které jsou potřebné pro pochopení podstaty počítačového zpracování zejména nenumerických informací.

Podmínky zakončení předmětu

Poslední úprava: prof. RNDr. Jiří Ivánek, CSc. (27.01.2019)

Účast na seminářích, příprava a prezentace referátu z teoretické literatury.

Literatura

Poslední úprava: Bc. Klára Foglarová (17.04.2019)

IVÁNEK, J.: Základy matematické informatiky I. Informace a automaty. VŠE, Praha 1991

Sylabus

Poslední úprava: prof. RNDr. Jiří Ivánek, CSc. (17.02.2020)

Pracovní osnova:
1. Abecedy a zpracování řetězců symbolů
2. Pojem konečného automatu
3. Další typy automatů
4. Turingovy stroje
5. Formální jazyky a gramatiky
6. Chomského typizace jazyků a gramatik
7. Rozpoznávání jazyků automaty
8. Pojem algoritmu
9. Algoritmická řešitelnost úloh
10. Složitost algoritmů a problémů