About: Model theory

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Study of classes of mathematical structures from the perspective of mathematical logic

Property Value
dbo:description
  • תחום במתמטיקה (iw)
  • Deelgebitt vun der Mathematescher Logik (lb)
  • သင်္ချာတည်ဆောက်ပုံများကို ယုတ္တိဗေဒရှိ ပုံစံတကျ ဘာသာစကားသုံး၍ လေ့လာသည့် သင်္ချာဘာသာခွဲတစ်ရပ် (my)
  • estudo da representação matemática e inferência de sistemas lógicos mediante interpretação semântica e axiomática (pt)
  • раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями (ru)
  • studi tentang hubungan antara teori formal (kumpulan kalimat dalam bahasa formal mengungkapkan pernyataan tentang struktur matematika), dan modelnya, diambil sebagai interpretasi yang memenuhi kalimat teori tersebut (in)
  • Teilgebiet der mathematischen Logik (de)
  • branche de la logique mathématique (fr)
  • dział logiki matematycznej (pl)
  • studfako de matematika logiko (eo)
  • rama de la lógica matemática que estudia las estructuras matemáticas (es)
  • 從數理邏輯的角度對數學結構的一類研究 (zh)
  • ämnesområde inom logik (sv)
  • study of classes of mathematical structures from the perspective of mathematical logic (en)
  • 数学の分野の一つ (ja)
  • розділ математичної логіки, займається вивченням зв’язку між формальними мовами та їх інтерпретаціями (uk)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:id
  • p/m064390 (en)
dbp:title
  • Model theory (en)
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Model theory (en)
  • نظرية النموذج (ar)
  • Teoria de models (ca)
  • Teorie modelů (cs)
  • Θεωρία μοντέλων (el)
  • Modeloteorio (eo)
  • Teoría de modelos (es)
  • Modelltheorie (de)
  • Théorie des modèles (fr)
  • Teori model (in)
  • Teoria dei modelli (it)
  • モデル理論 (ja)
  • Teoria modeli (pl)
  • 모형 이론 (ko)
  • Teoria dos modelos (pt)
  • Modeltheorie (nl)
  • Modellteori (sv)
  • Теория моделей (ru)
  • Теорія моделей (uk)
  • 模型论 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:academicDiscipline of
is dbo:knownFor of
is dbo:mainInterest of
is dbo:notableIdea of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:field of
is dbp:fields of
is dbp:knownFor of
is dbp:subDiscipline of
is rdfs:seeAlso of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International