Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00036829n
Noun Concept
Categories: Logica matematica
IT
teoria del primo ordine  logica dei predicati  logica del primo ordine  calcolo dei predicati  logica del prim'ordine
IT
Nella logica matematica, una teoria del primo ordine è un particolare sistema formale, cioè una teoria formale, in cui è possibile esprimere enunciati e dedurre le loro conseguenze logiche in modo del tutto formale e meccanico. Wikipedia
English:
philosophy
Definitions
Relations
Sources
IT
Nella logica matematica, una teoria del primo ordine è un particolare sistema formale, cioè una teoria formale, in cui è possibile esprimere enunciati e dedurre le loro conseguenze logiche in modo del tutto formale e meccanico. Wikipedia
Sistema formale usato in matematica, filosofia, linguistica e informatica Wikidata
IS A
logica matematica
teoria matematica
teoria del primo ordine
sistema logico
HAS PART
teoria del primo ordine
logica di ordine superiore
EN
institutional model theory
DE
Matrix
EN
quantification
PART OF
logica matematica
teoria del primo ordine
logica
HAS KIND
teoria del primo ordine
logica di ordine zero
logica di ordine superiore
Entscheidungsproblem
DESCRIBED BY SOURCE
Enciclopedia armena sovietica
DIFFERENT FROM
teoria del primo ordine
STUDIED BY
logica matematica
USES
quantificatore
Wikipedia
IT
teoria del primo ordine
Wikidata
IT
logica dei predicati, logica del primo ordine
Wikipedia Redirections
IT
calcolo dei predicati, logica del prim'ordine, logica del primo ordine
Wikidata Alias
IT
calcolo dei predicati, logica del prim'ordine, teoria del primo ordine
WordNet Translations
IT
calcolo funzionale, predicato calcolo
Wikipedia Translations
IT
calcolo dei predicati, calcolo funzionale, logica dei predicati

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