برهان «معقولیت اعتقاد» از براهین اثبات وجود خداست. این برهان در غرب به شرطی پاسکال شهرت دارد اما بنیاد آن را می‌توان در سخنان گهربار امام علی(ع) در نهج‌البلاغه یافت و با توجه به متأثر بودن پاسکال از غزالی، عنوان «معقولیت اعتقاد» برای این برهان شایسته‌تر است. برهان «درجات کمال» نیز برهانی است که متألّهان مغرب زمین آن را در اثبات خدا به کار می‌برند؛ این برهان بر قاعده امکان اشرف قابل انطباق است و ...

یکی از استدلال هایی که برای دفاع از معقولیت باور به گزاره «خدا وجود دارد» به کار می رود استدلال شرط بندی پاسکال است. یکی از مهم ترین اشکالات به این استدلال، «اشکال خدایان متعدد» نام دارد. در این مقاله ابتدا یکی از رایج ترین تقریرهای شرط­بندی پاسکال به نام «سود مورد انتظار برتر» را ارائه می کنیم و سپس به شرح دو نسخه از اشکال خدایان متعدد می پردازیم. نسخه اول نسخه امکانی و نسخه دوم نسخه واقعی نام...

در این تحقیق فیلم دولایه آگار/ژلاتین به روش قالب ریزی و طی دو مرحله تولید و ویژگی های آن شامل نفوذپذیری نسبت به بخارآب، حلالیت در آب، درصد جذب رطوبت، خواص مکانیکی، و نیز ویژگی های ظاهری مورد مطالعه و با فیلم های زیست تخریب پذیر تک لایه آگار و ژلاتین مقایسه گردید. نتایج نشان داد که نفوذپذیری نسبت به بخارآب در فیلم دولایه (g/mspa 10-10×25/3) به طور معنی داری کمتر از فیلم های آگار تک لایه (g/mspa ...

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

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

این پژوهش با هدف دستیابی به مقادیر تغییرات فشار استاتیکی، دینامیکی و سرعت جریان گاز برای سه سطح مقطع مختلف بیوفیلترها صورت گرفته است. عامل‌های مورد مطالعه شامل دبی جریان گاز، سطح مقطع‌های مورد مطالعه (ذوزنقه، مربعی و دایره)، موقعیت عمودی (خط مرکز بستر، خط جلو و خط عقب) در چهار محدوده ارتفاعی از کف بستر بیوفیلتر (بخش اول0 تا 75/16 سانتی‌متر، بخش دوم 75/16 تا25/29سانتی‌متر، بخش سوم 25/29 تا75/41 ...

به منظور بررسی نقش برخی متابولیت‌ها از جمله پرولین، قندها و پروتئین‌های محلول، املاح معدنی در ساز و کار تنظیم اسمزی و بررسی روند تغییرات روابط آبی درشرایط تنش خشکی در یونجه یکساله برگ بریده ] Medicago laciniata (L.) Mill [، آزمایشی گلخانه‌ای به صورت فاکتوریل در قالب طرح بلوک‌های کامل تصادفی در سه تکرار انجام گردید. دو ژنوتیپ حساس و متحمل به خشکی یونجه یکساله در سطوح مختلف تنش خشکی شامل 1/0- ، 2...

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