| Attributes | Values |
|---|
| rdfs:label
| - Herbrand-Universum (de)
- Termalgebra (de)
- Herbrand universe (en)
- Algèbre des termes (fr)
- Universo de Herbrand (pt)
- Uniwersum Herbranda (pl)
|
| rdfs:comment
| - Das Herbrand-Universum ist eine Menge in der Prädikatenlogik, die als Grundmenge zur Definition der Herbrand-Struktur herangezogen wird. Beide Begriffe sind Teil des Herbrand-Theorems, benannt nach Jacques Herbrand. (de)
- En logique mathématique, l'algèbre des termes est la structure algébrique libre sur une signature. (fr)
- Uniwersum Herbranda – dla formuły rachunku predykatów pierwszego rzędu to uniwersum składające się z wszystkich zamkniętych termów złożonych ze stałych i symboli funkcyjnych występujących w formule. Jeśli formuła nie zawiera żadnych stałych, dodaje się do uniwersum dowolną stałą, żeby nie było ono puste. Jeśli formuła zawiera choć jeden symbol funkcyjny o argumentowości większej niż 0, uniwersum Herbranda jest zbiorem nieskończonym. Uniwersum Herbranda jest zawsze co najwyżej przeliczalne. (pl)
- In der Mathematik und in der Informatik versteht man unter einer freien Termalgebra eine frei über eine Signatur erzeugte algebraische Struktur. Die Grundmenge der Termalgebra sind die Terme. Die Operationen der Termalgebra haben Terme als Argumente und liefern wieder Terme als Ergebnis. Termalgebren liefern u. a. Termalgebren spielen u. a. in der universellen Algebra, der mathematischen Logik und der formalen Semantik eine zentrale Rolle. (de)
- Na lógica matemática, dada uma linguagem formal com um conjunto de símbolos (símbolos de constantes e símbolos funcionais), 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. Foi assim denominada em homenagem a Jacques Herbrand. Considere uma fórmula da lógica de primeira ordem na forma skolemizada Então o universo de Herbrand de é definido pelas seguintes regras. 1. Todas as constantes de pertencem a . Se não existem constantes em , então contém uma constante arbitrária . (pt)
|
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Wikipage redirect
| |
| sameAs
| |
| has abstract
| - In der Mathematik und in der Informatik versteht man unter einer freien Termalgebra eine frei über eine Signatur erzeugte algebraische Struktur. Die Grundmenge der Termalgebra sind die Terme. Die Operationen der Termalgebra haben Terme als Argumente und liefern wieder Terme als Ergebnis. Termalgebren liefern u. a.
* eine Möglichkeit, den Vorgang des „Ausrechnens“, der Interpretation eines Term genauer zu betrachten und mathematisch einzuordnen,
* durch Darstellung der Terme als algebraische Struktur deren Verhältnis zu allen anderen algebraischen Strukturen aufzuhellen,
* einen Prototyp für das Konzept der freien Erzeugung von algebraischen Strukturen. Termalgebren spielen u. a. in der universellen Algebra, der mathematischen Logik und der formalen Semantik eine zentrale Rolle. (de)
- Das Herbrand-Universum ist eine Menge in der Prädikatenlogik, die als Grundmenge zur Definition der Herbrand-Struktur herangezogen wird. Beide Begriffe sind Teil des Herbrand-Theorems, benannt nach Jacques Herbrand. (de)
- En logique mathématique, l'algèbre des termes est la structure algébrique libre sur une signature. (fr)
- Uniwersum Herbranda – dla formuły rachunku predykatów pierwszego rzędu to uniwersum składające się z wszystkich zamkniętych termów złożonych ze stałych i symboli funkcyjnych występujących w formule. Jeśli formuła nie zawiera żadnych stałych, dodaje się do uniwersum dowolną stałą, żeby nie było ono puste. Jeśli formuła zawiera choć jeden symbol funkcyjny o argumentowości większej niż 0, uniwersum Herbranda jest zbiorem nieskończonym. Uniwersum Herbranda jest zawsze co najwyżej przeliczalne. (pl)
- Na lógica matemática, dada uma linguagem formal com um conjunto de símbolos (símbolos de constantes e símbolos funcionais), 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. Foi assim denominada em homenagem a Jacques Herbrand. Dada uma linguagem de primeira ordem L, seu universo de Herbrand é definido pelo conjunto de todas as cláusulas básicas que podem ser construídas a partir dos símbolos de L. Levando em conta a definição de termo básico, podemos observar que os símbolos que aparecem em um universo de Herbrand são funtores e constantes de L. Considere uma fórmula da lógica de primeira ordem na forma skolemizada Então o universo de Herbrand de é definido pelas seguintes regras. 1. Todas as constantes de pertencem a . Se não existem constantes em , então contém uma constante arbitrária . 2. Se , e uma função -ária ocorre em , então . As cláusulas (disjunções de literais) obtidas daquelas de substituindo todas as variáveis por elementos do universo de Herbrand são chamadas cláusulas básicas, com definições similares para literais básicos e átomos básicos. O conjunto de todos os átomos básicos que pode ser formados a partir de símbolos predicados de e termos de é chamado de Base de Herbrand. A geração consecutiva de elementos do universo de Herbrand e a verificação de de elementos gerados podem ser diretamente implementadas em um programa de computador. Tendo em vista a completude da lógica de primeira ordem, esse programa é basicamente uma ferramenta para a demonstração automática de teoremas. Evidentemente, essa busca exaustiva é muito lenta para aplicações práticas. Esse programa irá terminar a execução para todas as fórmulas insatisfatíveis e não terminará para fórmulas satisfatíveis, que basicamente mostra que o conjunto das fórmulas insatisfatíveis é recursivamente enumerável. Dado que a demonstrabilidade (ou, equivalentemente, a insatisfatibilidade) na lógica de primeira-ordem é recursivamente indecidível, esse conjunto não é recursivo. (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)