Mathematically structural foundations of computer science

Authors Hartmut Ehrig, Felix Cornelius, Philip Zeitz, Bernd Mahr, M. Große-Rhode

Publication date 10 March 1999

algebraic specifications algebraic structures data structures Hilbert calculus structural induction term algebras

Classical propositional logic (03B05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Discrete mathematics in relation to computer science (68R99)

Review text

This German textbook provides a comprehensive introduction to those parts of mathematics and logic that are necessary for computer science students. Almost no prerequisites are necessary to understand the book. All chapters are written in a nice and motivating style, using many examples and exercises. The content is formulated in a very precise way. At least major parts of the book are very useful as a source for courses on the matter and also as additional literature for interested students. The book is divided into five chapters: mathematical terminology, algebraic structures, propositional logic, predicative logic and foundations of category theory. The chapter on mathematical terminology introduces the basic definitions and results on sets and strings, relations, mappings and their composition, orders and equivalence relations. Algebraic structures include data structures such as numbers and strings but also stacks, queues and further data structures, signatures and algebras, homomorphisms, terms and the concept of structural induction, term algebras and algebraic specifications together with their initial semantics. Propositional logic considers formulas, implications and equivalence, normal forms, Hilbert calculi, sequence calculi and the resolution algorithm. In the chapter on predicative logic, formulas, implication and equivalence, substitution rules and a correct and complete Hilbert calculus are presented. Finally, presented topics from category theory are isomorphism, mono- and epimorphisms, functors and natural transformations, products and co-products, universal constructions, adjoints and applications of category theory in algebra and logic.

Recommendations

Cited in

(6)

This page was built for publication: Mathematically structural foundations of computer science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4231110)