دانلود کتاب Computability and unsolvability (به فارسی: قابل محاسبه و حل نشدن) نوشته شده توسط «Martin Davis»
اطلاعات کتاب قابل محاسبه و حل نشدن
موضوع اصلی: ریاضیات محاسباتی
نوع: کتاب الکترونیکی
ناشر: Dover Publications
نویسنده: Martin Davis
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1985
تعداد صفحه: 235
حجم کتاب: 2 مگابایت
کد کتاب: 9780486614717 , 0486614719
نوبت چاپ: New edition
توضیحات کتاب قابل محاسبه و حل نشدن
متن کلاسیک نظریه عمومی محاسبات، توابع قابل محاسبه، عملیات روی توابع قابل محاسبه، ماشین های تورینگ خودکاربردی، مسائل تصمیم غیرقابل حل، کاربردهای نظریه عمومی، منطق ریاضی، سلسله مراتب کلین، توابع قابل محاسبه، طبقه بندی مسائل تصمیم غیرقابل حل و موارد دیگر را در نظر می گیرد.
Classic text considersgeneral theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.<br
دانلود کتاب «قابل محاسبه و حل نشدن»
