Informace v SISu

Po 9:00-10:30 K12
Po 10:40-12:10 K12

Skripta (verze 2018)

stránka Jana Krajíčka (s množstvím dalších užitečných odkazů)

Turingův článek On Computable Numbers, with an Application to the Entscheidungsproblem

Simulátor Turingova stroje