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

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

در این مقاله نقش محوری رابطه «کل-جزء» در ریاضیات با ارائه مثالهایی از جبر، هندسه، آنالیز تابعی، منطق، توپولوژی و نظریه رسته ها و در تجزیه و تحلیل آن مثالها آشکار می شود.

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

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

مطالعه حلقه های ادغامی در راستای یک ایدآل

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

استفاده از یک روش جدید برای حل مسائل برنامه ریزی کسری چند هدفه غیر خطی که توابع هدف و محدودیت ها، محدب از نوع v نسبت به تابعی مانند ? هستند. در این رهیافت یک مسأله ی برنامه ریزی برداری هم ارز، به وسیله ی اصلاح تابع هدف کسری در مسئله ی کسری چند هدفه ی غیر خطی اصلی ساخته می شود. بعلاوه یک تابع لاگرانژ اصلاح شده برای ساختن مسئله ی بهینه سازی برداری معرفی می شود. به کمک تابع لاگرانژ اصلاح شده جواب ...

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

اصل هولوگرافی روشی برای حل مسئله ی کوانتیده کردن گرانش است. براساس این اصل، تمام اتفاقاتِ درونِ یک حجم را می توان با استفاده از نظریه ای که بر روی سطح آن نوشته می شود توصیف کرد. در این پایان نامه، ما یک شاهد خوب برای این اصل، که دوگانیِ نظریه میدان همدیس در 2-بعد با فضای پاددوسیته ی 1+2-بعدی است، را بیان می کنیم. برای این منظور، در ابتدا نظریه میدان همدیس در 2-بعد، با ارائه ی فرمول بندیِ لازم ومعرف...