دانلود کتاب The Seventeen Provers of the World: Foreword by Dana S. Scott
49,000 تومان
The Seventeen Provers of the World: پیش گفتار توسط دانا اس. اسکات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 162 |
| حجم فایل | 1 مگابایت |
| کد کتاب | 3540307044,9783540307044 |
| نوبت چاپ | 1 |
| نویسنده | Freek Wiedijk (auth.), Freek Wiedijk (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2006 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
The Seventeen Provers of the World: پیش گفتار توسط دانا اس. اسکات
به مناسبت پنجاهمین سالگرد اولین باری که یک قضیه ریاضی توسط یک سیستم کامپیوتری اثبات شد، Freek Wiedijk کتاب حاضر را در سال 2004 با دعوت به رسمیتسازی اثبات غیرمنطقی بودن جذر دو توسط دانشمندان آغاز کرد. سیستم های مختلف اثبات قضیه
17 سیستم موجود در این جلد از مرتبط ترین سیستم ها برای رسمی سازی ریاضیات هستند. سیستم ها با ارائه اثبات رسمی و شرحی در قالب پاسخ به یک پرسشنامه استاندارد به نمایش گذاشته می شوند. 17 سیستم ارائه شده عبارتند از HOL، Mizar، PVS، Coq، Otter/Ivy، Isabelle/Isar، Alfa/Agda، ACL2، PhoX، IMPS، Metamath، Theorema، Leog، Nuprl، Omega، روش B، و Minlog.
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems.
The 17 systems included in this volume are among the most relevant ones for the formalization of mathematics. The systems are showcased by presentation of the formalized proof and a description in the form of answers to a standard questionnaire. The 17 systems presented are HOL, Mizar, PVS, Coq, Otter/Ivy, Isabelle/Isar, Alfa/Agda, ACL2, PhoX, IMPS, Metamath, Theorema, Leog, Nuprl, Omega, B method, and Minlog.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Financial Cryptography and Data Security: FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer International Publishing |
| تعداد صفحه | 646 |
| حجم فایل | 20.18 مگابایت |
| کد کتاب | 3319702785 , 9783319702780 |
| نوبت چاپ | 1 |
دانلود کتاب Financial Cryptography and Data Security: FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers
| موضوع اصلی | کامپیوتر - تجارت و فرهنگ کامپیوتر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer Berlin Heidelberg |
| تعداد صفحه | 393 |
| حجم فایل | 18.40 مگابایت |
| کد کتاب | 366258820X , 9783662588208 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.