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

 

Mimořádný (a poslední) opravný test se uskuteční 26.1.2024 od 14:00, přihlášení přes STAG.

  

Výsledky opravného (náhradního) testu z 11.1.2024 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í St. 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í Čt. 11:10 zde.

  

Cvičení na 8.11.2023, zde.  

Cvičení na 28.9.2023, 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í.

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.

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 12 - Teorie a modely výrokové logiky 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.