DJVU
دانلود کتاب The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions
49,000 تومان
غیر قابل تصمیم گیری: مقالات اساسی در مورد گزاره های غیرقابل تصمیم، مسائل غیرقابل حل و توابع قابل محاسبه
| موضوع اصلی | ریاضیات |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Dover Publications |
| تعداد صفحه | 444 |
| حجم فایل | 4.32 مگابایت |
| کد کتاب | 0486432289 , 9780486432281 |
| نوبت چاپ | دوور اد |
| نویسنده | Martin Davis |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 2004 |
مطلب پیشنهادی: با پول کتاب در ایران چی میشه خرید؟
در صورت نیاز به تبدیل فایل به فرمتهای PDF، EPUB، AZW3، MOBI و یا DJVU میتوانید به پشتیبان اطلاع دهید تا در صورت امکان، فایل مورد نظر را تبدیل نمایند.
سایت بَلیان دارای تخفیف پلکانی است، یعنی با افزودن کتاب بیشتر به سبدخرید، قیمت آن برای شما کاهش مییابد. جهت مشاهده درصد تخفیفها بر روی «جدول تخفیف پلکانی» در پایین کلیک نمایید.
جهت یافتن سایر کتابهای مشابه، از منو جستجو در بالای سایت استفاده نمایید.
شما میتوانید با هر 1000 تومان خرید، ۱ شانس شرکت در قرعهکشی کتابخانه دیجیتال بلیان دریافت کنید و شانس خود را برای برنده شدن جوایز هیجان انگیز امتحان کنید. «شرایط شرکت در قرعهکشی»
جدول کد تخفیف
با افزودن چه تعداد کتاب به سبدخرید، چند درصد تخفیف شامل آن خواهد شد؟ در این جدول پاسخ این سوال را خواهید یافت.
برای مثال: اگر بین ۳ الی ۵ کتاب را در سبد خرید خود قرار دهید، ۲۵ درصد تخفیف شامل سبدخرید شما خواهد شد.
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
توضیحات
An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Gödel’s landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Gödel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition.
ترجمه فارسی (ترجمه ماشینی)
این مرجع کلاسیک که مجموعه ای از مقالات بنیادی در مورد تصمیم ناپذیری و حل نشدنی است، با مقاله برجسته گودل در سال 1931 آغاز می شود که نشان می دهد سیستم های منطق نمی توانند اثبات همه ادعاهای درست حسابی را بپذیرند. مقالات بعدی توسط گودل، چرچ، تورینگ و پست، کلاس توابع بازگشتی را بهعنوان قابل محاسبه با الگوریتمهای محدود مشخص میکنند. نسخه 1965.
نظرات (0)
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.