Úvod do logiky a teoretické informatiky II - AIS100115

• Anglický název: Introduction to the Logic and Theoretical Computer Science II
• Zajišťuje: Ústav informačních studií a knihovnictví (21-UISK)
• Fakulta: Filozofická fakulta
• Platnost: od 2023
• Semestr: letní
• Body: 0
• E-Kredity: 5
• Způsob provedení zkoušky: letní s.:
• Rozsah, examinace: letní s.:2/1, Zk [HT]
• Počet míst: neomezen / neurčen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyuč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: Ing. René Levínský, Ph.D.; Mgr. David Jiří Šlosar
• Vyučující: Ing. René Levínský, Ph.D.; Mgr. David Jiří Šlosar

Anotace

čeština

Poslední úprava: 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.

angličtina

Poslední úprava: 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.

Literatura

Poslední úprava: 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.

Sylabus

Poslední úprava: 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