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