دانلود کتاب Computability and Logic (به فارسی: محاسبات و منطق) نوشته شده توسط «George S. Boolos – John P. Burgess – Richard C. Jeffrey»
اطلاعات کتاب محاسبات و منطق
نوع: کتاب الکترونیکی
ناشر: Cambridge University Press
نویسنده: George S. Boolos – John P. Burgess – Richard C. Jeffrey
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 366
حجم فایل: 2.23 مگابایت
کد کتاب: 0521877520 , 9780521877527
نوبت چاپ: 5th ed
توضیحات کتاب محاسبات و منطق
محاسبات و منطق به دلیل دسترسی به دانشآموزان بدون پیشزمینه ریاضی و به دلیل اینکه نه صرفاً موضوعات اصلی یک درس منطق متوسط، مانند قضایای ناتمام بودن گودل را پوشش میدهد، بلکه تعداد زیادی از مباحث اختیاری را نیز از نظریه تورینگ در بر میگیرد، به یک کلاسیک تبدیل شده است. محاسبهپذیری به قضیه رمزی. شامل مجموعهای از تمرینها، تنظیمشده برای این نسخه، در پایان هر فصل، روشی جدید و سادهتر از بازنماییپذیری توابع بازگشتی ارائه میکند، که یک مانع سنتی برای دانشآموزان در راه رسیدن به قضایای ناتمامی گودل است.
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.