[Zk] 17. 2. 2012

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.
el enfant
Matfyz(ák|ačka) level I
Příspěvky: 38
Registrován: 31. 1. 2006 17:14
Typ studia: Informatika Bc.

[Zk] 17. 2. 2012

Příspěvek od el enfant »

Dnes klasika:
1) RM a RSM pomocí hezkých ČRF
2) 1-uplnost a kreativita
Tomgr
Matfyz(ák|ačka) level I
Příspěvky: 36
Registrován: 15. 2. 2010 16:06
Typ studia: Informatika Bc.
Kontaktovat uživatele:

Re: [Zk] 17. 2. 2012

Příspěvek od Tomgr »

Co přesně si mám představit pod tou 1), nevíte někdo prosím? Stačí odkaz do wiki skript třeba
vojta_vorel
Matfyz(ák|ačka) level I
Příspěvky: 49
Registrován: 14. 1. 2011 15:10
Typ studia: Informatika Ph.D.

Re: [Zk] 17. 2. 2012

Příspěvek od vojta_vorel »

Půjde asi o charakterizace rek. a rek.spoč. množin jakožto oborů hodnot speciálních druhů ČRF:
http://wiki.matfyz.cz/index.php?title=T ... %C3%AD_RSM
Odpovědět

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