These courseware materials are to
be used in conjunction with *Software Engineering: A
Practitioner’s Approach,* 5/e and are provided with permission by R.S. Pressman & Associates,
Inc., copyright © 1996, 2001

Mathematical Concepts

osets and constructive set specification

oset operators

ologic operators

ďe.g., i, j: • i > j i2 => j2

ďwhich states that, for every
pair of values in the set of natural numbers, if i is
greater than j, then i2 is greater than j2.

osequences