دانلود کتاب Computability and Logic (به فارسی: محاسبات و منطق) نوشته شده توسط «George S. Boolos»
اطلاعات کتاب محاسبات و منطق
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Cambridge University Press
نویسنده: George S. Boolos
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2002
تعداد صفحه: 370
حجم کتاب: 18 مگابایت
کد کتاب: 0782128742
نوبت چاپ: 4
توضیحات کتاب محاسبات و منطق
اکنون در ویرایش چهارم، این کتاب به دلیل دسترسی به دانشآموزان بدون پیشزمینه ریاضی، و به دلیل اینکه نه تنها موضوعات اصلی یک درس منطق متوسط مانند قضایای ناتمام بودن گودل را پوشش میدهد، به یک کتاب کلاسیک تبدیل شده است، بلکه تعداد زیادی از موارد اختیاری را نیز در بر میگیرد. موضوعاتی از نظریه محاسباتی تورینگ تا قضیه رمزی. جان برگس با افزودن مجموعه ای از مسائل در پایان هر فصل کتاب را بهبود بخشیده است.
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.