کامپیوترها

بازنویسی اصطلاح و همه اینها

Term rewriting and all that

دانلود کتاب Term rewriting and all that (به فارسی: بازنویسی اصطلاح و همه اینها) نوشته شده توسط «Franz Baader – Tobias Nipkow»

اطلاعات کتاب بازنویسی اصطلاح و همه اینها

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

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

ناشر: Cambridge University Press

نویسنده: Franz Baader – Tobias Nipkow

زبان: English

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

سال انتشار: 1998

تعداد صفحه: 315

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

کد کتاب: 0521455200 , 9780521455206

توضیحات کتاب بازنویسی اصطلاح و همه اینها

این کتاب درسی مقدمه ای یکپارچه و مستقل در زمینه بازنویسی اصطلاحات ارائه می دهد. Baader و Nipkow همه مواد اولیه – سیستم‌های کاهش انتزاعی، خاتمه، تلاقی، تکمیل، و مسائل ترکیبی – اما برخی موضوعات مهم و نزدیک به هم را پوشش می‌دهند: جبر جهانی، نظریه وحدت، مبانی گروبنر، و الگوریتم بوخبرگر. آنها الگوریتم های اصلی را هم به صورت غیررسمی و هم به عنوان برنامه در زبان کاربردی استاندارد ML ارائه می کنند (پیوست حاوی یک مقدمه سریع و آسان برای ML است). فصل‌های کلیدی الگوریتم‌های حیاتی مانند یکپارچه‌سازی و بسته شدن همخوانی را با عمق بیشتری پوشش می‌دهند و برنامه‌های پاسکال کارآمد را توسعه می‌دهند. این کتاب شامل مثال های فراوان و بیش از 170 تمرین است. این همچنین یک کتاب مرجع ایده‌آل برای محققان حرفه‌ای است: نتایج منتشر شده در بسیاری از مقالات کنفرانس‌ها و مجلات در اینجا با یک نماد یکپارچه جمع‌آوری می‌شوند، اثبات‌های دقیق تقریباً همه قضایا ارائه شده‌اند، و هر فصل با راهنمای ادبیات بسته می‌شود.

This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic material–abstract reduction systems, termination, confluence, completion, and combination problems–but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases, and Buchberger’s algorithm. They present the main algorithms both informally and as programs in the functional language Standard ML (An appendix contains a quick and easy introduction to ML). Key chapters cover crucial algorithms such as unification and congruence closure in more depth and develop efficient Pascal programs. The book contains many examples and over 170 exercises. This is also an ideal reference book for professional researchers: results spread over many conference and journal articles are collected here in a unified notation, detailed proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.

دانلود کتاب «بازنویسی اصطلاح و همه اینها»

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

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

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

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

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