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

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

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

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

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

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

چکیده ندارد.

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

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