برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Numerical toolbox for verified computing 1

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

مشخصات کتاب

Numerical toolbox for verified computing 1

دسته بندی: ریاضیات محاسباتی
ویرایش:  
نویسندگان: R. Hammer,  M. Hocks,  U. Kulisch,  D. Ratz  
سری: Springer Series in Computational Mathematics 
ISBN (شابک) : 0387571183, 9780387571188 
ناشر: Springer 
سال نشر: 1993 
تعداد صفحات: 356 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

قیمت کتاب (تومان) : 43,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 11

در صورت تبدیل فایل کتاب Numerical toolbox for verified computing 1 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب جعبه ابزار عددی برای محاسبات تأیید شده 1 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب جعبه ابزار عددی برای محاسبات تأیید شده 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.