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

این مقاله با بررسی انواع اختصار و اختصارسازی در زبان فارسیِ کنونی نگاهی تاریخی نیز به این فرایند واژه سازی دارد و با ارائة شواهدی نشان می دهد که علیرغم نظر برخی از صاحب­نظرانِ این حوزه، اختصارسازی در زبان فارسی قاعده مند و دارای قدمتی دیرینه است و حتی به دوران کتیبه نگاری برمی گردد. در این پژوهش، نگارندگان این بحث را برپایة اصول اقتصاد[1] و کم کوشی[2] گذاردهاند که زیف[3] در سال 1949 مطرح کرده بود...

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

امروزه تمایز میان جهات جمله ای ( de dicto ) وجهات شیئی ( de re ) از مباحث بسیار مهمی است که هم  در حوزه منطق موجهات و هم در قلمرو متافیزیک تحلیلی، جایگاه ویژه ای یافته است . برای مثال، پذیرش ضرورت شیئی یکی از مبانی اساسی پذیرش ذات گرائی(essentialism)  است.  در این مقاله پس از اشاره ای کوتاه به سابقه این تمایز در فلسفه غرب و اسلامی به تفاوت نحوی و معنائی این دوگونه جهت پرداخته می شود.  در ادامه ...

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

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

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

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

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

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