Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
predicate calculus
Definitie
Vertaling van "predicate calculus" in Frans
Definitie NEW
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.
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.
The foundations of predicate calculus were developed in the early 20th century.
Les fondements du calcul des prédicats ont été développés au début du XXe siècle.
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.
Schröder's influence on the early development of the predicate calculus, mainly by popularising C. S. Peirce's work on quantification, is at least as great as that of Frege or Peano.
Schröder, en popularisant les travaux de Peirce sur la quantification, eut sur les premiers développements du calcul des prédicats une influence au moins aussi grande que celles de Frege et de Peano.
Synoniemen voor predicate calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 38. Exact: 38. Verstreken tijd: 37 ms.
