کامپیوترها

A=B

A=B

دانلود کتاب A=B (به فارسی: A=B) نوشته شده توسط «Petkovsek M. – et al.»

اطلاعات کتاب A=B

موضوع اصلی: کامپیوترها

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

نویسنده: Petkovsek M. – et al.

زبان: English

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

سال انتشار: 1996

تعداد صفحه: 212

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

توضیحات کتاب 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.

دانلود کتاب «A=B»

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