| Attributes | Values |
|---|
| rdfs:label
| - Herbrand base (en)
- Base di Herbrand (it)
- Base de Herbrand (pt)
|
| rdfs:comment
| - In logica matematica, per ogni linguaggio formale con un insieme di termini dall', la base di Herbrand definisce ricorsivamente l'insieme di tutte le formule atomiche che possono essere composte formando predicati dai termini dell'universo di Herbrand. Una base di Herbrand di un linguaggio del primo ordine può essere costruita dall'universo di Herbrand di , applicando a ogni suo elemento qualche predicato di . È dunque l'insieme di tutti gli atomi ground che possono essere costruiti usando simboli da . Prende il nome da Jacques Herbrand. Nella base di Herbrand ogni elemento viene chiamato atomo. (it)
- Na lógica matemática, dada uma linguagem com um conjunto do universo de Herbrand, a base de Herbrand é o conjunto de todos os átomos basicos que podem ser formados a partir dos símbolos predicados de uma cláusula na forma Skolemizada S e termos do universo Herbrand H de S. Uma base de Herbrand para uma linguagem de primeira ordem L pode ser construída a partir do universo de Herbrand de L, aplicando algum predicado de L a cada elemento deste universo. Ela consiste portanto do conjunto de todos os átomos básicos que podem ser construídos usando símbolos de L. (pt)
|
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Wikipage redirect
| |
| sameAs
| |
| has abstract
| - In logica matematica, per ogni linguaggio formale con un insieme di termini dall', la base di Herbrand definisce ricorsivamente l'insieme di tutte le formule atomiche che possono essere composte formando predicati dai termini dell'universo di Herbrand. Una base di Herbrand di un linguaggio del primo ordine può essere costruita dall'universo di Herbrand di , applicando a ogni suo elemento qualche predicato di . È dunque l'insieme di tutti gli atomi ground che possono essere costruiti usando simboli da . Prende il nome da Jacques Herbrand. Nella base di Herbrand ogni elemento viene chiamato atomo. Un'interpretazione su è completa per tutte le clausole di quando a ogni atomo della base si assegna un valore di verità. La base di Herband è un insieme numerabile, i cui elementi possono essere ordinati. Per esempio, possono essere disposti in una successione ordinata . (it)
- Na lógica matemática, dada uma linguagem com um conjunto do universo de Herbrand, a base de Herbrand é o conjunto de todos os átomos basicos que podem ser formados a partir dos símbolos predicados de uma cláusula na forma Skolemizada S e termos do universo Herbrand H de S. Uma base de Herbrand para uma linguagem de primeira ordem L pode ser construída a partir do universo de Herbrand de L, aplicando algum predicado de L a cada elemento deste universo. Ela consiste portanto do conjunto de todos os átomos básicos que podem ser construídos usando símbolos de L. Foi assim denominada em homenagem a Jacques Herbrand. (pt)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)