These files can copied in part or whole and distributed freely for any non-profit purpose as long as a copy of this notice, in its entirety, is included.
Up to date copies can be got free from
[ http://www.csci.csusb.edu/dick/maths/ ]
or via EMail from rbotting at csusb.edu,
or at cost (reproduction+SAE) by
mailing the author, Dr. Richard J. Botting, California State University, San
Bernardino, 5500 State University Parkway, CA 92407.
Notes on MATHS Notation
Special characters are defined in
[ intro_characters.html ]
that also outlines the syntax of expressions and a document.
Proofs follow a natural deduction style that start with assumptions ("Let") and continue to a consequence ("Close Let") and then discard the assumptions and deduce a conclusion. Look here [ Block Structure in logic_2_Proofs ] for more on the structure and rules.
The notation also allows you to create a new network of variables
and constraints, and give them a name. The schema, formal system,
or an elementary piece of documentation starts with "Net" and finishes "End of Net".
For more, see
[ notn_13_Docn_Syntax.html ]
for these ways of defining and reusing pieces of logic and algebra
in your documents.
Notes on the Underlying Logic of MATHS
The notation used here is a formal language with syntax
and a semantics described using traditional formal logic
[ logic_0_Intro.html ]
plus sets, functions, relations, and other mathematical extensions.
For a complete listing of pages by topic see [ home.html ]