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

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

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

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

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

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

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

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

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