خرید و دانلود نسخه کامل کتاب Fundamentals of Algebraic Graph Transformation

توضیحاتی در مورد کتاب

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

بخش اول مقدمه ای بر حالت کلاسیک گراف و تبدیل گراف تایپ شده است. در بخش دوم، نتایج اولیه و پیشرفته ابتدا برای یک شکل انتزاعی از سیستم‌های جایگزین، به اصطلاح سیستم‌های جایگزینی سطح بالا چسبنده بر اساس نظریه دسته‌بندی نشان داده می‌شوند، و سپس به چندین شکل از نمودار و سیستم‌های تبدیل شبکه پتری نشان داده می‌شوند. بخش سوم تبدیل گراف منتسب به تایپ را توسعه می‌دهد، تکنیکی که در مدل‌سازی زبان‌های بصری و تبدیل مدل اهمیت دارد. بخش چهارم شامل یک مطالعه موردی عملی در مورد تبدیل مدل و ارائه محیط ابزار AGG (گرامر نسبت داده شده) است. در نهایت ضمیمه مبانی نظریه دسته بندی، امضاها و جبرها را پوشش می دهد.

این کتاب هم به دانشمندان محقق و هم دانشجویان فارغ التحصیل در علوم کامپیوتر، ریاضیات و مهندسی می پردازد.