Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00036829n
Noun Concept
Categories: Sistemas lógicos
ES
lógica de primer orden  lógica de predicados  cálculo funcional  lógica predicativa  cálculo de predicados
ES
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden. Wikipedia
English:
philosophy
Definitions
Relations
Sources
ES
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden. Wikipedia
Sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden Wikidata
IS A
lógica matemática
teoría matemática
lógica de primer orden
sistema lógico
HAS PART
lógica de primer orden
lógica de orden superior
EN
institutional model theory
DE
Matrix
cuantificación
PART OF
lógica matemática
lógica de primer orden
lógica
HAS KIND
lógica de primer orden
EN
zeroth-order logic
lógica de orden superior
Entscheidungsproblem
DESCRIBED BY SOURCE
Enciclopedia soviética armenia
DIFFERENT FROM
lógica de primer orden
STUDIED BY
lógica matemática
USES
cuantificador
Wikipedia
ES
lógica de primer orden
Wikidata
ES
cálculo funcional, lógica de predicados, lógica de primer orden
Wiktionary
ES
lógica de primer orden
Wikipedia Redirections
ES
Calculo de predicados, Calculo de primer orden, Cuantificacion logica, Cuantificacion lógica, cuantificación (lógica), cuantificación lógica, cálculo de predicados, cálculo de primer orden, lenguaje de primer orden, Logica de predicados, Logica de predicados de primer orden, Logica de primer orden, lógica de predicados, lógica de predicados de primer orden
Wikidata Alias
ES
cálculo de predicados, cálculo simbólico, logica de predicados, lógica de predicados, lógica predicativa
WordNet Translations
ES
cálculo funcional, predicado cálculo
Wikipedia Translations
ES
cálculo de predicados, cálculo funcional, lógica de predicados

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