Rozvrhové akce KIV/TI v akademickém roce 2025/2026
|
Předmět |
Míst. |
Sem. |
Typ |
Týd. |
Den |
Od |
Do |
Vyučující |
|
US-217 |
ZS |
Př |
K |
Po |
15:35 |
Ing. Václav Vais, Ph.D. |
||
|
UN-309 |
ZS |
Cv |
K |
Út |
10:15 |
Ing. Václav Vais, Ph.D. |
||
|
UN-309 |
ZS |
Cv |
K |
Út |
12:05 |
Ing. Václav Vais, Ph.D. |
||
|
UC-334 |
ZS |
Cv |
K |
St |
Ing. Jiří Skála, Ph.D. |
|||
|
UN-309 |
ZS |
Cv |
K |
St |
11:10 |
Ing. Jiří Skála, Ph.D. |
||
|
UN-309 |
ZS |
Cv |
K |
Čt |
Ing. Václav Vais, Ph.D. |
|||
|
UN-309 |
ZS |
Cv |
K |
Čt |
Ing. Václav Vais, Ph.D. |
|||
Podmínky pro získání zápočtu
Pro získání zápočtu je nutno dosáhnout nadpolovičního počtu bodů v kontrolním testu, který proběhne v době cvičení v posledním úplném týdnu semestru (tj. 9. - 11. 12. 2025). Opravný test pro ty, kteří nezískají potřebný počet bodů, bude vypsán v lednu 2026.
Zápočet získaný při předchozím zápisu předmětu není uznán, vždy je nutné splnit podmínky kontrolního testu. Na rozdíl od minulých let nebudou zadávány semestrální práce.
Mezním termínem pro splnění podmínek zápočtu je 13. 2. 2026.
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, každá z jiného okruhu přednesené látky (okruh 1 = automaty, jazyky, gramatiky; okruh 2 = teorie informace, kódování; okruh 3 = logika).
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 28. 8. 2026.
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