دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Systems of Reductions
دانلود کتاب سیستم های کاهش
مشخصات کتاب
Systems of Reductions
ویرایش: 1 نویسندگان: Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter (auth.) سری: Lecture Notes in Computer Science 277 ISBN (شابک) : 3540185984, 9783540185987 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1987 تعداد صفحات: 274 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 56,000
کلمات کلیدی مربوط به کتاب سیستم های کاهش: تحلیل الگوریتم و پیچیدگی مسئله، هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان‌های رسمی، منطق و مبانی ریاضی، جبر
در صورت تبدیل فایل کتاب Systems of Reductions به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های کاهش نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های کاهش
این کتاب به مطالعه منطق معادله سازه ها با استفاده از سیستم های کاهش می پردازد. فرآیند تکمیل یک سیستم و همچنین ویژگی های سیستم های کامل متناهی و نامتناهی مورد مطالعه قرار می گیرد. یک مثال خاص که به طور سیستماتیک مورد بررسی قرار می گیرد، مورد گروه هایی است که امکان تفسیر رفتار الگوریتم ها را به صورت جبری می دهد.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
General concepts from universal algebra....Pages 1-25
Finite sets of reductions....Pages 26-115
Infinite sets of reductions....Pages 116-169
Automata and reductions....Pages 170-217
Deciding algebraic properties of finitely presented monoids....Pages 218-255
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Location Based Services and TeleCartography II: From Sensor Fusion to Context Models
دانلود کتاب Colorectal Cancer: From Pathogenesis to Prevention?
دانلود کتاب The Fairly Odd Parents! - Up All Night
دانلود کتاب The Radical Left and Social Transformation: Strategies of Augmentation and Reorganization
