| Property |
Value |
| dbo:abstract
|
- En calcul des prédicats et en algèbre universelle, une signature est une liste de symboles de constante, de fonction ou de relation, chacun ayant une arité. Dans certains formalismes, pour avoir moins de non-dit, la signature est une liste de couples (symbole, arité).La signature fournit les éléments primitifs pour la construction d'un langage du premier ordre sur cette signature. En calcul des prédicats à plusieurs types d'objets et en théorie des types, chaque symbole possède un type (l'arité n'est pas suffisante). Par exemple la signature de la théorie des groupes est : forme abrégée: , symboles de fonctions d'arité respectivement 2, 1 et 0, ouforme étendue: où l'indication de l'arité fait partie de la signature. (fr)
- En calcul des prédicats et en algèbre universelle, une signature est une liste de symboles de constante, de fonction ou de relation, chacun ayant une arité. Dans certains formalismes, pour avoir moins de non-dit, la signature est une liste de couples (symbole, arité).La signature fournit les éléments primitifs pour la construction d'un langage du premier ordre sur cette signature. En calcul des prédicats à plusieurs types d'objets et en théorie des types, chaque symbole possède un type (l'arité n'est pas suffisante). Par exemple la signature de la théorie des groupes est : forme abrégée: , symboles de fonctions d'arité respectivement 2, 1 et 0, ouforme étendue: où l'indication de l'arité fait partie de la signature. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1969 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En calcul des prédicats et en algèbre universelle, une signature est une liste de symboles de constante, de fonction ou de relation, chacun ayant une arité. Dans certains formalismes, pour avoir moins de non-dit, la signature est une liste de couples (symbole, arité).La signature fournit les éléments primitifs pour la construction d'un langage du premier ordre sur cette signature. En calcul des prédicats à plusieurs types d'objets et en théorie des types, chaque symbole possède un type (l'arité n'est pas suffisante). Par exemple la signature de la théorie des groupes est : (fr)
- En calcul des prédicats et en algèbre universelle, une signature est une liste de symboles de constante, de fonction ou de relation, chacun ayant une arité. Dans certains formalismes, pour avoir moins de non-dit, la signature est une liste de couples (symbole, arité).La signature fournit les éléments primitifs pour la construction d'un langage du premier ordre sur cette signature. En calcul des prédicats à plusieurs types d'objets et en théorie des types, chaque symbole possède un type (l'arité n'est pas suffisante). Par exemple la signature de la théorie des groupes est : (fr)
|
| rdfs:label
|
- Segnatura (logica) (it)
- Signature (logic) (en)
- Signature (logique) (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
