Site menu:

Lecture notes

Some slides are based on the slides in MIT 6.042 (Spring 2007).

Project presentation: Rubik Cube [slides].
Lecture 17: graph colouring [slides].
  • Read Chapter 6.1, 7.1-7.4 of the notes.
Lecture 16: matching [slides].
  • Read Chapter 5.1 and 6.2 of the notes.
Lecture 15: graphs [slides].
  • Read Chapter 11.1-11.2 of the textbook.
Lecture 14: recursion [slides].
  • Read Chapter 8.1-8.3 of the textbook.
Lecture 13: more counting [slides].
  • Read Chapter 6.4-6.5 of the textbook, and Chapter 10.1, 10.5, 11.3 of the notes.
Lecture 12: functions [slides].
  • Read Chapter 7 of the textbook.
Lecture 11: counting [slides].
  • Read Chapter 6.2-6.4 and 6.6-6.7 of the textbook.
Lecture 10: set theory [slides].
  • Read Chapter 5 of the textbook.
Lecture 9: cryptography [slides].
  • Read Chapter 10.4 of the textbook and Chapter 8.6-8.10 of notes.
Lecture 8: modular arithmetic [slides].
  • Read Chapter 10.4 of the textbook.
Lecture 7: invariant method [slides].
Lecture 6: induction [slides].
  • Read Chapter 4.2-4.4 of the textbook and Chapter 3.3-3.6 of notes.
Lecture 5: number sequences [slides].
  • Read Chapter 4.1 of the textbook and Chapter 9 of notes.
Lecture 4: elementary number theory and methods of proof [slides].
  • Read Chapter 3 of the textbook.
Lecture 3: first order logic [slides].
  • Read Chapter 2 of the textbook.
Lecture 2: propositional logic [slides].
  • Read Chapter 1.2 and 1.3 of the textbook.
Lecture 1: introduction to discrete mathematics [slides].
  • Read Chapter 1.1 of the textbook.