This page will be continuously updated during the course!
Andrés Sicard
Ramírez
<asr(at)eafit(dot)edu(dot)co>
Office
hours
Group 001. Fridays, 13:30–16:30 in classroom
34-303
Group 002. Wednesdays, 15:00–18:00 in classroom
17-303
Kenneth H. Rosen (2004). Matemática Discreta y sus
Aplicaciones. McGraw-Hill, 5ª edición
Corrections to the
textbook [ pdf ]
N.B. The exams will be in the first part of the lecture.
| Exam | % | Week | Date | Textbook material |
|---|---|---|---|---|
| 1st | 25% | 4th | Wednesday/Friday, August 13/15 | Functions (§ 1.8), cardinality (pp. 217-219) and mathematical induction (§ 3.3). |
| 2nd | 25% | 8th | Wednesday/Friday, September 10/12 | Recursive definitions and structural induction (§ 3.4), relations and their properties (§ 7.1), representing relations (§ 7.3) and equivalence relations (§ 7.5). |
| 3rd | 25% | 12th | Wednesday/Friday, October 8/10 | Partial orders (§ 7.6) and lattices (§ 7.6). |
| 4th | 25% | 16th | Wednesday/Friday, November 5/7 | Boolean algebras (§ 10.1), representing graphs and graph isomorphism (§ 8.3), and Euler and Hamilton paths (§ 8.5). |
Slides for the 6th edition of the textbook (N.B. this edition has a different section numbering)
| Subject | Slides | Textbook material |
|---|---|---|
| Course Introduction | [ pdf ] | N/A |
| Functions | [ pdf ] | § 1.8 |
| Cardinality | [ pdf ] | pp. 217-219 |
| Mathematical Induction | [ pdf ] | § 3.3 |
| Recursive Definitions and Structural Induction | [ pdf ] | § 3.4 |
| Relations and Their Properties | [ pdf ] | § 7.1 |
| Representing Relations | [ pdf ] | § 7.3 |
| Equivalence Relations | [ pdf ] | § 7.5 |
| Partial Orders | [ pdf ] | § 7.6 |
| Lattices | [ pdf ] | § 7.6 |
| Boolean Algebras | [ pdf ] | § 10.1 |
| Representing Graphs and Graph Isomorphism | [ pdf ] | § 8.3 |
| Euler and Hamilton Paths | [ pdf ] | § 8.5 |