CI2526: Estructuras Discretas II (Pregrado)
Blai Bonet |
| Semana | Día I | Día II |
| I | Introducción. Lógica de Primer Orden: Sintáxis. Axiomas básicos: extensión (A1), vacío (A2) y separación (A3). Unicidad del vacío. Inexistencia del conjunto de todos los conjuntos. | Axiomas de pares (A4) y uniones (A5). Unión de un número finito de conjuntos. Intersección. Subconjuntos. Teorema de doble contención. Diferencia de conjuntos. |
| II | Propiedades básicas de uniones e intersecciones. Familias de conjuntos y operaciones. | Axiomas de conjunto potencia (A6) y regularidad (A7). Grafos. |
| III | ||
| IV | ||
| V | ||
| VI | ||
| VII | ||
| VIII | ||
| IX | ||
| X | ||
| XI | ||
| XII |