FPF:UBKINSNP07 Teoretické základy informatiky - Informace o předmětu
UBKINSNP07 Teoretické základy informatiky
Filozoficko-přírodovědecká fakulta v Opavězima 2024
- Rozsah
- 2/2/0. 6 kr. Ukončení: zk.
- Vyučující
- doc. RNDr. Lucie Ciencialová, Ph.D. (přednášející)
doc. RNDr. Lucie Ciencialová, Ph.D. (cvičící) - Garance
- doc. RNDr. Lucie Ciencialová, Ph.D.
Ústav bohemistiky a knihovnictví – Filozoficko-přírodovědecká fakulta v Opavě - Rozvrh
- Čt 16:25–18:00 B4
- Rozvrh seminárních/paralelních skupin:
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- Informační studia (program FPF, KNIH-nav)
- Cíle předmětu
- Základními tématy předmětu jsou abstraktní stroje, formální gramatiky a jazyky, pojem vyčíslitelnosti a složitosti automatů, jazyků a výpočtů. Bude diskutováno chování individuálních objektů i fenoménů a důsledky spolupráce kolektivního chování objektů. Studenti se seznámí s Turingovým strojem, zásobníkovým automatem a konečným automatem, se vztahem strojů a formálních gramatik. Předmětem studia bude také omezení strojového přístupu a generativního přístupu k řešení úloh a související pojem (ne)rozhodnutelnosti.
- Výstupy z učení
- Student bude po absolvování předmětu schopen:
- vysvětlit rozdíl mezi generativním a strojovým přístupem k řešení úloh;
- definovat typy chomského gramatik;
- přiřadit k typům jazyků stroj, který je rozpoznává;
- analyzovat chování gramatik i strojů; - Osnova
- 1. Abeceda, slovo, jazyk. Konečná reprezentace jazyků.
- 2. Gramatiky.
- 3. Konečné automaty a regulární jazyky.
- 4. Zásobníkové automaty.
- 5. Bezkontextové gramatiky a jazyky.
- 6. Úvod do teorie vyčíslitelnosti.
- Literatura
- povinná literatura
- CIENCIALOVÁ, Lucie. Teoretické základy informatiky. Opava: Slezská univerzita v Opavě, 2014. ISBN 978-80-7510-130-3. info
- doporučená literatura
- ČERNÁ, I, M KŘETÍNSKÝ a A KUČERA. Automaty a formální jazyky I. Brno: FI MU, 2002. info
- Výukové metody
- Přednáška s aktivizací
Přednáška s diskuzí - Metody hodnocení
- Zápočet: písemný. Povinná účast na cvičeních min. 75 %. Zkouška: písemná.
- Další komentáře
- Studijní materiály
- Statistika zápisu (nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/zima2024/UBKINSNP07