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

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

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

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

در این مقاله به اثبات قضایای نقطه ثابت برای توابع مجموعه ای مقدار می پردازیم و بعضی از شرایط ضعیف انقباضی را توسیع می دهیم.  نتایج ما نتایج چنگ-چن و چریچ  را توسیع می دهد. در انتها با یک مثال توسیع بودن نتایج را نشان می دهیم.

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

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

وجودزیرگروه های نرمالسازتأثیرزیادی بر روی ساختار ساختارگروه ها دارد.تاآنجاکه درسال1988گروه هایی با دو نرمالساز توسط روماس بررسی شد ، در ادامه این کار در سال 2000 مورا گروه هایی موضعاً متناهی با دو نرمالساز را مورد مطالعه قرار داد. سپس توتا ساختار گروه های دلخواه که دارای زیر گروه هایی با دو ، سه و چهار نرمالساز باشند را مشخص کرد و تأثیر این نرمالسازها را مورد بررسی قرار داد. در این پایان نامه ما...

در این پایان نامه ابتدا تعدادی از تعاریف و قضایای مقدماتی نقطه ثابت را بیان می کنیم. در ادامه فضای مدولار و تعدادی از ویژگی های این فضا را معرفی و سپس قضایای نقطه ثابت را برای نگاشت های شبه انقباضی و انقباضی ضعیف در این فضا بیان و ثابت می کنیم و کاربردی از این قضایای را در معادلات انتگرال ارائه می دهیم. هم چنین ضمن معرفی فضای متریک مدولار، قضایای نقطه ثابت را برای نگاشت های انقباضی و انقباضی ضع...

نارایانا با به کار بردن جایگشتهای دوری رابطه بین مساحت ناحیه زیر مسیرهای شمالی ‌ـ شرقی از مبدا به نقطه (n,n) و تعداد نقیصه ‌های آنها را مورد بررسی قرار داد و از این طریق اثباتی برای قضیه معروف چانگ ‌ـ ‌فلر ارایه نمود. در این مقاله با بازنگری رهیافت نارایانا، اثباتهایی کوتاه بر قضایای نارایانا و چانگ ـ فلر ارایه می‌دهیم.