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

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

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

چکیده ندارد.

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

در این پایان نامه ‏به بررسی‏ برخی قضایای نقطه ثابت می پردازیم. برای این منظور ابتدا قضیه نقطه ثابت براور را روی r بیان نموده و آن را به فضای ?r تعمیم می دهیم. سپس قضیه نقطه ثابت کاکوتانی را روی یک تناظر اثبات می کنیم. در ادامه قضایای نقطه ثابت نگاشت انقباضی و تارسکی را اثبات می کنیم. در پایان به مطالعه ی قضایای نقطه ثابت هان و کاکوتانی بر روی شارش ها خواهیم پرداخت. همچنین قضیه نقطه ثابت دی که خ...

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

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

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

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