دانلود کتاب Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving
49,000 تومان
مکانیزاسیون ریاضی: اثبات قضیه هندسه مکانیکی، حل مسئله هندسه مکانیکی و حل معادلات چند جمله ای
| موضوع اصلی | ریاضیات |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 427 |
| حجم فایل | 17 مگابایت |
| کد کتاب | 9780792358350,079235835X |
| نوبت چاپ | 1 |
| نویسنده | Wu Wen-Tsun |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 2000 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مکانیزاسیون ریاضی: اثبات قضیه هندسه مکانیکی، حل مسئله هندسه مکانیکی و حل معادلات چند جمله ای
مجموعه ای از مقالات با محوریت مکانیزاسیون ریاضی، با ریاضیات به شیوه ای الگوریتمی و سازنده، با هدف توسعه استدلال مکانیکی و خودکار. تحولات تاریخی، اصول اساسی، و کاربردها و مثالها را مورد بحث قرار میدهد.
Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving
A collection of essays centered around mathematical mechanization, dealing with mathematics in an algorithmic and constructive manner, with the aim of developing mechanical, automated reasoning. Discusses historical developments, underlying principles, and features applications and examples.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.