دانلود کتاب 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
توضیحات کتاب محاسبات و منطق
محاسبات و منطق به دلیل دسترسی به دانش‌آموزان بدون پیش‌زمینه ریاضی و به دلیل اینکه نه صرفاً موضوعات اصلی یک درس منطق متوسط، مانند قضایای ناتمام بودن گودل را پوشش می‌دهد، بلکه تعداد زیادی از مباحث اختیاری را نیز از نظریه تورینگ در بر می‌گیرد، به یک کلاسیک تبدیل شده است. محاسبه‌پذیری به قضیه رمزی. شامل مجموعه‌ای از تمرین‌ها، تنظیم‌شده برای این نسخه، در پایان هر فصل، روشی جدید و ساده‌تر از بازنمایی‌پذیری توابع بازگشتی ارائه می‌کند، که یک مانع سنتی برای دانش‌آموزان در راه رسیدن به قضایای ناتمامی گودل است.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.