دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A=B
دانلود کتاب A = B
مشخصات کتاب
A=B
دسته بندی: کامپیوتر ویرایش: نویسندگان: Petkovsek M., et al. سری: ناشر: سال نشر: 1996 تعداد صفحات: 212 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 43,000
در صورت تبدیل فایل کتاب A=B به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب A = B نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب A = B
در حوزه هویت‌های ترکیبی، رایانه‌ها می‌توانند بدون دخالت انسان، شواهد بسیار ظریفی از قضایای دشوار بیابند. این استقلال به این معنی است که نه تنها می توان از رایانه شخصی برای یافتن چنین اثباتی استفاده کرد، بلکه می توان آن را نیز به راحتی بررسی کرد. این کتاب نشان می‌دهد که چگونه چندین الگوریتم کامپیوتری اخیراً توسعه‌یافته می‌توانند بر کار دشوار ساده‌سازی جمع‌های پیچیده مسلط شوند و اگر چنین ساده‌سازی وجود نداشته باشد، این موضوع را ثابت می‌کنند. نویسندگان نظریه ریاضی زیربنایی این روش‌ها، قضایای اصلی و برهان‌ها را ارائه می‌کنند و شامل بسته‌ای از برنامه‌های رایانه‌ای هستند که می‌توانند این کارها را انجام دهند.
توضیحاتی درمورد کتاب به خارجی
In the area of combinatorial identities computers are able to find very elegant proofs of difficult theorems unassisted by human intervention. This autonomy means that not only is it possible to use a PC to find such a proof, but also the proof can be checked easily. This book shows how several recently developed computer algorithms can master the difficult job of simplifying complex summations and if there is no such simplification they will prove this to be the case. The authors present the underlying mathematical theory of these methods, the principle theorems and proofs, and include a package of computer programs that can do these tasks.
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Yosemite: A Take Control Crash Course
دانلود کتاب Computational Science and Its Applications – ICCSA 2009: International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II
دانلود کتاب Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics: International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings
دانلود کتاب Getting Started with LLVM Core Libraries: Get to grips with LLVM essentials and use the core libraries to build advanced tools
دانلود کتاب Computing Risk for Oil Prospects:Principles and Programs
دانلود کتاب Computer Performance Engineering: 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
دانلود کتاب Security Technology: International Conference, SecTech 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
دانلود کتاب Technologies for E-Services: 4th International Workshop, TES 2003, Berlin, Germany, September 7-8, 2003. Proceedings
دانلود کتاب Intelligence in Communication Systems: IFIP International Conference, INTELLCOMM 2004, Bangkok, Thailand, November 23-26, 2004. Proceedings
