دانلود کتاب Computability and Logic
49,000 تومان
محاسبات و منطق
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Cambridge University Press |
| تعداد صفحه | 370 |
| حجم فایل | 17 مگابایت |
| کد کتاب | 0782128742 |
| نوبت چاپ | 4 |
| نویسنده | George S. Boolos |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2002 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
محاسبات و منطق
اکنون در ویرایش چهارم، این کتاب به دلیل دسترسی به دانشآموزان بدون پیشزمینه ریاضی، و به دلیل اینکه نه تنها موضوعات اصلی یک درس منطق متوسط مانند قضایای ناتمام بودن گودل را پوشش میدهد، به یک کتاب کلاسیک تبدیل شده است، بلکه تعداد زیادی از موارد اختیاری را نیز در بر میگیرد. موضوعاتی از نظریه محاسباتی تورینگ تا قضیه رمزی. جان برگس با افزودن مجموعه ای از مسائل در پایان هر فصل کتاب را بهبود بخشیده است.
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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.