Čtení na začátek

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.
malvoj
Matfyz(ák|ačka) level I
Příspěvky: 8
Registrován: 10. 5. 2006 12:47
Typ studia: Informatika Mgr.

Čtení na začátek

Příspěvek od malvoj »

Našel jsem následující úvodní text do problematiky vyčíslitelnosti a složitosti
http://skripta.gootik.net/docs/sk_vycis ... zitost.pdf
tak třeba se někomu hodí (jsou tam hezky vysvetlene ČRF a ORF) - pokud tu už někde je na něj odkaz, tak se omlouvám, ale asi lepší 2x než vůbec :)
a pak taky samozřejmě klasické
pohádky od Johanky - http://atrey.karlin.mff.cuni.cz/~johank ... lnost.html
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: Čtení na začátek

Příspěvek od hippies »

Myslim, ze vsechno to co tu jmenujes ve studnici.

Chces-li se podelit o odkazy, pouzivej radsi subdomenu k tomu slouzici: http://hippies.matfyz.info/stranka.php?sem=x&co=add
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“