McMaster University
Logic and Discrete Mathematics in Software Engineering

CAS 701 — Fall 2007

Instructor

Dr. Wolfram Kahl
ITB-245, kahl@mcmaster.ca
Office hour: Thursday, 12:00-13:20

Teaching Assistant

Pablo Castro, castropf@mcmaster.ca, ITB-223
Office hours: Monday, 10:00-11:00 and 14:00-15:00

Outline

The course outline is available as PostScript and as PDF .

News

Some Presentation Slides now online
To enable NuSMV on mills, add ~kahl/NuSMV/bin to your $PATH, e.g.:
```
export PATH=~kahl/NuSMV/bin:$PATH
```
The NuSMV examples are in ~kahl/NuSMV/share/nusmv/examples.
Presentation Topics now online
October 1 lecture: 12:00-13:40
October 10: lecture replaced by tutorial — bring questions!

Schedule

Lectures: Monday 12:10-13:25, Wednesday 12:00-13:15, ITB-222
Midterm Test: Monday, October 22, 12:00-14:00, in T29/101
Final Examination: December 6th, 11:00-14:00, in ITB-139

Lecture Notes

Assignments

Assignment 1 (September 19, corrected September 22: “relative complement” → “complement”; f → δ) due October 1, before class: ,
Complement was not mentioned in class: In a lattice with least element ⊥ and greatest element Τ, an element A is called complement of the element B iff A ∧ B = ⊥ and A ∨ B ≥ Τ.
Assignment 2 (November 5) due November 19, before class: ,

Exercise Sheets

Exercise Sheet 1 (October 4): ,
Exercise Sheet 2 (October 17): ,
Exercise Sheet 3 (November 26): , - abp.smv

Academic Ethics

You are expected to exhibit honesty and use ethical behaviour in all aspects of the learning process. Academic credentials you earn are rooted in principles of honesty and academic integrity.

Academic dishonesty is to knowingly act or fail to act in a way that results or could result in unearned academic credit or advantage. This behaviour can result in serious consequences, e.g. the grade of zero on an assignment, loss of credit with a notation on the transcript (notation reads: “Grade of F assigned for academic dishonesty”), and/or suspension or expulsion from the university.

It is your responsibility to understand what constitutes academic dishonesty. For information on the various kinds of academic dishonesty please refer to the Academic Integrity Policy, specifically Appendix 3, located at http://www.mcmaster.ca/academicintegrity

The following illustrates only three forms of academic dishonesty:

Plagiarism, e.g. the submission of work that is not one's own or for which other credit has been obtained.
Improper collaboration in group work.
Copying or using unauthorized aids in tests and examinations.

Discrimination

“The Faculty of Engineering is concerned with ensuring an environment that is free of all adverse discrimination. If there is a problem that cannot be resolved by discussion among the persons concerned, individuals are reminded that they should contact the Department Chair, the Sexual Harassment Office or the Human Rights Consultant, as soon as possible.”