Переводы „axiomatique“ в словаре французско » немецкий

I . axiomatique [aksjɔmatik] ПРИЛ.

axiomatique

axiomatisch

axiomatique

unanzweifelbar

II . axiomatique [aksjɔmatik] СУЩ. ж. МАТЕМ.

axiomatique

Axiomatik ж.

Одноязычные примеры (не проверены редакцией PONS)

французский

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

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

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

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

En mathématiques, un système axiomatique est un ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes.

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

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

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

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

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

fr.wikipedia.org