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 | — | — | — | — |
| 4 | Jue. 27 ago. | 2.3 Inducción en los naturales | — | — | — | — | — |
| 5 | Mar. 1 sept. | 2.4 Relaciones (recuerdo) | — | — | — | — | — |
| 5 | Jue. 3 sept. | 2.5 Operaciones sobre relaciones | — | — | — | — | — |
Apuntes Semestres Anteriores
- Apuntes Andres Abeliuk Apuntes Matemáticas Discretas (2025-1), disponible también en su repositorio.
- Apuntes Matemáticas Discretas (2026-1).