Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00035928n
Noun Concept
Categories: Logica matematica
IT
logica matematica  Logica formale  Logica simbolica  Logico
IT
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Wikipedia
Definitions
Relations
Sources
IT
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Wikipedia
Sottocampo della matematica con stretti legami con l'informatica e la logica filosofica. OmegaWiki
IS A
logica
logica
HAS PART
teoria del primo ordine
logica modale
EN
epsilon calculus
teorema di completezza di Gödel
EN
judgment
+12 relations
PART OF
matematica
HAS KIND
algebra di Boole
teoria del primo ordine
logica fuzzy
logica modale
logica proposizionale
+10 relations
HAS INSTANCE
segnatura
DE
Lokalität
HAS QUALITY
quantificatore
USED BY
dimostrazione matematica
Wikipedia
IT
logica matematica
Wikidata
IT
logica matematica
OmegaWiki
IT
logica matematica
Wikipedia Redirections
IT
logica formale, logica simbolica
Wikidata Alias
IT
Logica formale, Logica simbolica, Logico
WordNet Translations
IT
logica formale, logica matematica, logica simbolica
Wikipedia Translations
IT
logica formale, logica matematica, logica simbolica

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