Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00035928n
Noun Concept
Categories: Logique mathématique
FR
logique mathématique  logique formelle  logique symbolique  logique  logiques mathématiques
FR
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que langage. Wikipedia
Definitions
Relations
Sources
FR
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que langage. Wikipedia
Discipline des mathématiques étudiant celles-ci en tant que langage Wikidata
Sous-ensemble des mathématiques étroitement lié à l'informatique et à la philosophie logique. OmegaWiki
IS A
logique
logique
HAS PART
calcul des prédicats
logique modale
Epsilon de Hilbert
théorème de complétude de Gödel
EN
judgment
+12 relations
PART OF
mathématiques
HAS KIND
algèbre de Boole
calcul des prédicats
logique floue
logique modale
calcul des propositions
+10 relations
HAS INSTANCE
signature
DE
Lokalität
HAS QUALITY
Quantification
USED BY
démonstration
French (WOLF) Open Multilingual WordNet
FR
logique mathématique
Wikipedia
FR
logique mathématique
Wikidata
FR
logique mathématique
OmegaWiki
FR
logique formelle, logique mathématique
Wikipedia Redirections
FR
logique (mathématiques), logique symbolique, logiques mathématiques, métamathématique, rigueur mathématique
Wikidata Alias
FR
logique, logique formelle, logique symbolique, métamathématique
WordNet Translations
FR
la logique formelle, la logique mathématique, logique symbolique
Wikipedia Translations
FR
logique formelle, logique mathématique, logique symbolique

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License