کتاب الکترونیکی

جعبه ابزار عددی برای محاسبات تایید شده 1

Numerical toolbox for verified computing 1

دانلود کتاب Numerical toolbox for verified computing 1 (به فارسی: جعبه ابزار عددی برای محاسبات تایید شده 1) نوشته شده توسط «R. Hammer – M. Hocks – U. Kulisch – D. Ratz»

اطلاعات کتاب جعبه ابزار عددی برای محاسبات تایید شده 1

موضوع اصلی: ریاضیات محاسباتی

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: R. Hammer – M. Hocks – U. Kulisch – D. Ratz

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1993

تعداد صفحه: 356

حجم کتاب: 6 مگابایت

کد کتاب: 0387571183 , 9780387571188

توضیحات کتاب جعبه ابزار عددی برای محاسبات تایید شده 1

جعبه ابزار عددی برای محاسبات تایید شده مجموعه گسترده ای از ابزارهای پیچیده را برای حل مسائل عددی اساسی با تأیید نتایج با استفاده از ویژگی های زبان کامپیوتر علمی PASCAL-XSC ارائه می دهد. نگرانی اصلی این کتاب قابلیت اطمینان است – تأیید خودکار نتیجه ای که رایانه برای یک مشکل معین برمی گرداند. این کتاب اولین کتابی است که یک بحث کلی در مورد قابلیت اطمینان حسابی و محاسباتی، ریاضیات تحلیلی و تکنیک‌های تأیید، الگوریتم‌ها و (مهمتر از همه) پیاده‌سازی‌های واقعی در قالب روال‌های کامپیوتری کار ارائه می‌دهد. در هر فصل، مثال‌ها، تمرین‌ها و نتایج عددی کاربرد روتین‌های ارائه‌شده را نشان می‌دهند. این کتاب بسیاری از تکنیک های تأیید محاسباتی را معرفی می کند. فرض بر این نیست که خواننده اطلاعات رسمی قبلی در مورد تأیید عددی یا آشنایی با تجزیه و تحلیل فاصله داشته باشد. مفاهیم لازم معرفی شده است. برخی از موضوعاتی که کتاب به تفصیل آنها را پوشش می دهد معمولاً در متون تحلیل عددی استاندارد یافت نمی شود. این کتاب در درجه اول به عنوان یک متن مرجع برای هر کسی که مایل به اعمال، تغییر، یا توسعه روال ها برای به دست آوردن نتایج ریاضی مطمئن و قابل اعتماد است، در نظر گرفته شده است. همچنین می تواند به عنوان یک کتاب درسی برای یک دوره پیشرفته در محاسبات علمی با تأیید خودکار نتایج استفاده شود.

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.

دانلود کتاب «جعبه ابزار عددی برای محاسبات تایید شده 1»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان