جزوه نظریه محاسبه
توضیحات:
جزوه درس نظریه محاسبه، بصورت دستنویس و کاملا مرتب، در قالب فایل pdf (اسکن رنگی) و در حجم 51 صفحه.
منابع :
1. Computability theory
Barry Copper
2. Herbort Enderthon
3. نظریه محاسبه سیسپر
4. نظریه زبان و ماشین پیتر لینز
مباحث درسی :
تابع های اولیه مقدماتی و اولیه محاسبه پذیر
تز چرچ
ماشین URM و ماشین تورینگ
اصول اعداد طبیعی و بیان قضیه ی نا تمامیت اول گودل