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

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

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

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

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