previous up next
Go backward to Mastering Complexity
Go up to Top
Go forward to Extending Theories
RISC-Linz logo


Definition: Theory

Formulas considered true in the domain described by this theory.

Example: Real Numbers

Formulas in basic theory become large and difficult to understand.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next