HOL
High-Order Logic
Definition
HOL (High-Order Logic) ist ein formales logisches System, das Quantifizierung über Prädikate und Funktionen höherer Ordnung ermöglicht und in der automatischen Theorembeweisführung verwendet wird.
IT/Elektro
High-Order Logic
HOL (High-Order Logic) ist ein formales logisches System, das Quantifizierung über Prädikate und Funktionen höherer Ordnung ermöglicht und in der automatischen Theorembeweisführung verwendet wird.