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

Instructors: William M. Farmer and Martin v. Mohrenschildt

Course Outline (12-SEP-2005)

Questionnaire

Logical and Mathematical Notation

Slides

Exercises

Exams

Students Presentations

References

TA's Office Hours

Midterm Test: Monday, 24-OCT-2005, 10:30-12:30 in REF 102

Final Exam: Monday, 19-DEC-2005, 13:30-16:30 in BSB 120