Teoria obliczalnosci

zasady zaliczenia ćwiczeń

1 - maszyna licznikowa
symulatory maszyny licznikowej - autor: Damian Kurpiewski
symulatory maszyny licznikowej i maszyny Turinga - autor: Paweł Nowiński
2 - kodowanie i numeracja
3 - podprogramy
4 - funkcje pierwotnie i czesciowo rekurencyjne
5 - Maszyna Turinga - 1
symulator maszyny Turinga 1
symulator maszyny Turinga 2