Rozvrhové akce KIV/TI pro prezenční studium v akademickém roce 2020/2021
|
Předmět |
Míst. |
Sem. |
Typ |
Týd. |
Den |
Od |
Do |
Vyučující |
|
UP-104 |
ZS |
Př |
K |
Po |
16:30 |
Ing. Václav Vais, Ph.D. |
||
|
UU-209 |
ZS |
Cv |
K |
Út |
08:25 |
Ing. Václav Vais, Ph.D. |
||
|
UU-209 |
ZS |
Cv |
K |
Út |
10:15 |
Ing. Václav Vais, Ph.D. |
||
|
UU-211 |
ZS |
Cv |
K |
St |
Ing. Jiří Skála, Ph.D. |
|||
|
UU-211 |
ZS |
Cv |
K |
St |
11:10 |
Ing. Jiří Skála, Ph.D. |
||
|
UU-206 |
ZS |
Cv |
K |
Čt |
Ing. Jiří Skála, 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 z dosud probrané látky, který proběhne v 7. týdnu semestru (tj. 3. - 5. 11. 2020). Případný náhradní test pro ty, kteří se ze zdůvodněných příčin testu nemohli zúčastnit, proběhne v 10. týdnu semestru. Opravný test pro ty, kteří nezískali potřebný počet bodů, bude v posledním úplném týdnu semestru (tj. 15.- 17. 12. 2020) Z LÁTKY CELÉHO SEMESTRU.
2. Splnění podmínek individuálního projektu. Projekty budou zadány na cvičení ve 4. týdnu semestru (tj. 13.- 15. 10. 2020).
Mezním termínem pro získání zápočtu a zkoušky je 30. 8. 2021.
Průběh zkoušky
U písemné zkoušky jsou zadány dvě výpočetní úlohy z různých okruhů probírané látky (celkem v nich lze dosáhnout 40 bodů) a 20 otázek z teorie (zde lze celkem dosáhnout 60 bodů). Na řešení je 100 minut čistého času. Testy budou opraveny do tří pracovních dnů.
Klasifikace:
90 – 100 bodů výborně
70 – 89 bodů velmi dobře
51 - 69 bodů dobře
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 z teorie informace, ČVUT 1992
Řešené typové příklady ze cvičení zde.