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

سیستم های کاهش

Systems of Reductions

دانلود کتاب Systems of Reductions (به فارسی: سیستم های کاهش) نوشته شده توسط «Benjamin Benninghofen – Susanne Kemmerich – Michael M. Richter (auth.)»

اطلاعات کتاب سیستم های کاهش

موضوع اصلی: 1

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

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Benjamin Benninghofen – Susanne Kemmerich – Michael M. Richter (auth.)

زبان: English

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

سال انتشار: 1987

تعداد صفحه: 272

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

کد کتاب: 9783540185987 , 3540185984

نوبت چاپ: 1

توضیحات کتاب سیستم های کاهش

این کتاب به مطالعه منطق معادله سازه ها با استفاده از سیستم های کاهش می پردازد. فرآیند تکمیل یک سیستم و همچنین ویژگی های سیستم های کامل متناهی و نامتناهی مورد مطالعه قرار می گیرد. یک مثال خاص که به طور سیستماتیک مورد بررسی قرار می گیرد، مورد گروه هایی است که امکان تفسیر رفتار الگوریتم ها را به صورت جبری می دهد.

The book studies equational logic of structures using systems of reductions. The process of completing a system is studied as well as properties of finite and infinite complete systems. A special example treated systematically is the case of groups which allow to interpret the behaviour of algorithms algebraically.

دانلود کتاب «سیستم های کاهش»

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

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

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