دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 مگابایت
قیمت کتاب (تومان) : 37,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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Prospect Research for Fundraisers: The Essential Handbook
دانلود کتاب Integrated Studies of Social and Natural Environmental Transition in Laos
دانلود کتاب OECD Economic Surveys : Switzerland 1991.
دانلود کتاب La no-violència en la pau i en la guerra. Volum 1
