Algoritmikus eldönthetőség és kiszámíthatóság

Kapcsolódó fogalmak: 
Turing-automata
Kapcsolódó fogalmak: 
Turing-teszt
Kapcsolódó fogalmak: 
félig eldönthető
Kapcsolódó könyvfejezetek: 
9. fejezet - Következtetés elsőrendű logikában
Kapcsolódó könyvfejezetek: 
Matematikai alapok
Rövid szöveges bemutatás: 
1. Nyelvek felismerése és eldöntése Turing gépekkel 2. Eldönthetetlen problémák 2.1. Néhány további eldönthetetlen probléma 3. Turing kiszámítható függvények 3.1. Primitív rekurzív függvények 3.2. Parciális rekurzív függvények