در این پایان نامه نیم گروه ها با یک عمل گر یکتای c به نام بستار راست مورد بررسی قرار گرفته اند.‎‏ نیم گروه های بستا‏ر‎‎ ‏را می توان به عنوان تعمیم هایی از نیم گروه های وارون پذیر (نه لزوما منظم) در نظر گرفت. هم چنین در این پایان نامه ساختارهای مختلفی از نظریه نیم گروه های وارون پذیر به بعضی رده های مهم نیم گروه های بستار مانند نیم گروه های بستار وارون پذیر‏ و نیم گروه های بستار پیچیده‏ گسترش یا...

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

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

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

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

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

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

The traditions indicating the possibility of corruption in the holy Quran, uncertainty in the history of collecting the Quran—at least for some scholars—the existence of some traditions comparing the major events in the history of the Muslim community with those of the history of the ancient communities, and the absence of the direct mention of the names of the Immaculate Imams, peace be upon t...

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

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