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

از مهم ترین انتقادات کانت به برهان وجودی این است که برهان وجودی،یک برهان توتولوژیک و ازاین رو بی حاصل است ،زیرا به ادعای طرفداران آن،وجود در تعریف خدا گنجانده شده است،یعنی قضیه «خداوجوددارد»،یک قضیه تحلیلی است.درحالی که تمام قضایای وجودی تالیفی اند نه تحلیلی.به علاوه اساس این برهان بر این است که وجود،یک کمال یا محمول حقیقی است . اما وجود،صفت یا محمول حقیقی هیچ چیز نیست ،بلکه نقش آن فقط وضع ((po...

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

فرض کنید یک حلقه موضعی و و دو مدول باشند. هدف این پروژه بررسی خواص همولوژیکی فانکتورهای و است. همچنین، موارد ذیل مورد بحث و بررسی قرار می گیرند.. 1- اگر نوتری و ارتینی باشد، انگاه . 2- اگر و ارتینی باشند، انگاه . 3- اگر و ارتینی باشند، انگاه روی حلقه ی ، ارتینی و نوتری است. 4- اگر ارتینی و ماتلیس بازتابی باشد، انگاه ، و ماتلیس بازتابی هستند. 5- با فرض کامل بودن حلقه ی شرط لازم و کافی بر...

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

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

در سال ‎۱۹۰۶‎، برتراند راسل در مقاله خود نشان داد که تقریباً تمامی پارادکس های نظریه مجموعه ها دارای یک شکل مشترک می باشند. در سال ‎۱۹۶۹‎، لاوور با استفاده از زبان نظریه رسته ها، به یک وحدت و یکپارچگی عمیق تر دست یافت که نه تنها پارادکس های نظریه مجموعه ها، بلکه پدیده ناتمامیت را نیز شامل می شد. در واقع لاوور طرحی مشترک ارایه داد که موضوعات بسیار همچون قضیه کانتور در مورد مجموعه های توانی، پاراد...

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

دعوای اکوادور علیه کلمبیا معروف به قضیه سم‌پاشی هوایی که در 31 مارس 2008 تحت رسیدگی دیوان بین‌المللی دادگستری قرار گرفت، مستعد طرح نکات و مسائلی است که از بُعد زیست‌محیطی خصوصاً در حوزه آلودگی‌های مرز‌گذر قابل بررسی است به‌نحوی که برخی محققین بدان لقب تریل اسملتر قرن بیست‌و‌یکم داده‌اند.قضیه تریل اسملتر (دعوای میان ایالات متحده آمریکا و کانادا) نزد علاقه‌مندان مباحث حقو...

درسالهای اخیر چندین توسیع وتعمیم برای کلاس توابع محدب در نظر گرفته شدکه یک تعمیم قابل ملاحظه آن توابع شبه محدب بود. تابع را یک تابع شبه محدب می نامیم هرگاه یک مجموعه شبه محدب، غیرتهی باشد.به شرط آنکه یک تابع برداری مقدار موجود باشد به طوریکه رابطه ذیل برقرار باشد شبه تحدب دربهینه سازی غیرخطی وشاخه های ناب علوم کاربردی، بسیار موثراست که اولین بارتوسط شخصی به نام هانسون [14] در سال 1981 ارائ...