نظریه محاسبه (۱۴۰۳-۱۴۰۴-۱)
منابع درس:
|
Computability theory |
Barry Cooper |
مرجع اصلی لینک دانلود |
|
Computability theory |
Herbert Enderton |
|
|
جزوه درس در یکی از ترمهای قبل |
سید محمد امین خاتمی |
مباحث درسی:
|
1 |
معرفی توابع بازگشتی اولیه و مثالهایی از آنها |
5 جلسه |
|
2 |
مجموعهها و روابط بازگشتی اولیه |
1 جلسه |
|
3 |
قاعده مینیمم سازی و توابع بازگشتی |
3 جلسه |
|
4 |
تابع آکرمن |
1 جلسه |
|
5 |
مجموعهها و روابط بازگشتی، تز چرچ |
3 جلسه |
|
6 |
ماشین URM |
4 جلسه |
|
7 |
ماشین تورینگ |
4 جلسه |
|
8 |
قطری سازی |
2 جلسه |
|
9 |
عددگذاری گودل و ناتمامیت |
4 جلسه |
ساعت کلاس:
میانترم:
پایانترم: یک نمونه سوال ترمهای قبل