کامپیوترها

محاسبه پذیری و حل نشدنی

Computability and Unsolvability

دانلود کتاب Computability and Unsolvability (به فارسی: محاسبه پذیری و حل نشدنی) نوشته شده توسط «Martin Davis»

اطلاعات کتاب محاسبه پذیری و حل نشدنی

موضوع اصلی: کامپیوترها

نوع: کتاب الکترونیکی

ناشر: Dover Publications

نویسنده: Martin Davis

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1985

تعداد صفحه: 235

حجم کتاب: 8 مگابایت

کد کتاب: 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.

دانلود کتاب «محاسبه پذیری و حل نشدنی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان