Burkay Gençbgenc[at]cs.hacettepe.edu.trRoom 122 |
Hacer Yalım Keleşhacerkeles[at]cs.hacettepe.edu.trRoom 217 |
Lale Özkahyaozkahya[at]cs.hacettepe.edu.trRoom 218 |
Midterm exams | 60% |
Final exam | 40% |
Week | Date | Topic and Slides | Reading (Lehman, Leighton and Meyer (LLM), and Rosen) |
---|---|---|---|
1 | Oct. 7 | Propositional Logic [slides: 1, 2, 3 ] |
Logic Sheet,
Chapter 3 (LLM), Chapter 1.1-1.3 (Rosen) Reading for fun |
2 | Oct. 14 | Predicate Logic [slides: 1, 2] | Chapter 1.4 - 1.5 (Rosen) |
3 | Oct. 21 | Rules of Inference [slides: 1, 2, 3 ] | Chapter 1.6 (Rosen) |
4 | Oct. 28 | National Holiday | |
5 | Nov. 4 | Proofs [slides] |
Chapter 1.7-1.8 (Rosen),
Chapter 1 (LLM) Top ten proof techniques not allowed in BBM205 (from LL) |
6 | Nov. 11 | Midterm Exam I | |
7 | Nov. 18 | Basic structures: Sets, functions, sequences, and sums | Chapter 2.1-2.4 (Rosen) |
8 | Nov. 25 | Relations, Equivalence Relations | Chapter 9.1, 9.5 (Rosen) |
9 | Dec. 2 | Induction and Recursion [slides] |
Chapter 5.1-5.2 (Rosen), Chapter 5 (LLM) Chapter 8.1-8.2 (Rosen), Chapter 22.1 (LLM) Reading for fun |
10 | Dec. 9 | Graph Terminology, Special Graphs, Graph Isomorphism [slides] | Chapter 10.1-10.3 (Rosen),
Chapter 12 (LLM) Reading for fun |
11 | Dec. 16 | Midterm Exam II | |
12 | Dec. 23 | Basics of Counting, Pigeonhole principle [slides] | Chapter 6.1-6.2 (Rosen), Chapter 15.5-8 (LLM) |
13 | Dec. 30 | Combinations, Permutations, Binomial Coefficients [slides] | Chapter 6.3-6.5 (Rosen), Chapter 15.5-8 (LLM) |
14 | Jan. 6 | Introduction to Discrete Probability, Conditional Probability [slides 1, 2] |
Chapter 7.1-7.3 (Rosen),
Chapter 17,
18 (LLM) An alternative summary |
© 2022 Hacettepe University