دانلود کتاب A=B
49,000 تومان
A=B
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| تعداد صفحه | 212 |
| حجم فایل | 2 مگابایت |
| نویسنده | et al., Petkovsek M. |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1996 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
A=B
در حوزه هویتهای ترکیبی، رایانهها میتوانند بدون دخالت انسان، شواهد بسیار ظریفی از قضایای دشوار بیابند. این استقلال به این معنی است که نه تنها می توان از رایانه شخصی برای یافتن چنین اثباتی استفاده کرد، بلکه می توان آن را نیز به راحتی بررسی کرد. این کتاب نشان میدهد که چگونه چندین الگوریتم کامپیوتری اخیراً توسعهیافته میتوانند بر کار دشوار سادهسازی جمعهای پیچیده مسلط شوند و اگر چنین سادهسازی وجود نداشته باشد، این موضوع را ثابت میکنند. نویسندگان نظریه ریاضی زیربنایی این روشها، قضایای اصلی و برهانها را ارائه میکنند و شامل بستهای از برنامههای رایانهای هستند که میتوانند این کارها را انجام دهند.
A=B
In the area of combinatorial identities computers are able to find very elegant proofs of difficult theorems unassisted by human intervention. This autonomy means that not only is it possible to use a PC to find such a proof, but also the proof can be checked easily. This book shows how several recently developed computer algorithms can master the difficult job of simplifying complex summations and if there is no such simplification they will prove this to be the case. The authors present the underlying mathematical theory of these methods, the principle theorems and proofs, and include a package of computer programs that can do these tasks.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.