Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
predicate logic
Vertaling van "predicate logic" in Frans
Students often find propositional logic easier than predicate logic.
Les étudiants trouvent souvent que la logique propositionnelle est plus facile que la logique des prédicats.
Our model that represents context dependencies is based on set theory and first-order predicate logic.
Notre modèle qui représente les dépendances de contexte est basé sur la théorie des ensembles et la logique des prédicats du premier ordre.
Math and logic are deductive systems, where the conclusion of a successful argument follows necessarily from its premises, given the axioms of the system you're using: number theory, geometry, predicate logic, etc.
Les mathématiques et la logique sont des systèmes déductifs, où la conclusion d'une démonstration réussie découle obligatoirement de ses prémisses, étant donnés les axiomes du système utilisé : théorie des nombres, géométrie, logique du premier ordre, etc.
predicate logic: a much more advanced logic, with a high expressive power, but still easy to apprehend.
la logique des prédicats qui est une logique beaucoup plus évoluée, à fort pouvoir expressif, mais néanmoins facile d'appréhension à partir des précédentes.
The most commonly studied formal logics are propositional logic, predicate logic and their modal analogs, and for these there are standard ways of presenting an interpretation.
Les logiques formelles les plus souvent étudié sont les suivantes : la logique propositionnelle, la logique des prédicats et leurs analogues modaux, et ceux-là sont des moyens standards de présenter une interprétation.
Truth-functional propositional logic and first-order predicate logic are semantically complete, but not syntactically complete (for example, the propositional logic statement consisting of a single propositional variable A is not a theorem, and neither is its negation).
La logique propositionnelle et la logique des prédicats du premier ordre sont sémantiquement complètes, mais pas syntaxiquement complète (par exemple, la déclaration de la logique propositionnelle composée d'une variable propositionnelle simple A n'est pas un théorème, et ni est sa négation).
In the specific cases of propositional logic and predicate logic, the formal languages considered have alphabets that are divided into two sets: the logical symbols (logical constants) and the non-logical symbols.
Dans le cas de la logique propositionnelle et de la logique des prédicats, les langages formels ont des alphabets qui sont divisés en deux ensembles: les symboles logiques (logique constantes) et les symboles non-logique.
Also in first-order predicate logic
Toujours dans la logique des prédicats du premier ordre
We propose to answer that it is possible under the condition that logic be unthemed, that is to say going from a predicate logic to an operator logic.
Nous proposons de répondre à l'affirmative sous la condition nécessaire d'une déthématisation de la logique, c'est-à-dire du passage d'une logique des prédicats à une logique des opérateurs.
Gödel's proof of 1930 for predicate logic did not automatically establish a procedure for the general case.
La preuve de Gödel de 1930 pour la logique des prédicats n'établit pas automatiquement une procédure pour le cas général.
In effect, Frege invented axiomatic predicate logic, in large part thanks to his invention of quantified variables, which eventually became ubiquitous in mathematics and logic, and which solved the problem of multiple generality.
En effet, Frege a inventé la logique des prédicats axiomatique, en grande partie grâce à son invention de variables quantifiées, qui finit par devenir omniprésente en mathématiques et en logique.
B Language Is a language that refers to the set theory and predicate logic, and also includes syntax to describe "substitutions", operations and links betweens machines, refinements and implementations.
Langage faisant référence à la théorie des ensembles et à la logique des prédicats, comprenant également une syntaxe pour décrire des « substitutions », des opérations, et les liens entre les machines, raffinements et implémentations.
As for DPL, although its syntax is the one of standard predicate logic, which is a non-classical seman- tics.
Pour DPL, sa syntaxe est celle de la logique des prédicats standard, qui est une sémantique non-classiques.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor predicate logic in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 50. Exact: 50. Verstreken tijd: 35 ms.
