Fundamentos de la Matemática - MAT2405

Primer semestre 2024

Descripción. Este curso aborda el estudio de lenguajes matemáticos y ciertos aspectos

de la teorı́a de conjuntos desde un punto de vista formal. Se mostrará el desarrollo
axiomático de una teorı́a matemática y los elementos que lo constituyen.
Pre-requisitos. MAT1136 (o MAT1630) y MAT1226 (o MAT1203).
Clases. W-V:4, Miércoles en Sala D303, viernes en Sala D306.
Profesor. Natalia Garcı́a Fritz. natalia.garcia@mat.uc.cl
Ayudantı́a. SIN INFORMACION, NO USAR BUSCACURSOS.
Ayudante. Marı́a Alejandra Schild.
Evaluación.
40% Tres interrogaciones (10 de abril, 14 de mayo, 6 de junio);
30% Tres tareas (fechas por fijar, antes de cada interrogación);
30% Examen final (4 de julio).
Podrán eximirse del examen final los estudiantes cuya nota de presentación sea mayor o
igual que 4.95, calculado de la siguiente manera
3 4
21 (T 1 + T 2 + T 3) + 21 (I1 + I2 + I3)

y este promedio será la nota final del curso.

Tareas. Serán realizadas en grupos de a lo más 3 personas (no es necesario que sea el
mismo grupo para las tres tareas). Servirán también de diagnóstico para la interrogación
correspondiente. Bajo ninguna circunstancia se aceptarán tareas fuera de plazo.
Asistencia a evaluaciones. Inasistencia a alguna de las interrogaciones o examen
deberá ser debidamente justificada en la Dirección de Docencia de su unidad académica.
Si hay inasistencia justificada a una interrogación, se reemplazará la nota de la in-
terrogación por la nota obtenida en el examen. Inasistencia justificada a más de una
interrogación necesitará evaluaciones recuperativas adicionales. En caso de inasistencia
justificada al examen, se evaluará con nota P, para realizar un examen recuperativo en
agosto.

1
Bibliografı́a complementaria.

• A. Enderton, Mathematical Introduction to Logic. Academic Press, 1972.

• R. P. Morash, Bridge to abstract mathematics: Mathematical proof and structures.

The Random house/Birkhäuser Mathematical Series 1987.

• A. Enderton, Elements of Set Theory, Academic Press, 1977.

• R. Lewin, La teorı́a de conjuntos y los fundamentos de la matemática. Editorial

ebooks Patagonia - J.C. Sáez Editor, 2010.

Contenidos.

1. Lógica proposicional;

2. Introducción a la lógica de primer orden;

3. Teorı́a de conjuntos con los axiomas de Zermelo-Fraenkel;

4. Construcción de los números naturales a partir de la teorı́a de conjuntos.

(Opcional: Construcción de los números racionales y reales);

5. Cardinalidad: Conjuntos finitos y enumerables, operatoria cardinal;

6. (Opcional) Equivalencia del axioma de la elección con lema de Zorn y principio del
buen orden.