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: 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.
(6947 views)
Book cover: An Invitation to General Algebra and Universal ConstructionsAn Invitation to General Algebra and Universal Constructions
by - Henry Helson
From the contents: Free groups; Ordered sets, induction, and the Axiom of Choice; Lattices, closure operators, and Galois connections; Categories and functors; Universal constructions in category-theoretic terms; Varieties of algebras; etc.
(15026 views)
Book cover: The Construction and Study of Certain Important AlgebrasThe Construction and Study of Certain Important Algebras
by - The Mathematical Society Of Japan
This is the reproduction of the beautiful lectures delivered by Professor C. Chevalley at the University of Tokyo in April-June 1954. Contents: Graded algebras; Tensor algebras; Clifford algebras; Some applications of exterior algebras.
(10826 views)
Book cover: A Course in Universal AlgebraA Course in Universal Algebra
by - Springer-Verlag
Selected topics in universal algebra: an introduction to lattices, the most general notions of universal algebra, a careful development of Boolean algebras, discriminator varieties, the introduction to the basic concepts and results of model theory.
(22596 views)