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: The Algebra of InvariantsThe Algebra of Invariants
by - Cambridge, University Press
Invariant theory is a subject within abstract algebra that studies polynomial functions which do not change under transformations from a linear group. This book provides an English introduction to the symbolical method in the theory of Invariants.
(11065 views)
Book cover: Abstract Algebra: The Basic Graduate YearAbstract Algebra: The Basic Graduate Year
by
Text for a graduate course in abstract algebra, it covers fundamental algebraic structures (groups, rings, fields, modules), and maps between them. The text is written in conventional style, the book can be used as a classroom text or as a reference.
(18544 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.
(21507 views)
Book cover: A Treatise on the Theory of InvariantsA Treatise on the Theory of Invariants
by - Project Gutenberg
The object of this book is to present in a volume of medium size the fundamental principles and processes and a few of the multitudinous applications of invariant theory, with emphasis upon both the nonsymbolical and the symbolical method.
(10860 views)