Universal Algebra for Computer Science

Small book cover: Universal Algebra for Computer Science

Universal Algebra for Computer Science

Publisher: Wagner Mathematics

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 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.
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.
Book cover: Clifford Algebra, Geometric Algebra, and ApplicationsClifford Algebra, Geometric Algebra, and Applications
by - arXiv
These are lecture notes for a course on the theory of Clifford algebras. The various applications include vector space and projective geometry, orthogonal maps and spinors, normed division algebras, as well as simplicial complexes and graph theory.
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).