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

Výsledky posledního opravného zápočtového testů psaného 19.2.2025 zde.

Další opravné testy již vypsány nebudou, studenti, kteří neuspěli, nesplnili podmínky a zápočet nezískali.

Výsledky opravných zápočtových testů psaných 14.1.2025

od 15:00 zde, od 16:00 zde.

Výsledky náhradního zápočtového testu psaného 8.1.2025 zde.

Opravný test pro ty, kteří neuspěli v řádném termínu, se uskuteční 14.1.2025 od 15:00, respektive 16:00, přihlášení přes STAG.

Náhradní test pro ty, kteří nebyli v řádném termínu přítomni, se uskuteční 8.1.2025 od 15:00, přihlášení přes STAG.

Respektujte prosím rozdělení na opravný a náhradní a podle toho se na termíny přihlašujte.

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

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

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

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

Výsledky řádného zápočtového testu psaného na cvičení Út. 12:05 zde.

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.