دانلود کتاب Deduction, Computation, Experiment: Exploring the Effectiveness of Proof
49,000 تومان
کسر، محاسبه، آزمایش: بررسی اثربخشی اثبات
| موضوع اصلی | ریاضیات محاسباتی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 285 |
| حجم فایل | 1 مگابایت |
| کد کتاب | 8847007836,9788847007833 |
| نوبت چاپ | 1 |
| نویسنده | Giovanna Corsi, Rossella Lupacchini |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2008 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
کسر، محاسبه، آزمایش: بررسی اثربخشی اثبات
اثبات برای چیست؟ ویژگی استفاده از اثبات به عنوان یک محاسبات، در مقابل استفاده از آن به عنوان یک آزمایش چیست؟ رابطه بین رویه های ریاضی و فرآیندهای طبیعی چیست؟ مقالات گردآوری شده در این مجلد از دیدگاه های مختلف به چنین پرسش هایی می پردازد و دانشجویان و دانش پژوهان را در چندین شاخه از دانش علمی مورد توجه قرار می دهد. برخی از مقالات به اسکلت منطقی استنتاج می پردازند، برخی دیگر به بررسی تأثیر متقابل بین سیستم های طبیعی و مدل های محاسباتی می پردازند، اما برخی دیگر از نتایج قابل توجهی از علوم طبیعی برای نشان دادن ویژگی رویه ها در ریاضیات کاربردی استفاده می کنند. این جلد با تمرکز بر موضوعات مفهومی و منطقی مرتبطی که در جستجوی کلی برای اثبات است، به دنبال روشن کردن آنچه اثربخشی اثبات بر آن است، است.
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? What is the relationship between mathematical procedures and natural processes? The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge. Some essays deal with the logical skeleton of deduction, others examine the interplay between natural systems and models of computation, yet others use significant results from the natural sciences to illustrate the character of procedures in applied mathematics. Focusing on relevant conceptual and logical issues underlying the overall quest for proving, the volume seeks to cast light on what the effectiveness of proof rests on.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.