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

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

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

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

مسائل گتیه موارد یا نمونه هایی هستند که از مواجهه با تحلیل jtb معرفت، به مثابه باور صادق موجه که p، می گریزند. بنا بر نظریه jtb معرفت، s می داند که p، اگر فقط: الف) یک گزاره صادق وجود داشته باشد؛ ب) s باور داشته باشد که p صادق است؛ ج) s در باور به اینکه p، موجه باشد. مسائل گتیه بیان می-کنند که این سه شرط (الف تا ج) برای تبیین اینکه معرفت چیست کافی نیستند، چرا که احتمالاً موارد نقضی هستند که هرچن...

چکیده در دهه های اخیر همواری سیستمهای راست روی تکواره s موضوع اصلی بیشتر مقالات درزمینه رده بندی همولوژیکی تکواره ها بوده است که نتیجه های مفیدی در مورد خاصیتی که شرط (p) نامیده می شود در بر دارد. در این پایان نامه شرط (o) را معرفی خواهیم کرد که رده s- سیستم های صادق در شرط (o) به طور اکید بین s- سیستم های به طور قوی هموار و s- سیستم های صادق در شرط (p) قرار می گیرد. همچنین به معرفی شرط (e...

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

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