Portál:Logika/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