| rdfs:comment
| - في الرياضيات، نظرية النموذج هي دراسة تمثيلات المصطلحات الرياضية في إطار نظرية المجموعات، أو دراسة النماذج المضمرة تحت . تفترض النظرية أن هناك أغراضا رياضية مسبقة الوجود في الخارج محاولة أن تطرح أسئلة حول كيفية وماهية المبرهنات التي يمكن برهنتها بوجود هذه الأغراض أو الكائنات الرياضية وبعض العمليات أو العلاقات بين الأغراض مع مجموعة من المسلمات axioms. (ar)
- Teorie modelů je matematická disciplína, která je jedním z podoborů matematické logiky. Zabývá se studiem reprezentace matematických konceptů pomocí pojmů teorie množin a studiem struktur a modelů, jejich vlastností a vzájemných vztahů a také jejich vztahem k pojmům axiomatické teorie a dokazatelnosti. (cs)
- La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité). (fr)
- Dalam matematika, teori model adalah studi tentang hubungan antara (kumpulan dalam bahasa formal mengungkapkan pernyataan tentang struktur matematika), dan modelnya, diambil sebagai yang memenuhi kalimat teori tersebut. (in)
- 수리 논리학에서 모형 이론(模型理論, 영어: model theory)은 추상대수학이나 집합론 등의 모형을 이루는 구조를 연구하는 분야이다. 모델 이론, 모형론, 모델론이라고도 한다. (ko)
- モデル理論（もでるりろん、英 : Model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ、集合論の宇宙）を研究（分類）する数学の分野である。 モデル理論における研究対象は、形式言語の文に意味を与えるとしてのモデルである。もし言語のモデルがある特定のまたは（特定の条件を満足する文の集合）を満足するならば、それはその文または理論のモデルと呼ばれる。 モデル理論は代数および普遍代数と関係が深い。 この記事では、無限構造の有限一階モデル理論に焦点を絞っている。有限構造を対象とする有限モデル理論は、扱っている問題および用いている技術の両方の面で、無限構造の研究とは大きく異なるものとなっている。完全性は高階述語論理または無限論理において一般的には成立しないため、これらの論理に対するモデル理論は困難なものとなっている。しかしながら、研究の多くの部分はそのような言語によってなされている。 (ja)
- La teoria dei modelli è una branca della matematica, e più precisamente della logica, che affronta lo studio generalizzato del concetto di modello, in riferimento alle relazioni tra varie strutture ed in particolare alla soddisfacibilità di date teorie. (it)
- Теория моделей — раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Альфредом Тарским в 1954 году. Основное развитие теория моделей получила в работах Тарского, Мальцева и Робинсона. (ru)
- Teoria modeli (nazywana też semantyką logiczną) – dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi. Dziedzina ta jest w znacznym stopniu powiązana z algebrą i teorią mnogości, ale ma też mocno rozbudowany własny aparat pojęciowy i w swojej współczesnej postaci jest w pełni samodzielną dziedziną wiedzy. (pl)
- 模型论(英語：Model theory)一般是指数学中集合论的论述角度对数学概念表现（representation）的研究，或者说是对于作为基础的“模型”的研究。粗略地说，该学科假定有一些既存的数学“对象”，然后研究：当这些对象之间的一些运算或者一些关系乃至一组公理被给定时，可以相应证明出什么，以及如何证明。 比如实数理论中一个模型论概念的例子是：我们从一个任意集合开始，作为集合元素的每个个体都是一个实数，其间有一些关系和（或）函数，例如{ ×, +, −, ., 0, 1 }。若我们在该语言中问"∃ y (y × y = 1 + 1)"这样一个问题，显然该陈述对实数而言成立 - 确实存在这样的一个实数y,即所谓2的平方根；对于有理数，该陈述却并不成立。一个类似的命题，"∃ y (y × y = 0 − 1)",在实数中不成立，却在复数中成立，因为i × i = 0 − 1。 模型论研究什么是在给定的数学系统中可证的，以及这些系统相互间的关系。它特别注重研究当我们试图通过加入新公理和新语言构造时会发生什么。 现在模型论（及其方法）已经广泛地应用于其它数学分支甚至理论计算机与工程计算中。例如用模型论方法证明了代数几何中的。 (zh)
- Тео́рія моде́лей — розділ математичної логіки, який займається вивченням зв'язку між формальними мовами та їх інтерпретаціями, або моделями. Назву теорія моделей вперше запропонував Альфред Тарський у 1954 році. Основний розвиток теорія моделей отримала в працях Тарського, Мальцева та . (uk)
- La teoria de models és la branca de la matemàtica que estudia les estructures matemàtiques, com ara els grups, els cossos, els grafs o àdhuc els models de la teoria de conjunts, amb les eines de la lògica matemàtica. Està estretament relacionada amb l'àlgebra i l'àlgebra universal. Els seus objectes d'estudi són models de teories en un llenguatge formal. Hom diu que un conjunt d'enunciats en un llenguatge formal és una teoria; un model d'una teoria és una estructura (p. ex., una interpretació) que satisfà els enunciats d'aquesta teoria. àlgebra universal + lògica = teoria de models. (ca)
- Στα μαθηματικά, η θεωρία μοντέλων (αγγλ. model theory) μελετά (κλάσεις από) μαθηματικές όπως οι ομάδες, τα , οι γράφοι, ακόμα και τα universes της θεωρίας συνόλων, χρησιμοποιώντας εργαλεία της μαθηματικής λογικής. Μια δομή που αποδίδει σημασία στις προτάσεις μιας τυπικής γλώσσας ονομάζεται για αυτήν τη γλώσσα. Αν ένα μοντέλο μιας γλώσσας ικανοποιεί μια συγκεκριμένη πρόταση ή θεωρία (σύνολο από προτάσεις), τότε λέγεται μοντέλο της πρότασης ή θεωρίας. Η θεωρία μοντέλων έχει στενή σχέση με την άλγεβρα και την . (el)
- Die Modelltheorie ist ein Teilgebiet der mathematischen Logik. Inhalt der Modelltheorie sind die Beziehungen zwischen den rein formalen Ausdrücken einer Sprache (syntaktische Ebene) und deren Bedeutung (semantische Ebene). Diese Beziehung wird über sogenannte Interpretationen und eine als Erfüllungsrelation bezeichnete mathematische Relation hergestellt. (de)
- En matematiko, teorio de modeloj aŭ model-teorio aŭ modelo-teorio estas la studo de la prezento de matematikaj konceptoj per terminoj de aroteorio, aŭ la studo de la modeloj, kiuj subkuŝas matematikajn sistemojn. Ĝia premiso estas, ke estas iuj antaŭ-ekzistantaj matematikaj objektoj malsubjektive, kaj ĝi instigas demandojn pri tio, kiel aŭ kio povas esti pruvita - se estas donitaj la objektoj, iuj operacioj aŭ rilatoj inter la objektoj, kaj aro de aksiomoj. (eo)
- En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática. La teoría de modelos permite atribuir una interpretación semántica a las expresiones puramente formales de los lenguajes formales. Además permite estudiar en sí mismos los conjuntos de axiomas, su completitud, consistencia, independencia mutua, y permiten introducir un importante número de cuestiones metalógicas. (es)
- In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the statements of the theory hold). The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other.As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954.Since the 1970s, the subject has been shaped deci (en)
- Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam . É assumido que existem alguns objetos matemáticos pré-existentes e investiga-se o que pode ser concluído de tal coleção de objetos, algumas operações e/ou relações entre estes objetos e alguns axiomas. Um modelo é definido formalmente no contexto de alguma linguagem L (ou alguma assinatura). Um modelo é formado por duas partes: Teorema da equivalência elementar (Teoremas de Lowenheim-Skolem) e teste de Vaught. (pt)
- Modeltheorie is een deelgebied van de wiskundige logica en de wiskunde dat handelt over de relaties tussen puur formele uitdrukkingen en hun betekenis. Het gaat in de modeltheorie om de bestudering van de relaties tussen de eigenschappen van een formele theorie en de eigenschappen van een ander wiskundig systeem. Modeltheorie bestudeert kortgezegd wiskundige modellen. Het baanbrekend werk op dit gebied is in de jaren 1920 en 1930 verricht door Kurt Gödel, Thoralf Skolem en Alfred Tarski. (nl)
- Modellteori är ett stort ämnesområde med många delområden som alla på ett eller annat sätt handlar om studiet av modeller (strukturer) såsom dessa definieras inom logik. Modellteorin är en gren av den matematiska logiken och har därför kopplingar både till andra delar av matematiken och till delar av filosofin. Modellteori är också sporadiskt användbart i datalogi och lingvistik. (sv)
|
![[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)
![[RDF Data]](/fct/images/sw-rdf-blue.png)