| Arabic |
| has gloss | ara: في الرياضيات، نظرية النموذج هي دراسة تمثيلات المصطلحات الرياضية في إطار نظرية المجموعات، أو دراسة النماذج المضمرة تحت النظم الرياضية. تفترض النظرية أن هناك أغراضا رياضية مسبقة الوجود في الخارج محاولة أن تطرح أسئلة حول كيفية وماهية المبرهنات التي يمكن برهنتها بوجود هذه الأغراض أو الكائنات الرياضية وبعض العمليات أو العلاقات بين الأغراض مع مجموعة من المسلمات axioms. |
| lexicalization | ara: نظرية النموذج |
| Bengali |
| has gloss | ben: মডেল তত্ত্ব (ইংরেজি ভাষায়: Model thoery) স্বতঃসিদ্ধমূলক সেট তত্ত্ব বর্ণনাকারী সাধারণ তত্ত্ব। এটি যুক্তিবিজ্ঞানের একটি শাখা যেখানে গাণিতিক সংগঠনগুলি নিয়ে গবেষণা করার জন্য ঐ সংগঠনগুলি সম্পর্কিত প্রথম-মাত্রার সত্য বাক্যসমূহ এবং প্রথম-মাত্রার সূত্র প্রয়োগে যেসব সেটকে ঐ সংগঠনগুলির জন্য সংজ্ঞায়িত করা যায়, সেই সব সেট আলোচনা করা হয়। |
| lexicalization | ben: মডেল তত্ত্ব |
| Catalan |
| has gloss | cat: 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. |
| lexicalization | cat: Teoria de models |
| Czech |
| has gloss | ces: 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. |
| lexicalization | ces: Teorie modelů |
| German |
| has gloss | deu: Die Modelltheorie ist ein Teilgebiet der mathematischen Logik. Inhalt der Modelltheorie sind die Beziehungen zwischen den rein formalen Ausdrücken einer Logik (syntaktische Ebene) und deren Bedeutung (semantische Ebene). Diese Beziehung wird über sogenannte Interpretationen und eine als Erfüllungsrelation bezeichnete mathematische Relation hergestellt. Wichtige Bereiche der Modelltheorie betreffen die Zuordnung von Wahrheitswerten zu formalen Sätzen und die Beziehung formal-logischer Systeme zur natürlichen Sprache. |
| lexicalization | deu: Modelltheorie |
| Esperanto |
| lexicalization | epo: Modela teorio |
| Persian |
| has gloss | fas: نظریه مدل (به انگلیسی: Model Theory) در ریاضیات مطالعهٔ ساختارهای ریاضی از یک مرتبه بالاتر است. |
| lexicalization | fas: نظریه مدل |
| French |
| has gloss | fra: La théorie des modèles est une théorie de la vérité mathématique. Elle consiste essentiellement à dire qu’une théorie est mathématiquement valide si on peut définir un univers non vide dans lequel elle est vraie. |
| lexicalization | fra: Theorie des modeles |
| lexicalization | fra: théorie des modèles |
| Interlingua (International Auxiliary Language Association) |
| has gloss | ina: In mathematica, le theoria de modellos es le studio de (classes de) structuras mathematic como gruppos, campos, graphos, o etiam un universo del theoria de ensembles, con le uso de instrumentos del logica mathematic. Un structura que da senso al phrase de un linguage formal es appellate un modello pro le linguage. Si un modello pro un linguage satisface un phrase o theoria (ensemble de phrases), illo es appellate un modello del phrase o theoria. Le theoria de modellos es fortemente ligate al algebra e al algebra universal. |
| lexicalization | ina: theoria de modellos |
| Italian |
| has gloss | ita: In logica matematica un modello per un linguaggio o una teoria formale è intuitivamente un'attribuzione di un significato a tutti gli enunciati (le formule) del linguaggio. |
| lexicalization | ita: Modello |
| Korean |
| has gloss | kor: 수학에서 모형 이론 혹은 모델 이론(model theory)은 수리논리학적 도구들을 이용해 군, 체 혹은 집합론의 모형 등의 수학적 구조를 연구하는 분야이다. 이는 범대수학과 밀접한 연관이 있다. |
| lexicalization | kor: 모형 이론 |
| lexicalization | kor: 모형이론 |
| Dutch |
| has gloss | nld: Modeltheorie is een deelgebied van de wiskundige logica en de wiskunde, en handelt over de relaties tussen puur formele uitdrukking en hun betekenis. De modeltheorie is een onderdeel van de wiskundige logica. 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. |
| lexicalization | nld: modeltheorie |
| Piemontese |
| has gloss | pms: La teorìa dij modej a lé na branca dla lògica matemàtica cha studia le relassion tra le fórmole matemàtiche e le struture cha sodisfo o a sodisfo nen coste fórmole; a studia ëdcò la costrussion e la classificassion ëd se struture. A deuvra dutiss dàlgebra universal e ëd lògica matemàtica. Ël nòm teorìa dij modej a lé stàit antrodòt da Tarski ant ël 1954. |
| lexicalization | pms: teorìa dij modej |
| lexicalization | pms: Teorìa dij modèj |
| Polish |
| has gloss | pol: Teoria modeli (nazywana też czasem semantyką logiczną) to 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. |
| lexicalization | pol: Teoria modeli |
| Portuguese |
| has gloss | por: 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 sistemas matemáticos. É 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. |
| lexicalization | por: Teoria Dos Modelos |
| Russian |
| has gloss | rus: Теория моделей — раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория моделей получила в работах Тарского, Мальцева и Робинсона. |
| lexicalization | rus: теория моделей |
| Castilian |
| has gloss | spa: En matemática, teoría de modelos es el estudio de la representación de conceptos matemáticos en términos de la teoría de conjuntos, o el estudio de modelos que subyacen en sistemas matemáticos. Supone que hay algunos objetos matemáticos preexistentes y hace preguntas acerca de cómo o qué puede ser probado dados: los objetos, algunas operaciones o relaciones entre los objetos y un conjunto de axiomas. |
| lexicalization | spa: Teoria de modelos |
| lexicalization | spa: teoría de modelos |
| Swedish |
| has gloss | swe: 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. |
| lexicalization | swe: modellteori |
| Turkish |
| has gloss | tur: Modeller kuramı, matematiksel konseptleri küme kuramı temelinde inceleyen ya da başka bir deyişle matematiksel sistemlerin dayandığı modelleri araştıran matematik dalıdır. Modeller kuramı, dış dünyada matematiksel nesnelerin var olduğunu varsayar ve nesneler, nesneler arasında bazı işlemler ya da bağıntılar ve bir aksiyomlar kümesi verildiğinde, nelerin nasıl tanıtlanabileceğine ilişkin sorular sorar. |
| lexicalization | tur: Modeller Kuramı |
| Chinese |
| has gloss | zho: 数学上，模型论是从集合论的论述角度对数学概念表现（representation）的研究，或者说是对于作为数学系统基础的“模型”的研究。粗略地说，该学科假定有一些既存的数学“对象”，然后研究：当这些对象之间的一些运算或者一些关系乃至一组公理被给定时，可以相应证明出什么，以及如何证明。 |
| lexicalization | zho: 模型论 |
