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

روش های گرادیان مزدوج یک خانواده بسیار مهم از روش های تکراری برای حل مسائل بهینه سازی نامقید در مقیاس بزرگ می باشند. این روش ها به دلیل عدم نیاز به محاسبه و ذخیره سازی ماتریس ها، به طور گسترده ای مورد استفاده قرار می گیرند. یک ویژگی مهم برای این روش ها این است که، جهت های جستجوی کاهشی تولید کنند. اما جهت های جستجوی تولید شده توسط روش های استاندارد(دو جمله ای)گرادیان مزدوج لزوماً در شرط کاهش کافی...

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

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

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

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

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

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

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

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