دانلود کتاب Essays in Constructive Mathematics
49,000 تومان
انشا در ریاضیات سازنده
| موضوع اصلی | ریاضیات |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 227 |
| حجم فایل | 12 مگابایت |
| کد کتاب | 0387219781 |
| نوبت چاپ | 1 |
| نویسنده | Harold M. Edwards |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
انشا در ریاضیات سازنده
هدف این کتاب ترویج ریاضیات سازنده نه با تعریف یا رسمی کردن آن، بلکه با تمرین آن است. این بدان معناست که تعاریف و اثباتهای آن از الگوریتمهای متناهی استفاده میکنند، نه از «الگوریتمهایی» که نیازمند بررسی تعداد نامتناهی از احتمالات برای تعیین اینکه آیا یک شرط معین برآورده شده است. از معادلات جبری، نظریه گاوس در مورد اشکال درجه دوم باینری و قضیه آبل در مورد انتگرال دیفرانسیل های گویا در منحنی های جبری. تعجب آور نیست که بتوان با دو مبحث اول به صورت سازنده برخورد کرد – گرچه درمان های سازنده مقدار شگفت انگیزی بر آنها می تاباند – اما موضوع آخر که شامل انتگرال ها و دیفرانسیل ها می شود، ممکن است به نظر به فرآیندهای بی نهایت نیاز داشته باشد. با این حال، در این مورد نیز، الگوریتم های محدود برای تعریف جنس یک منحنی جبری، برای اثبات اینکه منحنی های معادل دوگانه دارای جنس یکسان هستند و برای اثبات قضیه ریمان-روخ کافی است. الگوریتم اصلی در این مورد چند ضلعی نیوتن است که درمان کاملی به آن داده شده است. موضوعات دیگری که تحت پوشش قرار می گیرند عبارتند از قضیه اساسی جبر، فاکتورسازی چندجمله ای ها در یک میدان اعداد جبری، و قضیه طیفی برای ماتریس های متقارن.
Essays in Constructive Mathematics
This book aims to promote constructive mathematics not by defining it or formalizing it but by practicing it. This means that its definitions and proofs use finite algorithms, not `algorithms’ that require surveying an infinite number of possibilities to determine whether a given condition is met.The topics covered derive from classic works of nineteenth century mathematics–among them Galois’ theory of algebraic equations, Gauss’s theory of binary quadratic forms and Abel’s theorem about integrals of rational differentials on algebraic curves. It is not surprising that the first two topics can be treated constructively–although the constructive treatments shed a surprising amount of light on them–but the last topic, involving integrals and differentials as it does, might seem to call for infinite processes. In this case too, however, finite algorithms suffice to define the genus of an algebraic curve, to prove that birationally equivalent curves have the same genus, and to prove the Riemann-Roch theorem. The main algorithm in this case is Newton’s polygon, which is given a full treatment. Other topics covered include the fundamental theorem of algebra, the factorization of polynomials over an algebraic number field, and the spectral theorem for symmetric matrices.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.