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

Cvičení na 13.11.2024, zde,

Základní organizační informace k předmětu zde.

Vzorový zápočtový test - bude mít 20 otázek, část bude z automatů a gramatik, část z teorie informace a kódování, několik otázek bude z logiky.

Vzory jsou historické, ještě rozdělené zde a zde.

Ukázky úloh z písemné části zkoušky: zde.

Otázky k ústní části zkoušky: 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.

Rady jak kreslit přechodové grafy v Pythonu 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 ..... ☺

PŘEDNÁŠKOVÉ SLAJDY (probíhá revize, doporučuji stahovat až před příslušnou přednáškou)

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

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

Slajdy k přednášce 3 - Chomského klasifikace 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 5 - Reprezentace regulárních jazyků 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 7 - Bezpečnostní kódy, lineární 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 9 - Cyklické kódy otevřít zde,

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

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

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

DEMONSTRAČNÍ PŘÍKLADY

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