Domáce úlohy
Úloha:
1 |
2 |
3 |
4 |
5 |
6
Domáca úloha č. 1 do 13. marca 2003
Schéma S sa zastaví práve vtedy, keď sa zastaví výpočet pre každú Herbrandovskú interpretáciu schémy S.
Späť
Domáca úloha č. 2 do 20. marca 2003
Rozhodnite, či je problém dosiahnuteľnosti príkazu v štandardnej schéme rozhodnuteľný. Svoje tvrdenie dokážte.
Späť
Domáca úloha č. 3 do 27. marca 2003
Späť
Domáca úloha č. 4 do 3. apríla 2003
Späť
Domáca úloha č. 5 do 24. apríla 2003
Späť
Domáca úloha č. 6 do 29. apríla 2003
Späť