کتاب الکترونیکی

محاسبات و منطق

Computability and logic

دانلود کتاب 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

توضیحات کتاب محاسبات و منطق

اکنون در ویرایش چهارم، این کتاب به دلیل دسترسی به دانش‌آموزان بدون پیش‌زمینه ریاضی، و به دلیل اینکه نه تنها مباحث اصلی یک درس منطق متوسط ​​مانند قضایای ناتمام بودن گودل را پوشش می‌دهد، به کتابی کلاسیک تبدیل شده است، بلکه تعداد زیادی از موارد اختیاری را نیز در بر می‌گیرد. موضوعاتی از نظریه محاسباتی تورینگ تا قضیه رمزی. جان برگس با افزودن مجموعه ای از مسائل در پایان هر فصل کتاب را بهبود بخشیده است.


Now in its fourth edition, this book has become a classic because of its accessibility to students without a mathematical background, and because it covers not only the staple topics of an intermediate logic course such as Godel’s Incompleteness Theorems, but also a large number of optional topics from Turing’s theory of computability to Ramsey’s theorem. John Burgess has enhanced the book by adding a selection of problems at the end of each chapter.

دانلود کتاب «محاسبات و منطق»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.