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

Základní organizační informace zde.

Kdy se zapisuje známka? zde.

Vzorová písemka zde.

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

Ukázka dokumentace k zápočtové úloze z TI zde.

Výsledky zkoušky 3.4.2012 zde.

Výsledky zkoušky 27.2.2012 zde.

Výsledky zkoušky 31.1.2012 zde.

Výsledky zkoušky 24.1.2012 zde.

Výsledky zkoušky 19.1.2012 zde.

Výsledky zkoušky 13.1.2012 zde.

Výsledky zkoušky 13.12.2011 zde.

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

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

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

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

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

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

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

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

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

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

Fólie 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.