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

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

بیش از ۳۰ سال پیش لبهرز (۲) و همکارانش مطالعه آنتی بیوتیک تراپی را در پارگی زودرس کیسه آب شروع نمودند. انگیزه این بررسی، تشخیص عوارض مربوط به مادر و نوزاد در PROM بوده است، تاکنون تحقیقات وسیعی برای پی بردن به علت PROM و تعیین خط مشی هایی برای کسب نتیجه مطلوب صورت گرفته است. علیرغم این مساله  PROM هنوز به صورت یک «معمای مامایی » باقی مانده است.

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

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

این مقاله فاقد چکیده می​باشد.

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

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