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

خاندان اردلان یکی از خاندان‌های حکومتگر در منطقه کردستان بود که به سبب عوامل متعدد فرهنگی و تاریخی، ضمن امتناع از پذیرش مذهب رسمی تشیع، اطاعت از صفویه را پذیرفت و تا اواخر قاجاریه، اعضای این خاندان تابع حکومت مرکزی بودند. اگرچه ساکنان منطقه بر مذهب شافعی باقی ماندند، ولی خاندان والی از اواسط عهد صفوی به بعد مذهب شیعه را پذیرفتند. آخرین والی اردلان، امان‌الله خان دوم (حک: 1265-1284 ق)، که از طرف...

دیوان بین‌المللی دادگستری در رأی صلاحیتی خود در قضیه برخی اموال ایران (ایران علیه آمریکا) که در 24 بهمن 1397 (13 فوریه 2019) صادر نمود، به ایرادهای مقدماتی آمریکا دربارۀ صلاحیت و عدم قابلیت استماع دعوا پرداخت. ایراد مبتنی بر استثناهای عدم اعمال عهدنامۀ مودت (ماده ۲۰ (1) عهدنامه)، ایراد عدم حمایت عهدنامۀ مودت از مصونیت دولت و ایراد عدم شمول حمایت‌های مقرر در عهدنامه نسبت به بانک مرکزی (به‌واسطۀ ...

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

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

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

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

در این پایان نامه ‏به بررسی‏ برخی قضایای نقطه ثابت می پردازیم. برای این منظور ابتدا قضیه نقطه ثابت براور را روی r بیان نموده و آن را به فضای ?r تعمیم می دهیم. سپس قضیه نقطه ثابت کاکوتانی را روی یک تناظر اثبات می کنیم. در ادامه قضایای نقطه ثابت نگاشت انقباضی و تارسکی را اثبات می کنیم. در پایان به مطالعه ی قضایای نقطه ثابت هان و کاکوتانی بر روی شارش ها خواهیم پرداخت. همچنین قضیه نقطه ثابت دی که خ...

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