Rozvrhové akce KIV/TI v akademickém roce 2023/2024

Předmět	Míst.	Sem.	Typ	Týd.	Den	Od	Do	Vyučující
KIV/TI	UP-104	ZS	Př	K	Po	13:55	16:30	Ing. Václav Vais, Ph.D.
KIV/TI	UN-309	ZS	Cv	K	St	09:20	11:00	Ing. Václav Vais, Ph.D.
KIV/TI	UN-309	ZS	Cv	K	St	11:10	12:50	Ing. Václav Vais, Ph.D.
KIV/TI	UN-309	ZS	Cv	K	Čt	09:20	11:00	Ing. Václav Vais, Ph.D.
KIV/TI	UN-309	ZS	Cv	K	Čt	11:10	12:50	Ing. Václav Vais, Ph.D.

Podmínky pro získání zápočtu

Pro získání zápočtu je nutno splnit obě níže uvedené podmínky:

1. Nadpoloviční počet bodů v kontrolním testu, který proběhne v době cvičení v posledním úplném týdnu semestru (tj. 13. - 14. 12. 2023). Opravný test pro ty, kteří nezískají potřebný počet bodů, bude v vypsán v lednu 2024.

2. Splnění podmínek individuálního projektu. Projekty budou zadány na cvičení ve 4. týdnu semestru (tj. 11.- 12. 10. 2023).

Zápočet získaný při předchozím zápisu předmětu není uznán. Pokud má student předmět zapsaný podruhé a při prvním zápisu podmínky pro získání zápočtu splnil, je mu uznáno splnění projektu, ale nově musí splnit podmínky kontrolního testu.

Mezním termínem pro splnění podmínek zápočtu je 30. 6. 2024.  

Průběh zkoušky

Zkouška je kombinovaná, skládá se z písemné a ústní části. v písemné části jsou zadány dvě výpočetní úlohy z různých okruhů probírané látky. Na písemnou část je 50 minut čistého času, celkem z ní lze získat 2 * 20 = 40 bodů. V ústní části jsou zadány tři otázky z teorie.

Klasifikace:

alespoň 35 bodů z písemné části a tři správně zodpovězené otázky       výborně

alespoň 30 bodů z písemné části, dvě správně a jedna částečně zodpovězená otázka        velmi dobře

alespoň 20 bodů z písemné části a dvě správně a jedna částečně zodpovězená otázka         dobře

Mezním termínem pro složení zkoušky je 31. 8. 2024.  

Literatura doplňující záznamy přednášek

Vais: Teoretická informatika 1. část - Konečné automaty a regulární jazyky, elektronický materiál, 2017

Vais: Teoretická informatika 2. část - Teorie informace a kódování, elektronický materiál, 2018

Vais: Teoretická informatika 3. část - Úvod do logiky, elektronický materiál, 2019

Papík, Pergl, Vaníček, Vaníček: Teoretické základy informatiky, ALFA Publishing, 2007

Chytil : Gramatiky a automaty, SNTL 1983

Adámek : Kódování, SNTL 1989

Adámek: Stochastické procesy a teorie informace, ČVUT 1992