Material Detail

UNIVERSAL ALGEBRA FOR
COMPUTER SCIENCE

UNIVERSAL ALGEBRA FOR COMPUTER SCIENCE

This is a free online textbook that "is a preliminary version of Part I of an on-line text on universal algebra with a strong emphasis on applications and examples from computer science. The examples are provided in an interactive framework employing special built-in calculators. Part I of the text introduces the following basic algebraic concepts * signatures * algebras * homomorphisms * initial algebras * free algebras and illustrates them with numerous interactive applications to computer science topics including * inductive definitions * notational conversions for expressions (from prefix to infix, postfix, Polish, and Cambridge notation) * substitution of terms within terms * context-free grammars * the syntax (both abstract and concrete) of a programming language, LANG1 * the... Show More
Rate

Quality

More about this material

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.