Copyright © Philip M. Parker, INSEAD. Terms of Use.
Definition: Predicate Calculus |
Predicate CalculusNoun1. A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions). Source: WordNet 1.7.1 Copyright © 2001 by Princeton University. All rights reserved. |
| Domain | Definition |
Computing | Predicate calculus |
Source: compiled by the editor from various references; see credits. | |
Synonym: Predicate CalculusSynonym: functional calculus (n). (additional references) |
| Synonym by domain: first-order (computing). |
Crosswords: Predicate Calculus |
| Specialty definitions using "predicate calculus": HiLog ♦ PPLambda ♦ temporal logic. (references) |
| Domain | Title |
Books | |
Source: compiled by the editor from various references; see credits. | |
| The following statistics estimate the number of searches per day across the major English-language search engines as identified by various trade publications. Hyperlinks lead to commercial use of the expression at Amazon.com. |
| Expression | Frequency per Day |
predicate calculus | 5 |
| Source: compiled by the editor from various references; see credits. | |
| Language | Translations for "predicate calculus"; alternative meanings/domain in parentheses. | ||||||||||||||||||||||
Danish | prædikatslogik (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic), prædikatskalkyle (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic), prædikatlogik, prædikatkalkyle. (various references) | ||||||||||||||||||||||
Dutch | predikatenrekening (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic), predikatenlogica (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic). (various references) | ||||||||||||||||||||||
Finnish | predikaattilogiikka (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic), predikaattilaskenta (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic). (various references) | ||||||||||||||||||||||
French | logique des prédicats (first-order predicate calculus, first-order predicate logic, predicate logic), logique de 1er ordre (first-order predicate calculus, first-order predicate logic, predicate logic), calcul des prédicats (first-order predicate calculus, first-order predicate logic, predicate logic), calcul de prédicats (first-order predicate calculus, first-order predicate logic, predicate logic). (various references) | ||||||||||||||||||||||
German | Prädikatenlogik 1.Ordnung (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic), Prädikatenlogik (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic). (various references) | ||||||||||||||||||||||
Greek | κατηγορηματικός λογισμός (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic), κατηγορηματική λογική (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic). (various references) | ||||||||||||||||||||||
Italian | logica del primo ordine (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic), logica dei predicati (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic), calcolo dei predicati (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic). (various references) | ||||||||||||||||||||||
Pig Latin | edicatepray alculuscay lógica de predicados (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic). (various references) lógica de predicados (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic), cálculo de predicados (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic). (various references) predikatslogik (first order logic, first-order predicate calculus, first-order predicate logic, FOPC, FOPL, predicate logic). (various references) | ||||||||||||||||||||||
Scrabble® Enable2K-Verified Anagrams | |
| Words within the letters "a-a-c-c-c-d-e-e-i-l-l-p-r-s-t-u-u" | |
-5 letters: recalculated, recalculates, reduplicates. | |
| Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro. | |
Hexadecimal (or equivalents, 770AD-1900s) (references)50 72 65 64 69 63 61 74 65 43 61 6C 63 75 6C 75 73 |
| Leonardo da Vinci (1452-1519; backwards) (references)
|
Binary Code (1918-1938, probably earlier) (references)01010000 01110010 01100101 01100100 01101001 01100011 01100001 01110100 01100101 00100000 01000011 01100001 01101100 01100011 01110101 01101100 01110101 01110011 |
HTML Code (1990) (references)P r e d i c a t e   C a l c u l u s |
ISO 10646 (1991-1993) (references)0050 0072 0065 0064 0069 0063 0061 0074 0065 0043 0061 006C 0063 0075 006C 0075 0073 |
Encryption (beginner's substitution cypher): (references)50847170756967867123767786987788785 |
| 1. Definition 2. Synonyms 3. Crosswords 4. Usage: Commercial | 5. Expressions: Internet 6. Translations: Modern 7. Anagrams 8. Orthography | 9. Bibliography |
Copyright © Philip M. Parker, INSEAD. Terms of Use.
