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

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

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

در این تحقیق پارامترهای آیرودینامیکی در حالت استاتیکی  و دینامیکی پره در مجموعه­ی پیشرانش کوادروتور به‌طور تجربی بررسی و منحنی­های مشخصه عملکردی استخراج و مدل مجموعه پیشرانش کوادرتور(موتور و ملخ)  تخمین زده‌شده است. برای اندازه­گیری داده­های تجربی دستگاهی  بدین منظور طراحی و ساخته‌شده است.  تخمین مدل مجموعه پیشرانش در دو بخش  تخمین مدل ملخ و تخمین مدل موتور انجام گردیده است. در بخش  تخمین مدل م...

بهناز علی‌‌پور گسکری در مجموعه داستان بماند...به‌گونه‌ای هدفمند و تعمدی، از امکانات پسامدرنی در عنوان و محتوا و شیوۀ روایت بهرهجسته‌است. مؤلفه‌‌های پسامدرنی نظیر ساختار بازگشتی، اتصال کوتاه، چهارچوب‌‌سازی وچهارچوب‌‌شکنی، آشفتگی و عدم انسجام متن، تناقض و عدم قطعیت، در متن داستان‌‌ها بهکار رفته‌است، اما کاربرد «ساختار بازگشتی» بیشتر قابل توجه است. ساختار بازگشتیبا ایجاد چند سطح مختلف روایتی یا جه...

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

مارتیندل در سال 1969 نشان داده است که هیچ اتحاد خطی ناصفر روی یک حلقه اول وجود ندارد. در این پایان نامه که برگرفته از مقاله ‏‎p. h. lee and t. k. lee, "leinear identities and commuting maps in ring with involution", comm, a lg ebra. 25 (9), 2881 - 2895(1997)‎‏ است، قضیه اتحاد خی مارتیندل را تعمیم می دهیم و ثابت می کنیم که هیچ اتحاد ناصفر روی زیر مجموعه متقارن از یک حلقه اول بازگشتی از مشخصه مخا...

در چند دهه اخیر استفاده از تکنیک های محاسبات نرم بطور چشمگیری در مسائل تقریب ، پیش بینی و ... افزایش یافته است اما هنوز وجود یک سیستم هوشمند که تمام جنبه های این گونه مسائل را تحت پوشش قرار دهد، ضروری بنظر می رسد. این جنبه ها عبارتند از: 1) اعمال دانش افراد خبره به سیستم، 2) مدیریت عدم قطعیت موجود در دانش افراد خبره و 3) آموزش پذیری از روی نمونه داده ها یا نمونه داده های نویزدار. در این تحقیق ب...