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

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

کتاب «الکافی» اثر ثقه الاسلام کُلینی را به واسطه برخی امتیازات از جمله جامعیّت کتاب، جایگاه علمی مؤلّف، نزدیکی به زمان ائمّه(ع)، دسترسی به اصول اربعمائه، نحوه تبویب، استحکام أسناد و ... از برترین نگاشته های حدیث شیعه می دانند. این پژوهش در صدد است تا با رویکردی نو و از طریق مطالعه منابع «الکافی» و بررسی اصالت و اعتبار آنها، به میزان اعتبار«الکافی» دست یابد.بدین منظور، از شواهد تاریخی و دیدگاه های ا...

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

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

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