Interactive Syllabus

Podmínky absolvování, přehled studijních materiálů, závěrečný projekt

Chceme-li zkoumat výpočetní limity počítačů, potřebujeme k tomu co nejjednodušší a současně univerzální matematický model počítače, aby bylo možno snadno zkoumat jeho vlastnosti. Z řady modelů, které v minulosti vznikly, se jednoznačně nejvíce rozšířil Turingův stroj. Je velmi jednoduchý a přitom v principů dokáže spočítat totéž, co kterýkoli dnešní počítač.