Termin 28.06.2010

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.
Anonym123

Termin 28.06.2010

Příspěvek od Anonym123 »

Vycislitelnost I:
1] konstrukce simple mnoziny
2] konstrukce efektivne neoddelitelne dvojice

Vycislitelnost II:
1] Limitni vycislitelnost
2] ??
Odpovědět

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