BBM 205 - Introduction to Discrete Mathematics (Fall 2022)

Lectures: Friday 2-5pm

---

Instructor:

Burkay Genç bgenc[at]cs.hacettepe.edu.tr Room 122

Hacer Yalım Keleş hacerkeles[at]cs.hacettepe.edu.tr Room 217

Lale Özkahya ozkahya[at]cs.hacettepe.edu.tr Room 218

---

Communication:

Piazza: It is mandatory that you enroll to the course on Piazza by following the link here, since all course-related communications will be carried out through Piazza.
Office hour: There will not be any prescheduled office hours, but feel free to set an an appointment by emailing the instructors for any questions for course-related questions or issues.

---

Grading

Midterm exams	60%
Final exam	40%

Reference Books

• Discrete and Combinatorial Mathematics: An Applied Introduction, 5th Edition, Ralph P. Grimaldi.
• Discrete Mathematics and Its Applications, 7th Edition, Kenneth H. Rosen.
• Mathematics for Computer Science, Eric Lehman, Tom Leighton, and Albert Meyer 2018 (available online)
• A Course in Discrete Structures, Rafael Pass and Wei-Lung Dustin Tseng (available online)
• Building Blocks for Theoretical Computer Science, Margaret M. Fleck (available online)

More Resources for Interested Readers

• Foundations of Computer Science, Al Aho and Jeff Ullman (available online)
• Lists, Decisions and Graphs is a Google Book, Creative Commons License CC0 (available online)

Similar Courses

• MIT Open Courseware: Mathematics for Computer Science
• CS70 at EECS, Berkeley Uni.
• 21-127, Carnegie Mellon Uni.
• CPS102 at CS, Duke Uni.
• Discrete Mathematics and Mathematical Reasoning, Informatics, Uni. of Edinburgh
• Ma/CS 6a at CS, Cal.Tech.

Sample Exams and Questions

Below are some exams from previous years.
Besides the solutions, unanswered exams are provided as well, so that you can test yourself on these samples before reading their solutions.
Fall 2022: Midterm 1 (Soln), Midterm 2 (Soln), Final Exam (Soln).
Fall 2021: Midterm 1 (Soln), Midterm 2 (Soln), Final Exam (Soln).
Fall 2020: Midterm 1 (Soln), Midterm 2 (Soln), Final Exam, (Soln).
Fall 2019: Midterm 1 (Soln), Midterm 2 (Soln), Final Exam, (Soln).
Fall 2018: Midterm 1 (Soln), Final Exam, (Soln).
Fall 2017: Midterm 1 (Soln), Midterm 2 (Soln), Final Exam (Soln),
Fall 2016: Midterm 1 (Soln), , Midterm 2 (Soln), Final Exam (Soln),
Spring 2015: Midterm 1 (Soln), , Midterm 2 (Soln), Midterm 3 (Soln), Final Exam (Soln), Butunleme (Soln).
Fall 2015: Midterm (Soln), Final (Soln). Butunleme (Soln).

Schedule (Tentative)

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