Portál:Logika/Vyčíslitelnost
Verze z 9. 12. 2014, 23:17, kterou vytvořil Veronika.Kovrzkova (diskuse | příspěvky)
- Algoritmus
- Věta o rekurzi | Riceova věta
- Rekurzívní funkce | Rekurzívně spočetná množina | Ordinální rekurze
- Vývojové diagramy
- Churchova teze
- Diagonální metoda
- Univerzální funkce
- Věta o projekci
- Postova věta
- Věta o parametrech | m-převeditelnost | m-kompletnost
- Produktivní množiny | Kreativní množiny
- Problém zastavení
- Aritmetická hierarchie