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