Lectures

Below you can find information about what was and will be covered at the lectures. The Lecture plan is updated after each lecture.

Lecture, Monday September 3

• Introduction to the course.
• [Rosen, Sections 1.1-1.2] - basic mathematical statements and propositional logic.

Lecture, Wednesday September 5

• [Rosen, Sections 1.3-1.4] - predicates and quantifiers.

Lecture, Monday September 10

• [Rosen, Sections 2.1-2.4] - sets and functions.

Lecture, Wednesday September 12

• [Rosen, Sections 1.5-1.7] - basic proof methods.

Lecture, Monday September 17

• [Rosen, Sections 4.1-4.2] - (strong) induction proofs.

Lecture, Wednesday September 19

• [Rosen, Sections 4.1-4.3] - induction and recursively defined structures.

Lecture, Monday September 24

• [Rosen, Section 3.8] - matrices.
• [Rosen, Sections 3.4-3.6] - number theory.

Lecture, Wednesday September 26

• Note this is in U56.
• [Rosen, Sections 3.4-3.7] - number theory.
• The Extended Euclidean Algorithm. (If you want, you can also try the EE-algorithm here).

Lecture, Monday October 1

• [Rosen, Sections 3.6-3.7] - number theory, including the Chinese Remainder Theorem.

Lecture, Wednesday October 3

• [Rosen, Sections 8.1-8.4] - relations.

Lecture, Monday October 8

• [Rosen, Sections 8.4-8.6] - relations.