Logo

Universal Algebra for Computer Science

Small book cover: Universal Algebra for Computer Science

Universal Algebra for Computer Science
by

Publisher: Wagner Mathematics

Description:
This is an online text on universal algebra with a strong emphasis on applications and examples from computer science. The text introduces some basic algebraic concepts, such as signatures, algebras, homomorphisms, initial algebras, free algebras, and illustrates them with numerous interactive applications to computer science topics.

Home page url

Download or read it online for free here:
Read online
(online html)

Similar books

Book cover: Hopf Algebras, Quantum Groups and Yang-Baxter EquationsHopf Algebras, Quantum Groups and Yang-Baxter Equations
by - MDPI AG
Various aspects of the Yang-Baxter equation, related algebraic structures, and applications are presented. The algebraic approach to bundles in non-commutative geometry and the definition of quantum real weighted projective spaces are reviewed.
(6490 views)
Book cover: Commutator Theory for  Congruence Modular VarietiesCommutator Theory for Congruence Modular Varieties
by - Cambridge University Press
This book presents the basic theory of commutators in congruence modular varieties and some of its strongest applications. The authors take an algebraic approach, using some of the shortcuts that Taylor and others have discovered.
(13100 views)
Book cover: Lectures On Unique Factorization DomainsLectures On Unique Factorization Domains
by - Tata Institute Of Fundamental Research
In this book we shall study some elementary properties of Krull rings and factorial rings, regular rings (local and factorial), and descent methods (Galoisian descent, the Purely inseparable case, formulae concerning derivations).
(10675 views)
Book cover: On Lie Algebras Of Prime CharacteristicOn Lie Algebras Of Prime Characteristic
by - American Mathematical Society
The purpose of the present memoir is to demonstrate the applicability, under certain restrictions on the algebra and the base field, of the techniques used in the determination of all simple Lie algebras of characteristic zero.
(6665 views)