مسائل برنامه ریزی دوسطحی نوع خاصی از مسائل بهینه سازی ریاضی هستند که در آن ها مجموعه ی متغیرها به دو قسمت ‎(x,y)‎ تقسیم می شوند، به طوری که متغیر ‎y‎، جواب بهینه ی یک مسئله ی بهینه سازی پارامتریک بر حسب متغیر ‎x‎ است؛ لذا یک مسئله ی برنامه ریزی دوسطحی، در مفهوم سلسله مراتبی به شمار می رود که برخی از قیود آن، توسط یک مسئله ی بهینه سازی دیگر تعریف می شوند. کاربرد گسترده ی مسائل برنامه ریزی دوسطح...

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

در اصول فقه، به قضایایی که دایره عمل آنها، به زمان، مکان و مخاطبِ ‫خاص منحصر است و حکم آن جنبه عمومی ندارد، «قضیه خارجیه» اطلاق می‫شود و در مقابل آن، «قضیه حقیقیه» قرار دارد. این دو اصطلاح، توسط آخوند خراسانی از دانشِ منطق وارد مباحث اصول‫ فقه شد و پیش از آن، فقها اصطلاح «قضیةٌ فی واقعة» را استفاده می‫کردند که تفاوت‫هایی با قضیه خارجیه دارد.اختصاص یک روایت به موقعیت و شرایط خاص، از صدر اسلام وجود ...

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

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

من المواضیع المطروحه فی الفقه السیاسی الإسلامی، والذی یُعتبر هدفاً قرآنیاً، هو موضوع المحاربین. وفی هذا السیاق، یُعتبر أنموذج سلوک الأئمّه المعصومین (ع) والذین یُعتبرون المفسّرین الحقیقیین للقرآن الکریم، من أفضل المعاییر فی إطار هذه المواجهه. کان الإمام علی (ع) فی مواجهه المحاربین خلال خلافته التی إستمرّت خمس سنوات. کان المحاربون فی زمن أمیر المؤمنین (ع) ینقسمون إلی ثلاث مجموعات؛ الناکثین والقاسطین وال...

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