Burkay Gençbgenc[at]cs.hacettepe.edu.trRoom 122 |
Gülden Olgunguldenolgun[at]cs.hacettepe.edu.trRoom 102 |
Lale Özkahyaozkahya[at]cs.hacettepe.edu.trRoom 218 |
Midterm exams | 60% |
Final exam | 40% |
Week | Topic and Slides | Reading (Lehman, Leighton and Meyer (LLM), and Rosen) |
---|---|---|
1 | Propositional Logic [slides: 1, 2, 3 ] |
Logic Sheet,
Chapter 3 (LLM), Chapter 1.1-1.3 (Rosen) Reading for fun |
2 | Predicate Logic [Slides] | Chapter 1.4 - 1.5 (Rosen) |
3 | Rules of Inference [Slides] | Chapter 1.6 (Rosen) |
4 | Proofs [Slides: 1, 2] |
Chapter 1.7-1.8 (Rosen),
Chapter 1 (LLM) Top ten proof techniques not allowed in BBM205 (from LL) |
5 | Basic structures: Sets, Relations, Functions [slides: 1, 2] | Chapter 2.1-2.4 (Rosen) |
6 | Midterm Exam I | |
7 | Sequences, Sums, Cardinality of Sets [slides: 1, 2] | Chapter 9.1, 9.5 (Rosen) |
8 | Induction and Recursion [Slides: 1, 2] |
Chapter 5.1-5.2 (Rosen), Chapter 5 (LLM) Chapter 8.1-8.2 (Rosen), Chapter 22.1 (LLM) Reading for fun |
9 | Graph Terminology, Special Graphs, Graph Isomorphism [Slides: 1, 2] |
Chapter 10.1-10.3 (Rosen),
Chapter 12 (LLM) Reading for fun |
10 | Basics of Counting, Pigeonhole principle [Slides: 1, 2] |
Chapter 6.1-6.2 (Rosen), Chapter 15.5-8 (LLM) |
11 | Midterm Exam II | |
12 | Combinations, Permutations, Binomial Coefficients [Slides: 1, 2, 3, 4] | Chapter 6.3-6.5 (Rosen), Chapter 15.5-8 (LLM) |
13 | Introduction to Discrete Probability, Conditional Probability [Slides:1, 2, 3] |
Chapter 7.1-7.3 (Rosen),
Chapter 17,
18 (LLM) An alternative summary |
14 | Random Variables and Expectation [slides 1, 2, 3] |
Chapter 7.4 (Rosen),
Chapter 19 (LLM) Two nice applications of discrete probability |
© 2023 Hacettepe University