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: 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.
(22915 views)
Book cover: An introduction to Algebra and TopologyAn introduction to Algebra and Topology
by - University of Luxemburg
These lecture notes are an elementary introduction to the language of categories and sheaves. From the table of contents: Linear algebra over a ring; The language of categories; Sheaves (Flabby sheaves and soft sheaves, Cohomology of sheaves).
(11897 views)
Book cover: Workbook in Higher AlgebraWorkbook in Higher Algebra
by
A set of notes for a Higher Algebra course. It covers Group Theory, Field and Galois Theory, Elementary Factorization Theory, Dedekind Domains, Module Theory, Ring Structure Theory, Tensor Products, Zorn’s Lemma and some Applications.
(17885 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.
(11083 views)