دانلود کتاب Fundamentals of algebraic graph transformation (به فارسی: مبانی تبدیل گراف جبری) نوشته شده توسط «Hartmut Ehrig – Karsten Ehrig – Ulrike Prange – Gabriele Taentzer»
اطلاعات کتاب مبانی تبدیل گراف جبری
موضوع اصلی: جبر
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Hartmut Ehrig – Karsten Ehrig – Ulrike Prange – Gabriele Taentzer
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2006
تعداد صفحه: 373
حجم کتاب: 4 مگابایت
کد کتاب: 9783540311874 , 3540311874
نوبت چاپ: 1
توضیحات کتاب مبانی تبدیل گراف جبری
نمودارها به طور گسترده ای برای نمایش اطلاعات ساختاری در قالب اشیاء و ارتباطات بین آنها استفاده می شوند. تبدیل گراف، دستکاری نمودارها مبتنی بر قانون است، مفهومی که به طور فزاینده ای مهم در علوم کامپیوتر و زمینه های مرتبط است. این اولین کتاب درسی رویکرد جبری به تبدیل گراف است که بر اساس ساختارهای جبری و تئوری دسته‌بندی است.
بخش اول مقدمه‌ای است بر حالت کلاسیک تبدیل گراف و تایپ شده. در بخش دوم، نتایج اولیه و پیشرفته ابتدا برای یک شکل انتزاعی از سیستم‌های جایگزین، به اصطلاح سیستم‌های جایگزینی سطح بالا چسبنده بر اساس نظریه دسته‌بندی نشان داده می‌شوند، و سپس به چندین شکل از نمودار و سیستم‌های تبدیل شبکه پتری نشان داده می‌شوند. بخش سوم تبدیل گراف منتسب به تایپ را توسعه می‌دهد، تکنیکی که در مدل‌سازی زبان‌های بصری و تبدیل مدل اهمیت دارد. بخش چهارم شامل یک مطالعه موردی عملی در مورد تبدیل مدل و ارائه محیط ابزار AGG (گرامر نسبت داده شده) است. در نهایت، ضمیمه مبانی نظریه دسته، امضاها و جبرها را پوشش می دهد.
این کتاب هم به دانشمندان محقق و هم دانشجویان فارغ التحصیل در علوم کامپیوتر، ریاضیات و مهندسی می پردازد.
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory.
Part I is an introduction to the classical case of graph and typed graph transformation. In Part II basic and advanced results are first shown for an abstract form of replacement systems, so-called adhesive high-level replacement systems based on category theory, and are then instantiated to several forms of graph and Petri net transformation systems. Part III develops typed attributed graph transformation, a technique of key relevance in the modeling of visual languages and in model transformation. Part IV contains a practical case study on model transformation and a presentation of the AGG (attributed graph grammar) tool environment. Finally the appendix covers the basics of category theory, signatures and algebras.
The book addresses both research scientists and graduate students in computer science, mathematics and engineering.
دانلود کتاب «مبانی تبدیل گراف جبری»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.