Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

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

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.