About: Interpretation (logic)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Language106282651, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FInterpretation_%28logic%29

An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until they are given some interpretation. The general study of interpretations of formal languages is called formal semantics.

AttributesValues
rdf:type
rdfs:label
  • Interpretació (lògica)
  • Interpretation (Logik)
  • Interpretation (logic)
  • Interpretación (lógica)
  • Interprétation (logique)
  • Interpretatie (logica)
  • Interpretação (lógica)
  • Інтерпретація (логіка)
  • 解釋 (邏輯)
rdfs:comment
  • Eine Interpretation (von lat. interpretatio: Auslegung, Erklärung, Deutung) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird. Unter der Interpretation kann die Formel dann wahr oder falsch sein. Eine Interpretation, unter der eine Formel wahr ist, heißt Modell der Formel. Falls sie in jeder möglichen Interpretation wahr ist, nennt man sie allgemeingültig.
  • En logique, une interprétation est une attribution de sens aux symboles d'un langage formel. Les langages formels utilisés en mathématiques, en logique et en informatique théorique ne sont définis dans un premier temps que syntaxiquement; pour en donner une définition complète, il faut expliquer comment ils fonctionnent et en donner une interprétation. Le domaine de la logique qui donne une interprétation aux langages formels s'appelle la sémantique formelle.
  • 解釋是一種將形式語言中的賦予意義的行為。許多使用於數學、邏輯及理論電腦科學的形式語言都會以純語法的方式定義,且直到給予某些解釋之前,不含有任何意義。一般研究形式語言的解釋的學科稱為形式語義學。 最常研究的形式邏輯為命題邏輯、謂詞邏輯及其衍生的邏輯,且此類的邏輯都已經有標準的方式來給出解釋。在這些情況下,解釋是一個可以提供目標語言的符號及符號字串的函數。例如,一個解釋函數可作用在謂詞T(表示「高」)上,並賦予其一個外延{a}(表示「小明」)。須注意的是,上述解釋只是將外延{a}賦予在非邏輯常數T 之上,但沒有宣稱T是否表示「高」,a 是否表示「小明」。同樣地,邏輯解釋也沒有對「和」、「或」及「否定」之類的邏輯聯結詞作宣稱。雖然人們習慣上可能會把這些符號拿來代表特定的事物或概念,但這不是由解釋函數來決定的。 解釋通常(但不總是)會提供一個方法來決定語言中句子的真值。若一給定解釋賦予一個句子或的真值為真,則這個解釋即稱為此一句子或理論的模型。
  • En lògica, una interpretació és una assignació de significats a les fórmules ben formades d'un llenguatge formal. Com els llenguatges formals poden definir en termes purament sintàctics, les seves fórmules ben formades poden no ser més que «dibuixets» sense cap significat. Una interpretació atorga significat a aquestes fórmules. L'estudi general de les interpretacions dels llenguatges formals es diu semàntica formal.
  • En lógica, una interpretación semántica es asignar significados a las variables que constituyen las fórmulas bien formadas de un lenguaje formal.​ Como los lenguajes formales pueden definirse en términos puramente sintácticos, sus fórmulas bien formadas pueden no ser más que cadenas de símbolos sin ningún significado. Una interpretación otorga significado a esas fórmulas. El estudio general de las interpretaciones de los lenguajes formales se llama semántica formal.​
  • An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until they are given some interpretation. The general study of interpretations of formal languages is called formal semantics.
  • Met interpretatie wordt in de logica de van symbolen en strings aan de hand van tupels bedoeld. Een interpretatiefunctie met het predicaat L (van "lang") kan op deze manier bijvoorbeeld de extensie {bo} (van "Barack Obama") krijgen. De uitkomst van deze logische interpretatie is dat Barack Obama lang is. Elke natuurlijke of formele taal kan op deze manier onderzocht worden en heet dan objecttaal. De op deze manier meest bestudeerde formele talen zijn de propositielogica en de predicatenlogica.
  • Uma interpretação é uma atribuição de significado para os símbolos de uma Linguagem formal. Muitas linguagens formais usadas na Matemática, Lógica, e Ciência da computação teórica são definidas em termos sintáticos exclusivos, e assim, não tem nenhum significado até que lhes seja dada alguma interpretação. O estudo geral das interpretações de linguagens formais é chamado Semântica Formal.
  • Інтерпретація (лат. interpretatio — тлумачення, роз'яснення) — призначення змісту символам формальної мови. Тобто, це є сукупність значень (сенсів), що приписуються тим або іншим способом елементам (виразам, формулам, символам і т. д.) якої-небудь природничо-наукової або абстрактно-дедуктивної теорії.
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software