axiomatique in the Oxford-Hachette French Dictionary

Translations for axiomatique in the French»English Dictionary

I.axiomatique [aksjɔmatik] ADJ

axiomatique PHILOS, MATH

axiomatic

II.axiomatique [aksjɔmatik] N f MATH

axiomatique

axiomatics + vb sing

Translations for axiomatique in the English»French Dictionary

Your search term in other parts of the dictionary

axiomatic LING, MATH, PHILOS

axiomatique

Monolingual examples (not verified by PONS Editors)

French

L'élégance favorise la base axiomatique la plus faible.

fr.wikipedia.org

À l'heure actuelle, de telles démarches permettent effectivement de circonvenir plusieurs limitations de la logique déontique standard, mais n'offrent pas la souplesse axiomatique de la sémantique des mondes possibles.

fr.wikipedia.org

Un schéma d’axiomes est une formule exprimée dans le métalangage d'un système axiomatique, dans lequel une ou plusieurs métavariables apparaissent.

fr.wikipedia.org

La grammaire pour les formules est spécifiée en utilisant une combinaison de déclarations $f (hypothèse flottante) et $a (assertion axiomatique).

fr.wikipedia.org

La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu'un programme informatique est correct.

fr.wikipedia.org

Un système axiomatique est dit complet si toute proposition, ou sa négation, est dérivable.

fr.wikipedia.org

La sémantique axiomatique définit le sens de chaque élément de programme en caractérisant l'état du système avant et après l'application de cet élément de programme.

fr.wikipedia.org

Toutefois, cette intuition demandait à être formalisée dans le cadre d'une théorie qui la dépouille des points, et en donne une axiomatique rigoureuse.

fr.wikipedia.org

Cela signifie qu'il est impossible de démontrer aussi bien l'existence que la non-existence d'un tel cardinal si l'on ne modifie pas la base axiomatique utilisée.

fr.wikipedia.org

De la même manière que les nombres sont la prémisse axiomatique et indémontrable à partir de laquelle commencent pourtant toutes les démonstrations mathématiques.

fr.wikipedia.org