دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Terese سری: Cambridge Tracts in Theoretical Computer Science 55 ISBN (شابک) : 0521391156, 9780521391153 ناشر: Cambridge University Press سال نشر: 2003 تعداد صفحات: 908 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
در صورت تبدیل فایل کتاب Term Rewriting Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های بازنویسی اصطلاحات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
سیستمهای بازنویسی اصطلاح، که بر اساس منطق ریاضی توسعه یافتهاند، از دنبالهای از مراحل گسسته تشکیل شدهاند که در آن یک عبارت با عبارت دیگر جایگزین میشود. کاربردهای فراوان آنها از سیستم های اثبات قضیه خودکار گرفته تا جبر رایانه ای را شامل می شود. این کتاب با چندین مثال آغاز میشود و به دنبال آن فصلی در مورد مفاهیم اساسی ارائه میشود که پایهای برای بقیه کار فراهم میکند. تئوری های مرتبه اول و مرتبه بالاتر ارائه می شوند، با بسیاری از مطالب اخیر برای اولین بار در قالب کتاب ظاهر می شوند. موضوعات مورد بررسی شامل متعامد، خاتمه، حساب لامبدا و بازنویسی نمودار ترم است. همچنین یک فصل وجود دارد که پیشینه ریاضی مورد نیاز را شرح می دهد.
Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. Their many applications range from automatic theorem proving systems to computer algebra. This book begins with several examples, followed by a chapter on basic notions that provides a foundation for the rest of the work. First-order and higher-order theories are presented, with much of the latter material appearing for the first time in book form. Subjects treated include orthogonality, termination, lambda calculus and term graph rewriting. There is also a chapter detailing the required mathematical background.