ریاضی میں، ماڈل نظریہ ریاضی منطق کے نقطہ نظر سے ریاضیاتی ڈھانچے کی کلاسوں کا مطالعہ (مثال کے طور پر گروپوں، شعبوں، گرافکس، سیٹ اصول کے کائنات). مطالعہ کی اشیاء رسمی زبان میں نظریات کے ماڈل ہیں. رسمی زبان میں ایک مقررہ جملے کو ایک اصول کہا جاتا ہے؛ ایک نظریہ کا ایک ماڈل ایک ساخت ہے (مثال کے طور پر ایک تشریح) جو اس نظریہ کے جملے کو پورا کرتی ہے. ماڈل اصول کو تسلیم کرتا ہے اور بنیادی طور پر دوپہر سے تعلق رکھتا ہے: یہ اسی زبان کے مصنوعی عناصر (فارمولہ اور ثبوت) کے ذریعہ سمناتی عناصر (معنی اور سچ) کا معائنہ کرتا ہے. چانگ اور کییسرر (1990) کے پہلے صفحے کا حوالہ دینے کے لئے:
یونیورسل الجبرا منطق = ماڈل اصول.
1 999 کے دوران ماڈل ماڈیول نے تیزی سے تیار کیا، اور ویلفڈڈ ہججز (1997) کی طرف سے ایک جدید جدید تعریف فراہم کی گئی ہے:
ماڈل اصول = جغرافیائی جامیات - شعبوں،
اگرچہ ماڈل نظریات شعبوں کے مطالعہ میں بھی دلچسپی رکھتے ہیں. ریاضی کے دیگر قریبی علاقوں میں combinatorics، تعداد کے اصول، ریاضی ڈynamics، تجزیاتی عمل، اور غیر معیاری تجزیہ شامل ہیں. ثبوت نظریہ کے اسی طرح میں، ماڈل نظریہ ریاضی، فلسفہ، اور کمپیوٹر سائنس کے درمیان بین الاقوامی سطح پر بین الاقوامی سطح پر واقع ہے. ماڈل نظریہ کے میدان میں سب سے اہم پیشہ ورانہ تنظیم سمبولیک منطق کے لئے ایسوسی ایشن ہے. [انٹرفیسپلاننٹی][کامبینٹرکس][جگر جیومیٹر][یونیورسل جگر][سیمنٹ][تشریح: منطق][اصول طے کریں] |