M-Solid Varieties of Algebras provides a complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, offering the newest results on M-solid varieties of semirings and semigroups. The book aims to develop the theory of M-solid varieties as a system of mathematical discourse that is applicable in several concrete situations. It applies the general theory to two classes of algebraic structures, semigroups and semirings. Both these varieties and their subvarieties play an important role in computer science.
A...
M-Solid Varieties of Algebras provides a complete and systematic introduction to the fundamentals of the hyperequational theory of univers...
Introduces the basic concepts of universal algebra and surveys some of the developments in the field. This book focuses on applications in theoretical computer science and various topics, including Mal'cev conditions, tame congruence theory, clones, and commutators.
Introduces the basic concepts of universal algebra and surveys some of the developments in the field. This book focuses on applications in theoretical...
Theories and results on hyperidentities have been published in various areas of the literature over the last 18 years. Hyperidentities and Clones integrates these into a coherent framework for the first time. The author also includes some applications of hyperidentities to the functional completeness problem in multiple-valued logic and extends the general theory to partial algebras. The last chapter contains exercises and open problems with suggestions for future work in this area of research. Graduate students and mathematical researchers will find Hyperidentities and Clones a...
Theories and results on hyperidentities have been published in various areas of the literature over the last 18 years. Hyperidentities and Clones inte...
Die Themen aus Algebra und Diskreter Mathematik, die Informatiker in erster Linie benotigen, finden sich in dieser leicht verstandlichen Einfuhrung. Mathematik wird Studienanfangern als elementares Werkzeug zur Darstellung, Beschreibung, Abstraktion und Symbolisierung vermittelt. Die Bedeutung algebraischer Strukturen in der Kodierungstheorie, in der Automatentheorie und in der Theorie Formaler Sprachen wird in besonderem Masse verdeutlicht. Das Buch enthalt zahlreiche Beispiele und Ubungsaufgaben mit kompletten Losungen."
Die Themen aus Algebra und Diskreter Mathematik, die Informatiker in erster Linie benotigen, finden sich in dieser leicht verstandlichen Einfuhrung. M...
