axiomatique v slovarju Oxford-Hachette French Dictionary

Prevodi za axiomatique v slovarju francoščina»angleščina

I.axiomatique [aksjɔmatik] PRID.

axiomatique FILOZ., MAT.

axiomatic

II.axiomatique [aksjɔmatik] SAM. ž. spol MAT.

axiomatique

axiomatics + glag. ed.

Prevodi za axiomatique v slovarju angleščina»francoščina

Individual translation pairs

axiomatic LINGV., MAT., FILOZ.

axiomatique

Enojezični primeri (nepregledani od uredništva PONS)

francoščina

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