شرح و تفسیر مثنوی جلال‌الدین محمد مولوی سابقه‌ای دیرین دارد، اما نکتۀ حائز اهمیت در شیوۀ شرح این تفاسیر، گرایش عرفانی آن­‌ها در توضیح محتوایی ابیات است. در شیوۀ تفسیری که برای تحلیل مثنوی در این مقاله ارائه نموده‌ام، کوشیده‌ام تا حوزۀ معانی ابیات را در الفاظ آن محدود و مدلل سازم. در این شیوه، مبنای معنایابی شعر توجه به صنایع ادبی و آرایه‌‏های زبانی آن است. این شیوه را جهت به چ...

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

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

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

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

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

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

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

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