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

مرجع اصلی این پایان نامه (5) است. مدل تعریف پذیر اردینال ( به این نوع مدل پاریس نیز خواهیم گفت) مدل از نظریه مجموعه هاست که تمامی اردنیال هایش در تعریف پذیر مرتبه اول هستند .جفری پاریس (1973) نخستین قدم را در مطالعه مدل های تعریف پذیر اردینال برداشت و نشان داد که :1- هر گسترش سازگار t از zf دارای مدلی تعریف پذیر اردینال است. 2- گسترش کامل t به تقریب یکریختی دارای مدل تعریف پذیر اردینال یکتایی ...

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

در میان انواع مختلف شکل های ارزیابی(موفقیت/اثربخشی)سیستم های اطلاعاتی، رضایت کاربر نهایی یکی از پرکاربردترین معیارهاست. در این پژوهش شناسایی فاکتور های تأثیرگذار بر رضایت کاربر نهایی سیستم های اطلاعاتی بر مبنای نظریه ی عدالت مد نظراست. بدین منظور 8 فاکتورتأثیرگذار بر رضایت کاربران نهایی از جمله عدالت مراوده ای، عدالت توزیعی، تحقق منصفانه ی روابط، تحقق منصفانه ی خودشکوفایی، انتظارات از عملکرد کا...

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

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

گراف دلخواه g دارای یک k- رنگ آمیزی معتبر است . اگر تخصیص k رنگ متفاوت به راسهای g وجود داشته باشد به طوری که هیچ دو راس متصل یک رنگ یکسان نداشته باشند به کوچکترین مقدار k عدد رنگی گراف می گوییم . در گراف دلخواه g به مجموعه ای از راس ها با یک رنگ آمیزی داده شده ، یک مجموعه تعیین کنند رنگ آمیزی راسی g گوییم هر گاه بتوان این رنگ آمیزی را به طور منحصر به فرد به یک k رنگ آمیزی از راس های g توسعه د...

هدف ما بررسی مجموعه ی فاصله های (بین نقاط) یک فضای لهستانی است. به همین منظور، در فصل اول آشنایی کوتاهی با فضاهای لهستانی و انواع خاص فضاهای متریک، مجموعه های افکنشی، آناکاویک و مکمل آناکاویک خواهیم داشت. قبلاً بررسی هایی راجع به مجموعه فاصله فضاهای متریک انجام شده است. در فصل دوم، قضایای پایه ای فضاهای لهستانی و مجموعه های آناکاویک را بررسی می کنیم. فصل سوم نیز، با اصلی ترین قضیه ی این پایان...

در این کار جذب سه مولکول گازکربن مونوکسید بر روی پایدارترین نانولوله نقص دار (استون – والز) بور نیترید B64N64H16 با فرم زیگزاگ(8،0) با روش های محاسبه ایی نظریه تابع چگال بررسی شد. برای بهینه کردن جداگانه ی هریک از ساختارهای اولیه نانو لوله بور نیترید و CO و همچنین جهت بررسی جذب گاز CO، روش و مجموعه پایه B3LYP/6-31G به کار رفته است. هفت مکان جذبی برای بررسی بر هم کنش گاز با ساختار نانو در نظر گر...

خوش ترتیب بودن مجموعه اعداد طبیعی، اجرای استقرا روی آن را امکان پذیر می کند. در این نوشته تلاش شده است با بیان های مختلف استقرا و وابستگی آن به ترتیب، با کاربردهای جالب آن روی مجموعه اعداد حقیقی آشنا شویم.