MTAT » ATI » Sven Laur » Courses » Loogika praktikumid
2002

Matemaatilise loogika praktikum

Reede 8.15-9.45

Turingi masinate lisaülesanne

Virga kopra probleem 10 realise Turingi masinaga.

Tulemused
Sven-Erik Petermann 37 2^x derivaat
Sven-Erik Petermann 69 2^x derivaat
Sven-Erik Petermann 734 3^x derivaat
Sven-Erik Petermann ~21943^x derivaat+pikem astendaja
Mart Randala ~5500kaval kahekordistav masin
Sven-Erik Petermann ~518 000 2^x komponeeritud 3^x-ga + uus interpretaator
Konstantin Tretjakov 2^2097174+2097174+1 2^x+x+1 komponeeritud peatumistingimusega y=2 mod 3