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 | Mar. 6 ago. | 1.2 Deducción natural | — | Apunte | — |
PDF Animadas |
|
| 1 | Mar. 11 ago. | 1.3 Equivalencia, expresividad y satisfacibilidad | — | Apunte |
Sudoku Akari |
PDF Animadas |