نام پژوهشگر: زانیار قادرنژاد

ساختارهای ژنریک و همجوشی تئوری های مرتبه اول
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی امیرکبیر(پلی تکنیک تهران) - دانشکده ریاضی و کامپیوتر 1387
  زانیار قادرنژاد   مسعود پورمهدیان

در این پایان نامه به بررسی ساختارهای ژنریک و همجوشی تیوری های مرتبه اول پرداخته ایم. ساختارهای ژنریک اولین با توسط هورشوفسکی برای ساختن مثال نقضی برای حدس زیلبر در مودر سه گانگی هندسته تیوری های به طور قوی مینیمال ارایه گردید که در واقع رویکرید جدید به روندی بودکه پیشتر توسط فراسه و جانسون ارایه گردیده بود. این ساختار با توجه به ابزارهای مناسبی که در کنترل رفتار ساختار ژنریک دارد تیورهای خاص با ویژگی های ماسب از زمان ابداع تاکنون کاربردهای فراوانی برای ساختن مثال های گوناگون داشته است. کاربردهای گوناگون این ساختار در شاخه های مختلف مدل تیوری اهمیت این ساختار را برای بررسی رفتارهای آنها همچنان حفظ کرده است . در این پایان نامه به ارایه روند کلی و اصل موضوعی به زوایای مختلف آن پرداختهایم . همچنین در این پایان نامه به بررسی همجوشی تیوری های مرتبط اول (تیوی های به طور قوی مینیمال با ویژگی dmp نیز پرداخته شده که خود ارتباط کاملی با ساختارهای ژنریک دارد. دریافت ویژگی های مناسب از تیوری ارایه شده نیاز به رویکردی هوشمندانه دارد که ساختارهای ژنریک و همجوشی تیوری ها به عنوان یکی از بهترین آنها با به حال عمل کرده است.