در این پایان نامه، انواع مسائل برنامه ریزی خطی فازی معرفی و سپس مروری بر روش های حل آن ها ارائه شده است. سپس ‎رهیافتی نوین جهت حل مسائل برنامه ریزی خطی به طور کامل فازی‏ بر اساس روش سیمپلکس‎ معرفی شده است. در این روش از اعداد فازی مثلثی ‏و تابع رتبه بندی استفاده شده و بدون تبدیل کردن مساله‎‎ اصلی به مساله غیر فازی هم ارز با آن‏، مساله حل می شود. ‏

یکی از مباحث غنی در نظریه ی مدل های کاربردی، تـ -کمینگی است. یک ساختار مرتب را تـ -کمینه می نامند هرگاه هر زیرمجموعه تعریف پذیر یک بعدی ‏آن اجتماعی متناهی از بازه های باز و نقطه ها باشد. میدان مرتب عددهای حقیقی تـ -کمینه است. بسیاری از ویژگی های مجموعه های نیمه جبری (زیرمجموعه های تعریف پذیر در r^n‎ نتیجه ای از تـ -کمینگی است و بنابراین در دیگر ساختارهای تـ -کمینه نیز برقرار می باشد. یک تعمیم ط...

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

بیکن ، بشیر و انچز در سال 2001 [1] بالاخره یک حدس طولانی در نظریه مدول ها را که بیان می کند همه مدول ها روی یک حلقه یکدار، دارای پوشش هموار هستند، ثابت کردند. اما تنها کار معتبر در مورد پوشش سیستم ها روی یک تکواره، متعلق به ایزبل در سال 1971[8]، فانتین در سال 1976[5] و کیلپ در سال 1997[9] می باشد، که آن ها نیز تنها به بررسی پوشش تصویری پرداختند. در این پایان نامه، شرایطی را روی تکواره ها در نظر...

ابتدا با در نظر گرفتن r ‎‏ به عنوان یک حلقه ی جابجایی‏، ایده آل اولیه و حلقه ی اولیه تعمیم یافته را معرفی می کنیم و ویژگی های چنین حلقه ای را بررسی می کنیم. یک حلقه را اولیه تعمیم یافته گوییم هر گاه هر ایده آل ‏سره آن اولیه باشد. سپس تعمیم مفاهیم ایده آل اولیه و حلقه ی اولیه تعمیم یافته بر روی حلقه های ناجابجایی را مورد مطالعه قرار می دهیم. همچنین تعمیمی از حلقه ی اولیه تعمیم یافته به مدول یکان...

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

متریک های فینسلر به طور طبیعی تحویل پذیر روی گروه های لی فشرده و پوچ توان بررسی شده و یک رده بندی برای چنین فضاهایی بیان کرده ایم.

قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...