Mathematical Foundations of Advanced Informatics
Autor
Bernhard Steffen
, Oliver Ruthing
, Michael Huth
A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions. This textbook is suitable for undergraduate and graduate courses in computer science and for self-study.