دانلود کتاب Computability and Logic (به فارسی: محاسبات و منطق) نوشته شده توسط «Jeffrey R. C. – Burgess J.»
اطلاعات کتاب محاسبات و منطق
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
نویسنده: Jeffrey R. C. – Burgess J.
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2002
تعداد صفحه: 370
حجم کتاب: 18 مگابایت
کد کتاب: 978-0-511-07806-4 , 0-511-07806-4 , 978-0-521-80975-7 , 0-521-80975-4 , 978-0-521-00758-0 , 0-521-00758-5
نوبت چاپ: 4th Edition
توضیحات کتاب محاسبات و منطق
محاسبات و منطق به دلیل دسترسی به دانشآموزان بدون پیشزمینه ریاضی و به دلیل اینکه نه صرفاً موضوعات اصلی یک درس منطق متوسط، مانند قضایای ناتمام بودن گودل را پوشش میدهد، بلکه تعداد زیادی از مباحث اختیاری را نیز از نظریه تورینگ در بر میگیرد، به یک کلاسیک تبدیل شده است. محاسبهپذیری به قضیه رمزی. شامل مجموعهای از تمرینها، تنظیمشده برای این نسخه، در پایان هر فصل، روشی جدید و سادهتر از بازنماییپذیری توابع بازگشتی ارائه میکند، که یک مانع سنتی برای دانشآموزان در راه رسیدن به قضایای ناتمامی گودل است.
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.