فرمت فایل : power point (لینک دانلود پایین صفحه) تعداد اسلایدها ۲۵ اسلاید
بخشی از اسلایدها:
مقدمه
تئوری پیچیدگی
- ایجاد زیربنای ریاضیاتی لازم برای محاسبات کارآ
تئوری اثبات
- معرفی سیستم‌های اثبات گوناگون
- فرمالیزه نمودن یک منطق
- بررسی توانایی‌ها و محدودیت‌ها
- قابلیت بیان یک قضیه
- قابلیت اثبات یک قضیه
پیچیدگی اثبات
- حاصل مواجهه تئوری پیچیدگی و تئوری اثبات
- بررسی سیستم‌های اثبات گوناگون
- تعیین حد بالا و پایین برای کوچک‌ترین اثبات‌ها
- تعریف منطق‌هایی برای مشخص‌ساختن کلاس‌های پیچیدگی
- نمونه‌هایی از منطق‌های کلاسیک مانند و PV
- نمونه‌ای از منطق‌های شهودگرا مانند IPV
پاورپوینت درباره تئوری ساختی با قابلیت تعیین پیچیدگی محاسباتی
