Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
predicate calculus
Definitie
Vertaling van "predicate calculus" in Frans
Definitie
Many logicians debate the implications of predicate calculus in their research.
De nombreux logiciens débattent des implications du calcul des prédicats dans leurs recherches.
The study of predicate calculus requires a solid understanding of logical symbols.
L'étude du calcul des prédicats nécessite une bonne compréhension des symboles logiques.
In computer science, predicate calculus helps in formulating algorithms and database queries.
En informatique, le calcul des prédicats aide à formuler des algorithmes et des requêtes de bases de données.
Symbolic logic propositional calculus, predicate calculus; syntatic and semantic applications.
Logique symbolique, calcul propositionnel, calcul des prédicats; applications syntaxiques et sémantiques.
Through predicate calculus, we can easily work with quantifiers like 'for all' or 'there exists'.
Grâce au calcul des prédicats, nous pouvons facilement travailler avec des quantificateurs comme 'pour tous'ou 'il existe'.
The predicate calculus, but not the propositional calculus, can establish the formal validity of the following statement
Le calcul des prédicats, mais pas le calcul propositionnel, peut établir la validité formelle de la déclaration suivante
In particular, simple sentences that employ notions of "all", "some", "a few", "one of", etc. are treated by the predicate calculus.
En particulier, des phrases simples qui emploient des notions de « tous », « certains », « quelques », « l'un des », etc. sont traités par le calcul des prédicats.
Propositional logic and predicate calculus.
Logique prépositionnelle et calcul des prédicats.
In one sense, DRT offers a variation of first-order predicate calculus - its forms are pairs of first-order formulae and the free variables that occur in them.
En un sens, la DRT est une variation du calcul des prédicats du premier ordre, ses formes sont des couples de formules du premier ordre et de variables libres.
In it, he established the completeness of the first-order predicate calculus (Gödel's completeness theorem).
Dans sa thèse il établit la complétude du calcul des prédicats du premier ordre, résultat connu sous le nom de théorème de complétude de Gödel.
The Calculus of Constructions extends this isomorphism to proofs in the full intuitionistic predicate calculus, which includes proofs of quantified statements (which we will also call "propositions").
Le calcul des constructions étend cet isomorphisme aux preuves dans le calcul des prédicats intuitionniste dans son ensemble, ce qui inclut par conséquent des preuves de formules quantifiées (que l'on appellera également « propositions »).
These are formulated in the language CycL, which is based on predicate calculus and has a syntax similar to that of the Lisp programming language.
Elles sont formulées dans le langage CycL, qui est basé sur le calcul des prédicats et dont la syntaxe est similaire à celle du langage Lisp.
In 1883, Charles Sanders Peirce (pronounced "purse") invented the algebraic notation for predicate calculus as we know it today.
En 1883, Charles Sanders Peirce (prononcer "purse") a inventé la notation algébrique pour le calcul des prédicats tel que nous la connaissons aujourd'hui.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor predicate calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 37. Exact: 37. Verstreken tijd: 28 ms.
