نام فایل : تئوری ساختی با قابليت تعيين پيچيدگی محاسباتی

فرمت : .ppt

تعداد صفحه/اسلاید : 25

حجم : 0 مگابایت

تئوری ساختی با قابليت تعيين پيچيدگی محاسباتی

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