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 PDF
Animadas
1 Jue. 6 ago. 1.2 Deducción natural — Apunte — PDF PDF
Animadas
2 Mar. 11 ago. 1.3 Equivalencia, expresividad y satisfacibilidad — Apunte Sudoku
Akari
PDF PDF
Animadas
2 Jue. 13 ago. 1.4 Lógica de predicados — Apunte — PDF PDF
Animadas
3 Mar. 18 ago. 1.5 Deducción natural en lógica de predicados — Apunte — PDF PDF
Animadas
3 Jue. 20 ago. 2.1 Técnicas de demostración — Apunte — PDF PDF
Animadas
4 Mar. 25 ago. 2.2 Recursión e inducción Ejercicio 1 Apunte — PDF 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 PDF
Animadas
5 Mar. 1 sept. 2.5 Relaciones (recuerdo) — Apunte — PDF PDF
Animadas
5 Jue. 3 sept. 2.6 Operaciones sobre relaciones — Apunte — PDF PDF
Animadas
6 Mar. 8 sept. 3.1 Principio multiplicativo y problemas de conteo — Apunte — PDF PDF
Animadas
6 Jue. 10 sept. 3.2 Principio aditivo e inclusión-exclusión — Apunte — PDF PDF
Animadas
7 Mar. 22 sept. 3.3 Principio biyectivo y del palomar — Apunte — PDF PDF
Animadas
7 Jue. 24 sept. 3.4 Recurrencias y fórmulas explícitas — Apunte — PDF PDF
Animadas
8 Lun. 28 sept. 3.5 Funciones generatrices ordinarias — Apunte — PDF PDF
Animadas
8 Mar. 29 sept. 3.6 Convolución y binomio generalizado — Apunte — PDF PDF
Animadas

Apuntes Semestres Anteriores