Computing and Software 701
Logic and Discrete Mathematics In Software Engineering
Fall 2002

Instructor: William M. Farmer

Course Outline (1-SEP-2004)

Questionnaire

Logical and Mathematical Notation

Slides

Exercises

Presentations

Student Contributions

References