دانلود کتاب Numerical toolbox for verified computing 1
49,000 تومان
جعبه ابزار عددی برای محاسبات تایید شده 1
| موضوع اصلی | ریاضیات محاسباتی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 356 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 0387571183,9780387571188 |
| نویسنده | D. Ratz, M. Hocks, R. Hammer, U. Kulisch |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1993 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
جعبه ابزار عددی برای محاسبات تایید شده 1
جعبه ابزار عددی برای محاسبات تایید شده مجموعه گسترده ای از ابزارهای پیچیده را برای حل مسائل عددی اساسی با تأیید نتایج با استفاده از ویژگی های زبان کامپیوتر علمی PASCAL-XSC ارائه می دهد. نگرانی اصلی این کتاب قابلیت اطمینان است – تأیید خودکار نتیجه ای که رایانه برای یک مشکل معین برمی گرداند. این کتاب اولین کتابی است که یک بحث کلی در مورد قابلیت اطمینان حسابی و محاسباتی، ریاضیات تحلیلی و تکنیکهای تأیید، الگوریتمها و (مهمتر از همه) پیادهسازیهای واقعی در قالب روالهای کامپیوتری کار ارائه میدهد. در هر فصل، مثالها، تمرینها و نتایج عددی کاربرد روتینهای ارائهشده را نشان میدهند. این کتاب بسیاری از تکنیک های تأیید محاسباتی را معرفی می کند. فرض بر این نیست که خواننده اطلاعات رسمی قبلی در مورد تأیید عددی یا آشنایی با تجزیه و تحلیل فاصله داشته باشد. مفاهیم لازم معرفی شده است. برخی از موضوعاتی که کتاب به تفصیل آنها را پوشش می دهد معمولاً در متون تحلیل عددی استاندارد یافت نمی شود. این کتاب در درجه اول به عنوان یک متن مرجع برای هر کسی که مایل به اعمال، تغییر، یا توسعه روال ها برای به دست آوردن نتایج ریاضی مطمئن و قابل اعتماد است، در نظر گرفته شده است. همچنین می تواند به عنوان یک کتاب درسی برای یک دوره پیشرفته در محاسبات علمی با تأیید خودکار نتایج استفاده شود.
Numerical toolbox for verified computing 1
Numerical Toolbox for Verified Computing presents an extensive set of sophisticated tools to solve basic numerical problems with a verification of the results using the features of the scientific computer language PASCAL-XSC. The overriding concern of this book is reliability – the automatic verification of the result a computer returns for a given problem. This book is the first to offer a general discussion on arithmetic and computational reliability, analytical mathematics and verification techniques, algorithms, and (most importantly) actual implementations in the form of working computer routines. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts. This book is intended primarily as a reference text for anyone wishing to apply, modify, or develop routines to obtain mathematically certain and reliable results. It can also be used as a textbook for an advanced course in scientific computation with automatic result verification.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.