Teoretická informatika - Ing. Václav Vais, Ph.D.

Příklady úloh v písemné části zkoušky zde.

Výsledky řádného zápočtového testu psaného na cvičení Čt. 9:20 - 11:00 zde.  

Výsledky řádného zápočtového testu psaného na cvičení St. 11:10 - 12:50 zde.  

Výsledky řádného zápočtového testu psaného na cvičení St. 9:20 - 11:00 zde.  

Výsledky řádného zápočtového testu psaného na cvičení Út. 8:25 - 10:15 zde.

Informace k zápočtovému testu včetně vzorového zadání zde.

Základní organizační informace zde.

Odkaz na řešené typové příklady ze cvičení zde.

Formáty datových souborů pro některé zápočtové úlohy z TI zde.

Doporučená struktura dokumentace k zápočtové úloze z TI zde.

Ucelený materiál ke konečným automatům a regulárním jazykům otevřít zde

Ucelený materiál k teorii informace a kódování otevřít zde

Materiál k úvodu do logiky otevřít zde

UPOZORNĚNÍ - Materiály odkazované výše jsou určeny nejen studentům předmětu KIV/TI.

Rozsahem překračují látku z KIV/TI, tak se nemusíte učit úplně všechno ..... ☺

Cvičení na 17.11.2021, zde,

Cvičení na 10.11.2021, zde,

Cvičení na 28.10.2021, zde,

Cvičení na 28.9.2021, zde,

NOVÉ PŘEDNÁŠKOVÉ SLAJDY

Slajdy k přednášce 12 - Teorie a modely výrokové logiky (po opravě) otevřít zde,

Slajdy k přednášce 11 - Úvod do logiky otevřít zde,

Slajdy k přednášce 10 - Systematické cyklické kódy otevřít zde,

Slajdy k přednášce 9 - Cyklické kódy otevřít zde,

Slajdy k přednášce 8 - Lineární kódy - opravování chyb otevřít zde,

Slajdy k přednášce 7 - Bezpečnostní kódy, lineární kódy otevřít zde,

Slajdy k přednášce 6 - Úvod do teorie informace, kódování pro kanál bez šumu otevřít zde,

Slajdy k přednášce 5 - Reprezentace regulárních jazyků otevřít zde,

Slajdy k přednášce 4 - Regulární jazyky a jejich souvislost s konečnými automaty otevřít zde,

Slajdy k přednášce 3 - Chomského klasifikace jazyků otevřít zde,

Slajdy k přednášce 2 - Úvod do teorie jazyků otevřít zde,

Slajdy k přednášce 1 - Konečné automaty otevřít zde,

DEMONSTRAČNÍ PŘÍKLADY

Interaktivní model rozpoznávacího konečného automatu otevřít zde.

STARÉ PŘEDNÁŠKOVÉ SLAJDY

Slajdy k přednášce 1 - Konečné automaty otevřít zde, stáhnout zde.

Slajdy k přednášce 2 - Úvod do teorie jazyků otevřít zde, stáhnout zde.

Slajdy k přednášce 3 - Gramatiky otevřít zde, stáhnout zde.

Slajdy k přednášce 4 - Gramatiky typu 3 a jejich vztah ke KA otevřít zde, stáhnout zde.

Slajdy k přednášce 5 - Reprezentace jazyků typu 3 otevřít zde, stáhnout zde.

Slajdy k přednášce 6 - Teorie informace, základní pojmy z kódování otevřít zde, stáhnout zde.

Slajdy k přednášce 7 - Bezpečnostní kódy - základní pojmy otevřít zde, stáhnout zde.

Slajdy k přednášce 8 - Lineární kódy otevřít zde, stáhnout zde.

Slajdy k přednášce 9 - Lineární kódy - pokračování otevřít zde, stáhnout zde.

Slajdy k přednášce 10 - Cyklické kódy otevřít zde, stáhnout zde.

Slajdy k přednáškám 11 a 12 - Úvod do logiky otevřít zde, stáhnout zde.

Doplněk k cvičení 13 - Příklady na cyklické kódy a výrokový počet otevřít zde, stáhnout zde.