francés)

I.axiomatique [aksjɔmatik] ADJ.

axiomatique FILOS., MAT.

axiomatique

axiomatics + v. sing.

La palabra que consultaste como aparece en otras partes del diccionario

axiomatic LING., MAT., FILOS.

axiomatique

francés

À 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

¿Quieres añadir alguna palabra, frase o traducción?

Proponnos una nueva entrada.

francés