Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01514851n
Noun Concept
Categories: Lógica matemática
PT
universo de Herbrand  álgebra de termos  álgebra prazo
PT
Na lógica matemática, dada uma linguagem formal com um conjunto de símbolos, o universo de Herbrand define recursivamente o conjunto de todos os termos que podem ser compostos aplicando uma composição funcional a partir de símbolos básicos. Wikipedia
Definitions
Relations
Sources
PT
Na lógica matemática, dada uma linguagem formal com um conjunto de símbolos, o universo de Herbrand define recursivamente o conjunto de todos os termos que podem ser compostos aplicando uma composição funcional a partir de símbolos básicos. Wikipedia
IS A
conjunto
estrutura algébrica
FACET OF
universo de Herbrand
NAMED AFTER
Jacques Herbrand
Wikipedia
PT
universo de Herbrand
Wikidata
PT
universo de Herbrand, álgebra de termos
Wikipedia Redirections
PT
Universo de herbrand
Wikipedia Translations
PT
universo de herbrand, álgebra prazo

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