Matemáticas Discretas para la Computación
Calendario
| Semana | Fecha | Clase / actividad | Evaluación | Lecturas | Complemento | Handout | Slides |
|---|---|---|---|---|---|---|---|
| 1 | Mar. 4 ago. | 1.1 Introducción a la lógica proposicional | — | Apunte | — |
PDF Animadas |
|
| 1 | Jue. 6 ago. | 1.2 Deducción natural | — | Apunte | — |
PDF Animadas |
|
| 2 | Mar. 11 ago. | 1.3 Equivalencia, expresividad y satisfacibilidad | — | Apunte |
Sudoku Akari |
PDF Animadas |
|
| 2 | Jue. 13 ago. | 1.4 Lógica de predicados | — | Apunte | — |
PDF Animadas |
|
| 3 | Mar. 18 ago. | 1.5 Deducción natural en lógica de predicados | — | Apunte | — |
PDF Animadas |
|
| 3 | Jue. 20 ago. | 2.1 Técnicas de demostración | — | Apunte | — |
PDF Animadas |
|
| 4 | Mar. 25 ago. | 2.2 Recursión e inducción | Ejercicio 1 | Apunte | — |
PDF Animadas |
|
| 4 | Jue. 27 ago. | 2.3 Inducción en los números naturales | — | Apunte | 2.4 Equivalencias y validez de inducción |
PDF Animadas |
|
| 5 | Mar. 1 sept. | 2.5 Relaciones (recuerdo) | — | Apunte | — |
PDF Animadas |
|
| 5 | Jue. 3 sept. | 2.6 Operaciones sobre relaciones | — | Apunte | — |
PDF Animadas |
|
| 6 | Mar. 8 sept. | 3.1 Principio multiplicativo y problemas de conteo | — | — | — |
PDF Animadas |
|
| 6 | Jue. 10 sept. | 3.2 Principio aditivo e inclusión-exclusión | — | — | — |
PDF Animadas |
Apuntes Semestres Anteriores
- Apuntes Andres Abeliuk Apuntes Matemáticas Discretas (2025-1), disponible también en su repositorio.
- Apuntes Matemáticas Discretas (2026-1).