Multilingue
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire anglais - français

propositional logic

logique propositionnelle

informatique et traitement des données - acta.es iate.europa.eu
Intuitionistic propositional logic is weaker than classical propositional logic.

La syntaxe de la logique intuitionniste propositionnelle est la même que pour la logique propositionnelle classique.

général - CCMatrix (Wikipedia + CommonCrawl)
You can learn propositional logic from this YouTube tutorial: Basic Concepts in Propositional Logic.

Vous pouvez apprendre la logique propositionnelle de ce didacticiel YouTube: concepts de base dans la logique propositionnelle.

général - CCMatrix (Wikipedia + CommonCrawl)
You can learn propositional logic from YouTube by searching for: Basic Concepts in Propositional Logic.

Vous pouvez apprendre la logique propositionnelle de ce didacticiel YouTube: concepts de base dans la logique propositionnelle.

général - CCMatrix (Wikipedia + CommonCrawl)
The area of logic that deals with propositions is called the propositional calculus or propositional logic.

Le calcul des propositions, ou calcul propositionnel est encore appelé logique des propositions, logique propositionnelle ou calcul des énoncés.

général - CCMatrix (Wikipedia + CommonCrawl)
We'll look at propositional logic, then categorical logic.

Nous étudierons la logique propositionnelle, puis la logique catégorique.

général - CCMatrix (Wikipedia + CommonCrawl)
▷
Some arguments for propositional logic: maccoll as a philosopher
The paper considers the philosophical, rather than mathematical or logical, reasons why MacColl decided to develop a propositional logic....
...L’article examine les raisons philosophiques, plutôt que mathématiques ou logiques, pour lesquelles MacColl a pu vouloir développer une logique propositionnelle....
général - core.ac.uk - PDF: journals.openedition.org
▷
A critical remark on the bhk interpretation of implication
... It is shown that the reformulated BHK interpretation renders more propositions assertable than are provable in intuitionistic propositional logic....
... On démontre que l’interprétation BHK reformulée rend davantage de propositions assertables que la logique propositionnelle intuitionniste rend prouvable....
général - core.ac.uk -
▷
Gestion décentralisée de données en dl-lite
... Our approach relies on reducing query reformulation and consistency checking for DL-liteR into reasoning in propositional logic....
... Notre approche consiste à réduire la reformulation de requêtes et le test de consistance des données par rapport à une ontologie à un raisonnement en logique propositionnelle....
général - core.ac.uk -
▷
Α-generalized semantic resolution method in linguistic truth-valued propositional logic p(x)This paper is focused on α-generalized semantic resolution automated reasoning method in linguistic truth-valued lattice-valued propositional logic....
général - core.ac.uk - PDF: www.atlantis-press.com
Embeddings into free heyting algebras and translations into intuitionistic propositional logicWe find a translation with particularly nice properties from intuitionistic propositional logic in countably many variables to intuitionistic propositional logic in two variables....
 PDF: citeseerx.ist.psu.edu
Propositional logic, web.verification system for propositional logic....
 PDF: citeseerx.ist.psu.edu
Software tools for technology transfer manuscript no. (will be inserted by the editor) an abstraction-based decision procedure for bit-vector arithmetic ⋆... An under-approximation is obtained by a translation to propositional logic in which some bit-vector variables are encoded with fewer Boolean variables than their width....
 PDF: citeseerx.ist.psu.edu
propositional logic

calcul des propositions

informatique et traitement des données - iate.europa.eu
The calculation of propositions is sometimes called the logic of propositions, propositional logic or calculation of statements, and sometimes the theory of truth functions.

Le calcul des propositions est parfois appelé logique des propositions, logique propositionnelle ou calcul des énoncés, et parfois théorie des fonctions de vérité[réf. nécessaire].

général - CCMatrix (Wikipedia + CommonCrawl)
propositional logic

LP

informatique et traitement des données - iate.europa.eu
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 (constantes logiques (en)) et les symboles non-logique.

général - CCMatrix (Wikipedia + CommonCrawl)
propositional logic

logique de proposition

informatique et traitement des données - iate.europa.eu
the rules of inference are also based on propositional logic.

de la pré-contrainte est également basée sur la logique de proposition.

général - CCMatrix (Wikipedia + CommonCrawl)
propositional logic

calcul propositionnel

informatique et traitement des données - iate.europa.eu
For most of the remainder of this section, we shall sketch an axiomatic system for classical truth-functional propositional logic, which we shall dub the Propositional Calculus (or PC for short).

Pour la plupart du reste de cette section, nous allons esquisser un système axiomatique pour la logique classique de la vérité fonctionnelle, que nous allons Dub le calcul propositionnel (ou PC pour de courtes).

général - CCMatrix (Wikipedia + CommonCrawl)
▷
▷
Preuve automatique dans le calcul propositionnel et les logiques trivalentesNous présentons une application des bases de Gröbner (bases standard) d’idéaux de polynômes la vérification des tautologies dans le Calcul Propositionnel et dans trois types de logiques trivalentes....
général - core.ac.uk -

Publications scientifiques

