Elements of theoretical informatics - AISV5935

• Title: Elementy teoretické informatiky
• Guaranteed by: Institute of Information Studies and Librarianship (21-UISK)
• Faculty: Faculty of Arts
• Actual: from 2023
• Semester: winter
• Points: 0
• E-Credits: 3
• Examination process: winter s.:
• Hours per week, examination: winter s.:0/2, C [HT]
• Capacity: unknown / unknown (15)
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: not taught
• Language: Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Note: course can be enrolled in outside the study plan; enabled for web enrollment
• Guarantor: prof. RNDr. Jiří Ivánek, CSc.

Annotation

Last update: 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í.

Aim of the course

Last update: 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í.

Course completion requirements

Last update: prof. RNDr. Jiří Ivánek, CSc. (27.01.2019)

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

Literature

Last update: Bc. Klára Foglarová (17.04.2019)

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

Syllabus

Last update: 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ů