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: Smarandache Semirings, Semifields and Semivector SpacesSmarandache Semirings, Semifields and Semivector Spaces
by - American Research Press
This is the first book on the Smarandache algebraic structures that have two binary operations. Semirings are algebraic structures with two binary operations enjoying several properties and it is the most generalized structure.
(7644 views)
Book cover: New Directions in Hopf AlgebrasNew Directions in Hopf Algebras
by - Cambridge University Press
Hopf algebras have important connections to quantum theory, Lie algebras, knot and braid theory, operator algebras, and other areas. The book gives a clear picture of the current trends, with a focus on what will be important in future research.
(6815 views)
Book cover: An introduction to Noncommutative Projective GeometryAn introduction to Noncommutative Projective Geometry
by - arXiv
These lecture notes are an expanded version of the author's lectures at a graduate workshop. The main topics discussed are Artin-Schelter regular algebras, point modules, and the noncommutative projective scheme associated to a graded algebra.
(4133 views)
Book cover: Algebraic LogicAlgebraic Logic
by
Part I of the book studies algebras which are relevant to logic. Part II deals with the methodology of solving logic problems by (i) translating them to algebra, (ii) solving the algebraic problem, and (iii) translating the result back to logic.
(10346 views)