Ackermannova funkce

Základní přednáška z teorie algoritmů a efektivní vyčíslitelnosti. Turingovy stroje. Částečně rekurzivní funkce. Rekurzivní a rekurzivně spočetné množiny. Algoritmicky nerozhodnutelné problémy. Věta o rekurzi. Kreativní množiny.
Uživatelský avatar
hippies
Admin(ka) level I
Příspěvky: 990
Registrován: 29. 9. 2004 12:46
Typ studia: Informatika Mgr.
Bydliště: Mladá Boleslav
Kontaktovat uživatele:

Ackermannova funkce

Příspěvek od hippies »

Umíte někdo vyjádřit Ackermannovu funkci pomocí M?
Moc rád bych to přidal do katalogu své hračky (http://hippies.matfyz.info/files/interpreterCRF.cpp).

PS: I jiné zajímavé funkce co tam chybí (viz funkce katalog) jsou vítány.
Chjo, dovede te si představit svět, kde by byla každá harmonická diferenciální forma (jistého typu) nesingulární projektivní algebraické variety racionální kombinací kohomologických tříd algebraických cyklů..
Pepík

Re: Ackermannova funkce

Příspěvek od Pepík »

Co je to M?
Uživatelský avatar
hippies
Admin(ka) level I
Příspěvky: 990
Registrován: 29. 9. 2004 12:46
Typ studia: Informatika Mgr.
Bydliště: Mladá Boleslav
Kontaktovat uživatele:

Re: Ackermannova funkce

Příspěvek od hippies »

operator minimalizace;)
Chjo, dovede te si představit svět, kde by byla každá harmonická diferenciální forma (jistého typu) nesingulární projektivní algebraické variety racionální kombinací kohomologických tříd algebraických cyklů..
Odpovědět

Zpět na „TIN064 Vyčíslitelnost I“