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

منابع درس:

مباحث درسی:

1	معرفی توابع بازگشتی اولیه و مثالهایی از آنها	5 جلسه
2	مجموعه‌ها و روابط بازگشتی اولیه	1 جلسه
3	قاعده جستجوی محدود	1 جلسه
4	تابع آکرمن	1 جلسه
5	جستجوی نامحدود ، توابع بازگشتی، تز چرچ	3 جلسه
6	ماشین URM	3 جلسه
7	ماشین تورینگ	3 جلسه
8	قطری سازی	2 جلسه
9	عددگذاری گودل و ناتمامیت	4 جلسه

ساعت کلاس:

دوشنبه 14 الی 16 کلاس 210، (هفته‌های زوج)

سه‌شنبه 12 الی 14 کلاس 210، هر هفته

سه‌شنبه 16 ال 18 کلاس 210، هفته‌های فرد، حل تمرین (آقای امیر حسین صابری)

میان‌ترم:

سه‌شنبه 14 آذر 1402 ساعت 12