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 - A hozzászóláshoz bejelentkezés szükséges
- Nyomtatóbarát változat