| rdfs:comment
| - Eine Interpretation (von lateinisch 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. (de)
- 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. (fr)
- 解釋是一種將形式語言中的賦予意義的行為。許多使用於數學、邏輯及理論電腦科學的形式語言都會以純句法的方式定義，且直到給予某些解釋之前，不含有任何意義。一般研究形式語言的解釋的學科稱為形式語義學。 最常研究的形式邏輯為命題邏輯、謂詞邏輯及其衍生的邏輯，且此類的邏輯都已經有標準的方式來給出解釋。在這些情況下，解釋是一個可以提供目標語言的符號及符號字串的函數。例如，一個解釋函數可作用在謂詞T（表示「高」）上，並賦予其一個外延{a}（表示「小明」）。須注意的是，上述解釋只是將外延{a}賦予在非邏輯常數T 之上，但沒有宣稱T是否表示「高」，a 是否表示「小明」。同樣地，邏輯解釋也沒有對「和」、「或」及「否定」之類的邏輯聯結詞作宣稱。雖然人們習慣上可能會把這些符號拿來代表特定的事物或概念，但這不是由解釋函數來決定的。 解釋通常（但不總是）會提供一個方法來決定語言中句子的真值。若一給定解釋賦予一個句子或的真值為真，則這個解釋即稱為此一句子或理論的模型。 (zh)
- «الترجمة التفسيرية» (بالإنجليزية: interpretation) هي تحديد معنى الرموز في «اللغة الشكلية». تُعرّف العديد من اللغات الشكلية المستخدمة في الرياضيات والمنطق وعلم الحاسوب النظري بـ «مصطلحات نحوية» فقط، وبالتالي ليس لها أي معنى حتى تُفسر بطريقة محددة. تسمى الدراسة العامة لتفسيرات اللغات الشكلية باسم «الدلالات الشكلية». غالبًا (ولكن ليس دائمًا) ما توفر الترجمة التفسيرية طريقة لتحديد «القيم الحقيقة» للجمل في اللغة. إذا كان الترجمة التفسيرية تحدد قيمة صحيحة إلى جملة أو نظرية، تُسمى الترجمة التفسيرية في هذه الحالة نموذج تلك الجملة أو النظرية. (ar)
- 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. (ca)
- 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. (en)
- 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. (es)
- Un'interpretazione è l'assegnazione di un significato ai simboli di un linguaggio formale. Molti linguaggi formali usati in matematica, logica e informatica teorica sono definiti esclusivamente in termini sintattici e come tali non hanno alcun significato fino a quando non vengono interpretati. Lo studio generale delle interpretazioni dei linguaggi formali è chiamato . Il concetto di interpretazione è fondamentale per definire la di una formula, ovvero l'esistenza di almeno un modello per la stessa. (it)
- 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. (nl)
- 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. (pt)
- Інтерпретація (лат. interpretatio — тлумачення, роз'яснення) — призначення змісту символам формальної мови. Тобто, це є сукупність значень (сенсів), що приписуються тим або іншим способом елементам (виразам, формулам, символам і т. д.) якої-небудь природничо-наукової або абстрактно-дедуктивної теорії. (uk)
|
![[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)