Logic for Computer Science

Seminar notes for the first-year year students of Computer Science who attend the lecture Logic for Computer Science.
Here are the links to my seminar exercises and assignments.
  1. Week 1: Seminar 1: Sets.
  2. Week 2: Seminar 2: Relations and Functions.
  3. Week 3: Seminar 3: Relations and Functions.

References

  1. Kenneth H. Rosen: Discrete Mathematics and Its Applications. Fifth Edition. McGraw Hill. 2003.