Hidden Algebra Tutorial
This tutorial assume familiarity with first order logic, ordinary many (and/or
order) sorted algebra, and sometimes OBJ for examples. Without this
background, you will not be able to understand hidden algebra. Information on
these subjects can be consulted before undertaking the hidden algebra
Many details and notations are simplified or omitted in these webpages;
they are intended to convey the flavor of the mathematics to software
practitioners. The technical papers on hidden algebra should be consulted for
the technical details: The buttons on the bottom of each page will help you navigate this
tutorial. The [Next] button takes you to its next page, the [Prev] button
takes you to its previous page, the [Home] button takes you to this page, and
the [BHome] button takes you to the background information home page.
- First order logic tutorial.
- General algebra.
[Next] [BHome] [Links Home]
12 October 1996