Computing and Software 701
Logic and Discrete Mathematics in Software Engineering
Fall 2004

Instructor: William M. Farmer

Course Outline (22-SEP-2004)

Questionnaire

Logical and Mathematical Notation

Slides

Exercises

Student Presentations

TA's Office Hours

References