• Pojem  algoritmu
• Turingův stroj jako matematický model algoritmu
• Churchova - Turingova teze

Cvičení

• konstrukce Turingovych strojů

Literatura

P. Jančar kapitoly 6.2.,   6.4.

J. Hromkovič kapitola 2