Discrete Mathematics 1

Instructor

• Reza Pulungan

Schedule

• Lectures
  • Wednesdays: 11:00-11:50, at S2.03
  • Thursdays: 09:00-10:50, at S2.01
  • Wednesdays: 13:00-14:50, at PG101 PAU (Int'l Class)
  • Thursdays: 12:00-12:50, at PG101 PAU (Int'l Class)
• Exams
  • Mid-term:
  • Final:

Objectives

Syllabus

Textbooks

• K. H. Rosen. Discrete Mathematics and its Applications (6th Ed.). McGraw-Hill, 2007.
• S. S. Epp, Discrete Mathematics with Applications, 4th Edition, Brooks Cole, 2010.
• R. L. Graham, D. E. Knuth, and O. Patashnik. Concrete Mathematics (2th Ed.). Addison-Wesley, 1994.
• R. Waldinger and Z. Manna, Logical Basis for Computer Programming Volume I: Deductive Reasoning, Addison-Wesles, 1985.
• MIT OpenCourseWare: Mathematics for Computer Science as taught in Fall 2010

Grading

• Exercises: 20%
• Mid-term exam: 40%
• Final exam: 40%

Lectures

Lecture 0 (September 14, 2011)

• Introduction
• Propositional Logic

Lecture 1 (September 15, 2011)

• Propositional Logic

Lecture 2 (September 21, 2011)

• Propositional Logic

Lecture 3 (September 22, 2011)

• Predicate Logic

Lecture 4 (September 28, 2011)

• Predicate Logic

Lecture 5 (September 29, 2011)

• Predicate Logic

Lecture 6 (October 5, 2011)

• Proofs

Lecture 7 (October 6, 2011)

• Proofs

Lecture 8 (October 12, 2011)

• Induction

Lecture 9 (October 13, 2011)

• Induction

Lecture 10 (October 19, 2011)

• Introduction to Number Theory

Lecture 11 (October 20, 2011)

• Introduction to Number Theory

Lecture 12 (October 26, 2011)

• RPKPS Mata Kuliah Ini
• Introduction to Number Theory
• Exercise 2 (due Nov. 12, 2011)

Lecture 13 (October 27, 2011)

• Introduction to Number Theory
• Selamat mengerjakan ujian tengah semester. Semoga berhasil.

Lecture 14 (November 16, 2011)

• Binary Relations

Lecture 15 (November 17, 2011)

• Binary Relations

Lecture 16 (November 23, 2011)

• Binary Relations

Lecture 17 (November 24, 2011)

• Directed Graph

Lecture 18 (November 30, 2011)

• Directed Graph

Lecture 19 (December 1, 2011)

• Directed Graph

Lecture 20 (December 7, 2011)

• Graph

Lecture 21 (December 8, 2011)

• Graph
• Exercise 3 (due Dec. 28, 2011)

Lecture 22 (December 14, 2011)

• Graph

Lecture 23 (December 15, 2011)

• Modelling Computation

Lecture 24 (December 21, 2011)

• Modelling Computation

Lecture 25 (December 22, 2011)

• Modelling Computation

Lecture 26 (December 28, 2011)

• Modelling Computation

January 10, 2012

• Exercise 4