▷
▷
La *-stabilité des espaces lp pondérés...
général - core.ac.uk - PDF: r-libre.teluq.ca
▷
▷
A023 determination du taux de la lp(a) chez une population jeune La prévention de la maladie cardiovasculaire est multifactorielle, l’identification des dyslipidémies comme facteur modifiable chez les jeunes permet une meilleure réduction du risque cardiovasculaire.Notre...
général - core.ac.uk -
▷
▷
Heat-kernels and maximal lp − lq−estimates: the non-autonomous case...
général - core.ac.uk - PDF: core.ac.uk
▷
▷
Théorie l p pour l’équation de cauchy-riemann... L’intérêt des espaces Lp, 1 < p < +∞, est que leurs espaces duaux sont des espaces de même type, plus précisément le dual d’un espace Lp, 1 < p < +∞, est un espace Lp ′ , où...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
▷
La stabilité de l'espace des suites de carré sommable par rapport au produit de convolutionÉtant donné G un groupe topologique localement compact, il est bien connu que l’espace L1(G) des fonctions absolument intégrables sur G est stable par rapport au produit de convolution et jouit même d’une...
général - core.ac.uk - PDF: r-libre.teluq.ca

Synonymes et termes associés anglais

propositional calculus

•

plastic limit

•

LP

•

Pivot language

•

Labour Party

•

Coloured Labour Party

[...]

Labour Party of South Africa

•

logic

•

Exemples anglais - français

logic

logique
général / informatique et traitement des données / transport terrestre / transports / électronique et électrotechnique / technologie et réglementation technique - iate.europa.eu

Traductions en contexte anglais - français

We will discuss propositional logic, and then predicate logic.

Sage résolution, ensuite nous aborderons la logique.

général - CCMatrix (Wikipedia + CommonCrawl)
Propositional logic and first-order logic: syntax and semantics.

Logique du premier ordre : syntaxe et sémantique.

général - CCMatrix (Wikipedia + CommonCrawl)
Propositional logic is restricted to Horn clauses.

Le principe de la programmation logique est basé sur les clauses de Horn.

général - CCMatrix (Wikipedia + CommonCrawl)
Boole’s algebra provides a formalism for propositional logic.

L'algèbre de Boole donne un formalisme pour la logique des propositions.

général - CCMatrix (Wikipedia + CommonCrawl)
Take any well-formed formula in propositional logic.

trouver un modèle d'une formule en logique propositionnelle.

général - CCMatrix (Wikipedia + CommonCrawl)
Boole’s algebra provides a formalism for propositional logic.

L’algèbre de Boole donne un formalisme pour la logique des propositions.

général - CCMatrix (Wikipedia + CommonCrawl)
So, finally, let's take an example of propositional logic.

a) Prenons l’exemple de la logique propositionnelle.

général - CCMatrix (Wikipedia + CommonCrawl)
The precise form of atomic formulas depends on the logic under consideration; for propositional logic, for example, the atomic formulas are the propositional variables.

La structure d'une formule atomique dépend de la logique considérée, p. ex. en logique des propositions, les formules atomiques sont les variables propositionnelles.

général - CCMatrix (Wikipedia + CommonCrawl)
The precise form of atomic formulas depends on the logic under consideration; for propositional logic, for example, the atomic formulas are the propositional variables.

La forme précise de formules atomiques dépend du système formel en question; pour la logique propositionnelle, par exemple, les formules atomiques sont des variables propositionnelles.

général - CCMatrix (Wikipedia + CommonCrawl)
Deviation in Belief Change on Fragments of Propositional Logic.

Elle traite divers aspects du changement de croyances dans le cadre de fragments de la logique propositionnelle.

général - CCMatrix (Wikipedia + CommonCrawl)
But in a propositional logic, I do not understand.

Dans la logique sécuritaire, je ne comprends pas.

général - CCMatrix (Wikipedia + CommonCrawl)
In order to solve this problem, the functions of the object are specified by means of propositional logic formulas, then the objects are filed in an object library according to the propositional logic formulas that describe them.

A cet effet, les fonctions de l'objet sont spécifiées au moyen de formules de logique propositionnelle, ensuite les objets sont classés dans une bibliothèque d'objets selon les formules de logique propositionnelle qui les décrits.

informatique et traitement des données - wipo.int
A key use of formulas is in propositional logic and predicate logic such as first-order logic.

L'utilisation clé de formules est en logique propositionnelle, telle que la logique du premier ordre.

général - CCMatrix (Wikipedia + CommonCrawl)
In propositional logic, any proven statement is called a theorem.

Dans la logique des propositions, n'importe quelle affirmation démontrée est appelée un théorème.

général - CCMatrix (Wikipedia + CommonCrawl)
Propositional logic involves truth functions such as “or” and “not”.

La logique propositionnelle implique des fonctions de vérité telles que « ou » et « non ».

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues
Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction  Translation  Traducción  Übersetzung  Tradução  Traduzione  Traducere  Vertaling  Tłumaczenie  Mετάφραση  Oversættelse  Översättning  Käännös  Aistriúchán  Traduzzjoni  Prevajanje  Vertimas  Tõlge  Preklad  Fordítás  Tulkojumi  Превод  Překlad  Prijevod  翻訳  번역  翻译  Перевод