klasifikace predikátů
Logika, ve formalizovaných kalkulech logické a matematické metody připisování různých stupňů konstruovatelnosti predikátům z hlediska teorie algoritmů a rekursívních funkcí. Metody takové hierarchizace navrhli například S. C. Kleene, A. Mostowski, E. L. Post.
Vytvořeno:
14. 3. 2000
Aktualizováno:
3. 10. 2005
Autor: -red-