In logic, especially mathematical logic, a signature lists and describes the non-logical symbols of a formal language. In universal algebra, a signature lists the operations that characterize an algebraic structure. In model theory, signatures are used for both purposes. Signatures play the same role in mathematics as type signatures in computer programming. They are rarely made explicit in more philosophical treatments of logic.

PropertyValue
dbpprop:abstract
  • In logic, especially mathematical logic, a signature lists and describes the non-logical symbols of a formal language. In universal algebra, a signature lists the operations that characterize an algebraic structure. In model theory, signatures are used for both purposes. Signatures play the same role in mathematics as type signatures in computer programming. They are rarely made explicit in more philosophical treatments of logic.
  • In der mathematischen Logik ist eine Signatur die Menge der Symbole, durch deren semantische Interpretation sich verschiedene Strukturen (insbesondere Modelle von Aussagen der Logik) unterscheiden können. Die Signatur ist der spezifische Teil einer elementaren Sprache.
  • En mathématiques, une signature pour une structure algébrique A sur un ensemble sous-jacent S est une liste d'opérations qui caractérise A. Les signatures sont un concept important en algèbre universelle, et sont également employées en théorie des modèles, théorie des catégories et théorie des types.
  • Na lógica matemática, uma assinatura compreende o conjunto de símbolos não-lógicos que caracteriza uma linguagem formal.
  • Сигнатурой называется набор <math>\Sigma=(R,F,C,\rho)</math> состоящий из множеств: <math>R</math> - множество символов для отношений (предикатов), <math>F</math> - множество функциональных символов, <math>C</math> - множество символов констант и функции <math>\rho</math> - сопоставляющей элементам <math>R</math> и <math>F</math> их арность.
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • In logic, especially mathematical logic, a signature lists and describes the non-logical symbols of a formal language. In universal algebra, a signature lists the operations that characterize an algebraic structure. In model theory, signatures are used for both purposes. Signatures play the same role in mathematics as type signatures in computer programming. They are rarely made explicit in more philosophical treatments of logic.
  • In der mathematischen Logik ist eine Signatur die Menge der Symbole, durch deren semantische Interpretation sich verschiedene Strukturen (insbesondere Modelle von Aussagen der Logik) unterscheiden können. Die Signatur ist der spezifische Teil einer elementaren Sprache.
  • En mathématiques, une signature pour une structure algébrique A sur un ensemble sous-jacent S est une liste d'opérations qui caractérise A. Les signatures sont un concept important en algèbre universelle, et sont également employées en théorie des modèles, théorie des catégories et théorie des types.
  • Na lógica matemática, uma assinatura compreende o conjunto de símbolos não-lógicos que caracteriza uma linguagem formal.
rdfs:label
  • Signature (logic)
  • Signatur (Modelltheorie)
  • Signature (algèbre)
  • Assinatura (lógica)
  • Сигнатура (математическая логика)
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of