دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب String-Rewriting Systems
دانلود کتاب سیستمهای بازنویسی رشته
مشخصات کتاب
String-Rewriting Systems
ویرایش: 1; online version 2011 نویسندگان: Ronald V. Book, Friedrich Otto سری: Texts and Monographs in Computer Science ISBN (شابک) : 9781461397731 ناشر: Springer سال نشر: 1993 تعداد صفحات: 198 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 36 مگابایت
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب String-Rewriting Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستمهای بازنویسی رشته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستمهای بازنویسی رشته
موضوع این کتاب سیستم های بازنویسی رشته ای است. به طور کلی پذیرفته شده است که بازنویسی رشته برای اولین بار توسط Axel Thue در اوایل این قرن معرفی شد. در دهه 1960 و اوایل دهه 1970، به دلیل علاقه به نظریه زبان رسمی، مورد توجه مجدد قرار گرفت. در دهه‌های 1980 و 1990، توجه بیشتری به آن جلب شد زیرا می‌توان آن را به عنوان یک مورد خاص از بازنویسی اصطلاح در نظر گرفت، موضوعی که در مطالعه کسر خودکار اهمیت یافته است. امروزه بازنویسی رشته توسط محققان علوم کامپیوتر نظری و همچنین توسط محققان علاقه مند به مبانی هوش مصنوعی مورد مطالعه قرار می گیرد. طرحی از روشی که موضوع توسعه داده است در فصل 0 آمده است و به خواننده توصیه می شود که با آن فصل شروع کند. هر دو نویسنده در این زمینه فعال بوده اند و در چندین دانشگاه در این زمینه سخنرانی کرده اند. یادداشت های سخنرانی تولید و توزیع شده است. این تک نگاری حاصل بازنگری و بازنویسی آن یادداشت هاست. این نشان‌دهنده تلاش نویسندگان برای ارائه مفاهیمی است که نویسندگان آنها را اساسی‌ترین می‌دانند و مفیدترین نتایج را به گونه‌ای گرد هم می‌آورند که بتوان آنها را درک کرد و در مطالعات مربوط به بازنویسی عمومی‌تر، به استنتاج خودکار، استفاده کرد. و الگوریتم مسائل ریتمیک ساختارهای جبری. این تک نگاری برای مطالعه مستقل توسط محققان در علم کامپیوتر نظری یا در مبانی هوش مصنوعی نوشته شده است.
توضیحاتی درمورد کتاب به خارجی
The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early part of this century. In the 1960's and early 1970's, it received renewed attention due to interest in formal language theory. In the 1980's and 1990's, it has received more interest since it can be viewed as a special case of term rewriting, a subject that has become important in the study of automated deduction. Today, string-rewriting is studied by researchers in theoretical computer science and also by researchers interested in the foundations of artificial intelligence. A sketch of the way that the subject has developed is contained in Chapter 0, and the reader is advised to begin with that chapter. Both authors have been active in the field and have lectured on the subject in several universities. Lecture notes have been produced and dis tributed. This monograph is a result of revising and rewriting those notes. It represents an attempt by the authors to present the concepts that the authors consider to be most fundamental and to gather together the most useful results in such a way that they can be understood and used in studies relating to more general rewriting, to automated deduction, and to algo rithmic problems of algebraic structures. This monograph is written for independent study by researchers in the oretical computer science or in the foundations of artificial intelligence.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Cisneros, el cardenal de espana
دانلود کتاب Abstracts of The First Sourcebook on Asian Research in Mathematics Education. China, Korea, Singapore, Japan, Malaysia and India
دانلود کتاب Fenomenologia faktycznego życia. Martin Heidegger
دانلود کتاب Painting Clouds and Skies in Oils
