در مورد قضیه دروغ گو،(کل کلامی کاذب , هرچه می گویم دروغ است)در طی دو هزارو پانصدسال بسیار بحث شده است اما کمتر توجه کرده اند«کل کلامی کاذب»یک قضیه نیست بلکه یک شبه قضیه است که با اصل منطق منافات داردو نمی توانددرمنطق جایی پیداکند.این ها احکام و قضایای ممتنعند و پیداست که حکم یا قضیه ممتنع اصلا قضیه نیست که صادق یا کاذب باشد. دروغ دانستن دورغ, صادق بودن دروغ گو و صدق دروغ را اثبات نمی کندو نکته...

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

برای اجرای سامانه استحصال آب باران (RWH) بر بام منازل مسکونی، مهم‌ترین و پرهزینه‌ترین جزء، مخزن ذخیره‌سازی آب باران است. بنابراین انتخاب مخزنی با ابعاد مناسب، امری مهم است. در این تحقیق ابتدا چهار بام با مساحت‌های 100، 150، 200 و 250 مترمربع در شهر رشت انتخاب شد و سپس برای هریک از بام‌ها با توجه به فضای در دسترس و مقدار تقاضا، مخزنی با حجم مشخص به ترتیب برابر با 5، 6، 8 و 10 مترمکعب انتخاب و در...

کاربرد روش‌های توسعه کم‌اثر و مدیریت بهینه از جمله راهکارهای مناسب برای کاهش اثرات توسعه شهری بر مقدار سیلاب است. به این منظور با توجه به موقعیت شهرستان تهران و توسعه روزافزون آن، پژوهش حاضر در مورد اثر روش‌های LID-BMP با استفاده از مدل SWMM بر میزان رواناب منطقه 22 تهران با مساحت 54000 هکتار انجام شد. این پژوهش شامل پن...

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

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

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

تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.

چکیده بام های سبز بخشی از تلاش ها برای پایدارتر ساختن شهرها و یکی از راه حل های مدرن برای مشکلات شهری می باشد. گسترش فیزیکی شهرها منجر به از بین رفتن? طبیعت سبز شده است.?بنابراین ایجاد و توسعه فضای سبز نقش مهمی در زندگی تمام موجودات از جمله ?انسان دارد. به منظور بررسی اثر برخی از بسترهای کشت بر عملکرد گل گازانیا (gazania hybrida) و گل مغربی صورتی (oenothera speciosa rosea) در شرایط بام سبز، ...

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