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