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-