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 |