Portál:Vyčíslitelnost

Vyčíslitelnost

• 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