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

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

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

رآکتورهای آب تحت فشار ( PWR ) اکنون 64% قدرت کل رآکتورهای مختلف را در نیروگاه های هسته ای جهان تشکیل می دهند. پیش بینی برای چند سال آتیه نشان می دهد که این سهم رو به افزایش است ؛ بدین ترتیب که این راکتور که ابتدا در دهه 50 به عنوان منبع نیرو در زیر دریائی به کار گرفته شد. پس از 40 سال توسعه ، به یک ابزار مهم برای تأمین بخشی از انرژِی برق کشورهای جهان تبدیل شده است. بعضی از این کشورها 75% ( فرانسه ) از انرژی برق مورد نیاز خود را به وسیله این نوع رآکتور تأمین می کنند: سازمان انرژِی اتمی ایران ، از ابتدا برنامه انرژِی هسته ای کشور را بر پایه استفاده از رآکتورهای آب تحت فشار قرار دارد. در طرح تکمیل نیروگاه هسته ای بوشهر نیز این نوع رآکتور مورد بهره برداری قرار خواهد گرفت. 
 

با ۴ نوع تابع در C آشنا می‌شیم که هرکدوم روش متفاوتی برای گرفتن ورودی، بازگشت مقدار و بررسی عدد اول دارن. همه با مثال توضیح داده شده ✅