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.
- Week 1: Seminar 1: Sets.
- Week 2: Seminar 2: Relations and Functions.
- Week 3: Seminar 3: Relations and Functions.
References
-
Kenneth H. Rosen: Discrete Mathematics and Its Applications. Fifth Edition. McGraw Hill. 2003.