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

جبر الگوریتمی

Algorithmic algebra

دانلود کتاب Algorithmic algebra (به فارسی: جبر الگوریتمی) نوشته شده توسط «Bhubaneswar Mishra»


اطلاعات کتاب جبر الگوریتمی

موضوع اصلی: جبر

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

ناشر: Springer-Verlag

نویسنده: Bhubaneswar Mishra

زبان: English

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

سال انتشار: 1993

تعداد صفحه: 216

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

کد کتاب: 0387940901 , 9780387940908 , 3540940901

نوبت چاپ: 1

توضیحات کتاب جبر الگوریتمی

جبر الگوریتمی برخی از ابزارهای الگوریتمی اصلی جبر رایانه را مورد مطالعه قرار می دهد و موضوعاتی مانند مبانی گروبنر، مجموعه های مشخصه، نتیجه ها و مجموعه های نیمه جبری را پوشش می دهد. هدف اصلی این کتاب آشنایی دانشجویان پیشرفته در مقطع کارشناسی و کارشناسی ارشد در علوم کامپیوتر، مهندسی و ریاضیات با ایده های الگوریتمی در جبر رایانه است تا بتوانند در جبر محاسباتی تحقیق کنند یا الگوریتم های زیربنای بسیاری از سیستم های محاسباتی نمادین محبوب را درک کنند: Mathematica، به عنوان مثال، Maple یا Axiom. همچنین، محققان در رباتیک، مدل سازی جامد، هندسه محاسباتی و جامعه اثبات قضیه خودکار ممکن است آن را مفید بدانند زیرا تکنیک های جبری نمادین شروع به ایفای نقش مهمی در این زمینه ها کرده اند. این کتاب در عین خودکفا بودن، در سطحی پیشرفته نوشته شده و در عمق مناسب به موضوع پرداخته است. این کتاب برای دانشجویان علوم کامپیوتر بدون آموزش قبلی جبری قابل دسترسی است. از سوی دیگر، ممکن است برای برخی از خوانندگان ریاضی جالب باشد که ببینند چگونه از ساختارهای الگوریتمی برای ارائه براهین تازه برای برخی قضایای کلاسیک استفاده شده است. این کتاب همچنین شامل تعداد زیادی تمرین با راه حل برای تمرینات انتخاب شده است، بنابراین آن را به عنوان یک کتاب درسی یا برای خودآموزی ایده آل می کند.


Algorithmic Algebra studies some of the main algorithmic tools of computer algebra, covering such topics as Gröbner bases, characteristic sets, resultants and semialgebraic sets. The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science, engineering and mathematics with the algorithmic ideas in computer algebra so that they could do research in computational algebra or understand the algorithms underlying many popular symbolic computational systems: Mathematica, Maple or Axiom, for instance. Also, researchers in robotics, solid modeling, computational geometry and automated theorem proving community may find it useful as symbolic algebraic techniques have begun to play an important role in these areas. The book, while being self-contained, is written at an advanced level and deals with the subject at an appropriate depth. The book is accessible to computer science students with no previous algebraic training. Some mathematical readers, on the other hand, may find it interesting to see how algorithmic constructions have been used to provide fresh proofs for some classical theorems. The book also contains a large number of exercises with solutions to selected exercises, thus making it ideal as a textbook or for self-study.

دانلود کتاب «جبر الگوریتمی»

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