دانلود کتاب 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 (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2002
تعداد صفحه: 370
حجم کتاب: 2 مگابایت
کد کتاب: 9780521007580 , 0521007585 , 0521809754
نوبت چاپ: 4th ed
توضیحات کتاب محاسبات و منطق
اکنون در ویرایش چهارم، این کتاب به دلیل دسترسی به دانش‌آموزان بدون پیش‌زمینه ریاضی، و به دلیل اینکه نه تنها مباحث اصلی یک درس منطق متوسط مانند قضایای ناتمام بودن گودل را پوشش می‌دهد، به کتابی کلاسیک تبدیل شده است، بلکه تعداد زیادی از موارد اختیاری را نیز در بر می‌گیرد. موضوعاتی از نظریه محاسباتی تورینگ تا قضیه رمزی. جان برگس با افزودن مجموعه ای از مسائل در پایان هر فصل کتاب را بهبود بخشیده است.
