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.