predikativní definice (funkce)
[Predykatývní definyce], logika, definice (funkce), které nezahrnují bludný kruh. Neopírají se o předpoklad, že daný soubor může obsahovat objekty definovatelné pouze pomocí tohoto souboru jako celku. Viz také nepredikativní definice (funkce), teorie typů.
Datum vytvoření: 14. 3. 2000
Datum aktualizace: 16. 1. 2007
Autor: -red-
Odkazující hesla: nepredikativní definice (funkce).
Reklama: