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

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

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

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

در پژوهش حاضر بسامد و جهت گیری بُن پارهای مقوله ی سیاست خارجی در کتاب های درسی علوم اجتماعی دوره ی دبیرستان در سال های 1360-1368 و 1384-1392 بررسی گردید. بنیانِ پژوهش، توصیفی کمّیِ مقایسه ای و از نوع تحلیل محتوای تطبیقی است. جامعه ی آماری، کتاب های علوم اجتماعی و تاریخ و جغرافیا دوره ی متوسطه در سال های 1360تا1368 و 1384تا1392 را در برگرفت. مولفه های درونیِ سیاست خارجی به چهار بُعد تجربی، ایدئولوژیک،...

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

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

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

هدف این پژوهش، بررسی تأثیر آموزش مبتنی بر گفتمان ریاضی (با شیوه بحث های کلاسی) بر توانایی استدلال دانش آموزان دختر پایه اول دوره دوم دبیرستان (پایه نهم) است. این پژوهش نیمه آزمایشی از نوع پیش آزمون- پس آزمون با گروه گواه می باشد. جامعه آماری این تحقیق شامل کلیه دانش آموزان دختر پایه اول دوره دوم دبیرستان شهر ری در سال تحصیلی 93-1392 می باشد. حجم نمونه متشکل از 57 نفر دانش آموز دختر سال اول دوره...

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