EPFL

Algo+LMA

**Precision**. Write and think clear and precise statements**Formal reasoning**. Inference, proof techniques**Intuitive set theory**. Sets and operations on them, comparing sets, surprising facts about infinite sets**Methods for analyzing growth of functions****Elementary and recursive algorithms****Elementary number theory**. Congruences and what can be done with them**Induction techniques****Counting**. Combinatorics, methods for counting**Discrete probability theory****Generating functions****Graph theory**

Courses on Tuesdays from 8:15 to 10:00 and on Fridays from 8:15 to 10:00

Exercise sessions on Fridays from 10:15 to 12:00

We will follow the book “Discrete Mathematics and its Applications” by Kenneth Rosen
7th Edition
Global Edition
Book can be purchased at La Fontaine.
Read the book in paralell of the Class

**Presentations**:

proof_l06_02102015.pdf