نظریه محاسبه (۱۴۰۵-۱۴۰۴-۱)

Computability theory

Barry Cooper

مرجع اصلی لینک دانلود

Computability theory

Herbert Enderton

لینک دانلود

جزوه درس در یکی از ترمهای قبل

سید محمد امین خاتمی

لینک دانلود

1

معرفی توابع بازگشتی اولیه و مثالهایی از آنها

5 جلسه

2

مجموعه‌ها و روابط بازگشتی اولیه

1 جلسه

3

قاعده جستجوی محدود

1 جلسه

4

تابع آکرمن

1 جلسه

5

جستجوی نامحدود ، توابع بازگشتی، تز چرچ

3 جلسه

6

ماشین URM

3 جلسه

7

ماشین تورینگ

3 جلسه

8

قطری سازی

2 جلسه

9

عددگذاری گودل و ناتمامیت

4 جلسه