Doplňující materiály
Zde najdete jak neoficiální materiály pro podporu výuky v předmětu IFJ a další výuky teorie formálních jazyků a teorie překladačů na FIT, tak i další literaturu jako různá skripta a webové stránky, které se zabývají výukou teoretické informatiky a překladačů.
Materiály pro podporu výuky v IFJ
Doplňující literatura
| Název |
Popis |
| Beneš, Česka, Hruška: Překladače |
skripta (1,5 MB, PDF, česky) |
| Česka: Gramatiky a jazyky |
skripta (1,5 MB, PDF, česky) |
| Beneš: Překladače |
skripta (917 kB, PDF, česky) |
| Překladače |
webové stránky stránky předmětu, VŠB-TU Ostrava (česky) |
| Meduna: Lecture Notes in Compilers |
starší podklady pro přednášky z předmětu ZAP (55,7 MB, PDF, anglicky) |
| Reference material and definitions |
přehled různých definic, University of Maryland (HTML stránky, anglicky) |
| Math & Informatics |
stránky pro vyhledávání pojmů nejen z matematiky a informatiky (anglicky) |
| Models of computation (2002) |
webové stránky kurzu, Resselaer Polytechnic Institute (anglicky) |
| FA & Theory of Computation |
webové stránky kurzu, The College of William & Merry (anglicky) |
| Foundations of Computer Science II |
webové stránky kurzu (anglicky) |
| Computability and Complexity (2005) |
webové stránky kurzu, University of California, Berkeley (anglicky) |
| Turingův osud |
populární článek o osudu Alana Turinga (česky) |
| Alan Mathison Turing - život a dílo |
odbornější článek z pohledu teoretických informatiků (česky) |
