Introduction to the Logic and Theoretical Computer Science II - AIS100115

• Title: Úvod do logiky a teoretické informatiky II
• Guaranteed by: Institute of Information Studies and Librarianship (21-UISK)
• Faculty: Faculty of Arts
• Actual: from 2023
• Semester: summer
• Points: 0
• E-Credits: 5
• Examination process: summer s.:
• Hours per week, examination: summer s.:2/1, Ex [HT]
• Capacity: unlimited / unknown (unknown)
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: 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: Ing. René Levínský, Ph.D.; Mgr. David Jiří Šlosar
• Teacher(s): Ing. René Levínský, Ph.D.; Mgr. David Jiří Šlosar

Annotation

English

Last update: Mgr. David Jiří Šlosar (12.02.2024)

Introduction to theoretical computer science with emphasis on basic concepts and results related to information theory, formal languages, automata and algorithms, which are necessary for understanding the nature of computer processing, especially of non-numerical information.
Attestation will be given on the basis of the results of solving assigned problems related to information source coding and an oral examination.

Czech

Last update: Mgr. David Jiří Šlosar (12.02.2024)

Úvod do teoretické informatiky s důrazem na základní pojmy a výsledky týkající se teorie informace, formálních jazyků, automatů a algoritmů, které jsou potřebné pro pochopení podstaty počítačového zpracování zejména nenumerických informací.
Atestace bude udělena na základě výsledků řešení zadaných úloh týkajících se kódování informačního zdroje a ústní zkoušky.

Literature

Last update: Mgr. David Jiří Šlosar (12.02.2024)

IVÁNEK, Jiří. Vybrané kapitoly kódování informací. Studijní text. Praha: Univerzita Karlova, 2007.

Ivánek, J.: Základy matematické informatiky – I. Informace a automaty. 1. vyd. Praha, VŠE 1985, 95s. (2. vydání Praha, VŠE 1991)

MAREŠ, Milan. Základy teorie informace: zdroje informace a její měření. České Budějovice: Jihočeská univerzita, 2011. ISBN 978-80-7394-291-5.

JIROUŠEK, Radim; IVÁNEK, Jiří; MÁŠA, Petr; TOUŠEK, Jan a VANĚK, Norbert. Principy digitální komunikace. Voznice: Leda, 2006. ISBN 80-733-5084-X.

PEZLAR, Zdeněk. Základy teorie informace. Scriptum. Brno: Konvoj, 1998. ISBN 80-856-1576-2.

GLEICK, James. Informace: historie, teorie, záplava. Argo: Dokořán. Praha: Argo, 2013. ISBN 978-807-3634-155.

Syllabus

Last update: Mgr. David Jiří Šlosar (12.02.2024)

- Teorie informace

- Informační entropie

- Huffmanův a Fanův kompresní algoritmus

- Technické aspekty přenosu zpráv

- Formální jazyky

- Algoritmus

- P vs. NP