Engelsk ordbog
Tip: Stjerne (*) kan anvendes som jokertegn (wild card). Stjernen erstatter nul eller flere tegn.
Engelsk navneord: predicate calculus | |||
| 1. | predicate calculus (om erkendelse) a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) | ||
| Termer med samme betydning (synonymer) | functional calculus | ||
| Mindre specifikke termer | formal logic, mathematical logic, symbolic logic | ||
| Omfatter disse specifikke termer | quantification | ||
Baseret på WordNet 3.0 copyright © Princeton University.
Teknik og design: Orcapia v/Per Bang. Dansk bearbejdning: .
2024 onlineordbog.dk
Teknik og design: Orcapia v/Per Bang. Dansk bearbejdning: .
2024 onlineordbog.dk