Maszyny Turinga - ZakÅad Logiki Stosowanej, UAM
Maszyny Turinga - ZakÅad Logiki Stosowanej, UAM
Maszyny Turinga - ZakÅad Logiki Stosowanej, UAM
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Koniec<br />
Koniec<br />
Od następnego wykładu będziemy pracować z funkcjami rekurencyjnymi.<br />
Na jednym z dalszych wykładów wspomnimy (czysto informacyjnie) o<br />
innych jeszcze matematycznych reprezentacjach pojęcia obliczalności:<br />
algorytmach Markowa;<br />
obliczalności według Herbranda – Gödla;<br />
rachunku lambda;<br />
numeracjach Kleene’go i Posta.<br />
Jerzy Pogonowski (MEG) <strong>Maszyny</strong> <strong>Turinga</strong> Funkcje rekurencyjne 27 / 28