دانلود کتاب Computation Theory and Logic
49,000 تومان
تئوری محاسبات و منطق
| موضوع اصلی | ریاضیات محاسباتی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 442 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540181709,9783540181705 |
| نوبت چاپ | 1 |
| نویسنده | Egon Börger (eds.), Klaus Ambos-Spies (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1987 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تئوری محاسبات و منطق
این جلد شامل 37 مقاله پژوهشی دعوت شده است که به یاد دیتر رودینگ جمع آوری شده است، که به دلیل کارش در طبقه بندی توابع بازگشتی، در مورد کلاس های کاهش، در مورد مسئله طیف و در مورد پیچیدگی کمیت کننده های اصلی در منطق محمول و در سلسله مراتب حسابی او یکی از اولین کسانی بود که تعامل منطق و علوم کامپیوتر را دنبال کرد. این حجم منعکس کننده طیف گسترده ای از علایق علمی دیتر رودینگ است.
Computation Theory and Logic
This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rödding’s scientific interests.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.