عنوان :
نظريه فرسنيك از ديدگاه نظريه مدل
پديدآورندگان :
پورمهديان مسعود نويسنده , اردشيرلاريجاني محمدجواد نويسنده
نام دانشگاه :
دانشگاه صنعتي شريف ، دانشكده علوم رياضي
كليدواژه زبان طبيعي :
نظريه فرسينگ , روش مدلسازي , نظريه مدل , بخش رياضي محض
چكيده :
هدف اين رساله در واقع بسط اصول اوليه نظريه فرسينگ كه يكي از روشهاي مدل سازي در نظريه مدل است مي باشد. توضيحا اينكه يكي از مهمترين مسايل در نظريه مدل (كه يكي از شاخه هاي اصلي ، منطق رياضي است ) ساختن مدلهايي براي تيوري گوناگون بمنظور اهداف معين مي باشد. ...