Syllabus and References
| Event | Date | Description | References |
|---|---|---|---|
| Introductory Lecture | Jul 31 | Course Administration and Introductory Lecture | NA |
| Lecture 1 | Aug 1 | Propositional Logic: Proposition and Compound Propositions | [Rosen 1.1] |
| Lecture 2 | Aug 2 | Logical Equivalence and Example | [Rosen 1.2] |
| Lecture 3 | Aug 3 | Predicate Logic: Predicates and Quantifiers | [Rosen 1.3] |
| Quiz 1 | Aug 8 | NA | Questions |
Text and Reference Book(s)
- Rosen: Kenneth H Rosen. Discrete Mathematics and Its Applications [7th Ed] Companion Website
- MIT: Prof. Tom Leighton and Dr. Marten van Dijk. MIT Opencourse: Mathematics for Computer Science [Ebook provided on Piazza Resources] Companion Website
- BON: Miklos Bona. A walk through combinatorics PDF
Assignments
- Assignment 1 (Due date: 17/08/2017): Question Nos. Questions
- Assignment 2 (Due date: 15/09/2017): Questions