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

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

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

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

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

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

در این پایان نامه، نشان می دهیم که چگونه عناصر k-0 نوع پترو-گالرکین لاگرانژ پیوسته یا ناپیوسته می تواند در حل معادلات انتگرال فردهلم همرشتاین به کار رود. برای این منظور خلاصه مختصری از عناصر توسعه یافته را ارایه میدهیم

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

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

فیلسوفان مسلمان حمل اولی و شایع را به دو معنای متفاوت به کار برده‌اند: 1. به قید قضیه 2.به قید موضوع. حمل اولی و شایع به قید قضیه نخستین معنای این دو اصطلاح و به ترتیب، به معنای «اتحاد مفهومی» و «حمل مصداقی» است؛ اما حمل اولی و شایع به قید موضوع، معنایی است که بعدها اختراع شده و به ترتیب، به معنای «ارادة مفهومِ موضوع» و «ارادة مصادیق موضوع» است و در حقیقت، چیزی جز همان تفکیک معروف میان «قضیة طبی...