UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE BOGOTÁ

DEPARTAMENTO DE MATEMÁTICAS

PROGRAMA CALENDARIO – Primer Semestre de 2017

Asignatura: Fundamentos de Matemáticas Código: 2015168

Horas semanales de clase: 4 Créditos: 4 Trabajo individual: mínimo 8 horas por semana

Página del curso: https://sites.google.com/a/unal.edu.co/fundmat_i2017/

Profesores: Grupo1: Clara Helena Sánchez chsanchezb@unal.edu.co Oficina 317 Edificio 404.
Profesores: Grupo 2: Margarita Ospina mospinap@unal.edu.co Oficina 316 Edificio 404
Profesores: Grupo 3: Pedro Zambrano phzambranor@unal.edu.co Oficina 314 Edificio 404.

OBJETIVOS
El curso se propone familiarizar al estudiante con los conceptos básicos de la matemática moderna: teoría de
conjuntos y elementos de lógica matemática. El lenguaje de los conjuntos se convirtió en el lenguaje de la
matemática en el siglo XX y las formas correctas de razonar y argumentar en matemáticas están
esencialmente regladas por la lógica matemática. Se busca que el estudiante maneje los conceptos básicos de
los fundamentos de la matemática y comience a aprender a hacer demostraciones matemáticas.

PROGRAMA

0. Introducción ¿Qué se entiende por fundamentos de la matemática? Origen histórico de las nociones
básicas de lógica y teoría de conjuntos.

1. Conceptos Básicos de Lógica:

Cálculo proposicional: proposiciones, conectivos, tablas de verdad, tautologías. Implicación y equivalencia

lógica, reglas de inferencia, argumentos lógicamente válidos. Cuantificadores. Métodos de demostración:
Pruebas directas, por contradicción, usando contra-recíproca. Pruebas de proposiciones equivalentes y de
proposiciones con cuantificadores.

2. Conceptos Básicos de Teoría de Conjuntos:

Conjuntos: determinación por extensión y por comprensión. Contenencia e igualdad. Operaciones entre
conjuntos, unión, intersección, diferencia, diferencia simétrica y complemento. Propiedades de las
operaciones. Conjunto de partes. Familias indexadas: Unión, intersección. Familias disyuntas y dos a dos
disyuntas. Partición de un conjunto.

3. Relaciones:
Relaciones: Pareja ordenada. Producto cartesiano. Concepto de relación. Dominio y Rango. Relación inversa.
Composición de relaciones. Relaciones reflexivas, simétricas, antisimétricas y transitivas. Relaciones de
equivalencia. Clases de equivalencia. Conjunto cociente. Teorema fundamental de las relaciones de
equivalencia. Relaciones de orden. Elementos maximales y minimales, mínimo, máximo, acotación, supremo
(sup), ínfimo (inf).

4. Funciones:
Funciones y sus clases: inyectiva, sobreyectiva y biyectiva. Composición de funciones. Función inversa.
Imagen directa e inversa de un conjunto. Comportamiento de las imágenes directa e inversa con las
operaciones de conjuntos.

Profesores: Clara Helena Sánchez chsanchezb@unal.edu.co Oficina 317 Edificio 404.

Profesores: Margarita Ospina mospinap@unal.edu.co Oficina 316 Edificio 404
Profesores: Pedro Zambrano phzambranor@unal.edu.co Oficina 314 Edificio 404.
Profesores:
5. Cardinalidad: Equipotencia o similaridad. Conjuntos finitos e infinitos. Cardinales. Teoremas de Cantor.
Inyecciones entre conjuntos infinitos. Tamaños de infinitud. Conjuntos enumerables.
Teorema de Schöder-Bernstein (enunciado y consecuencias para la equipotencia entre conjuntos numéricos
conocidos).

METODOLOGÍA

Dos clases semanales magistrales con explicaciones, ilustraciones y propuestas de ejercicios y problemas por
parte del profesor, con la participación activa de los estudiantes. Se dejarán talleres que el alumno debe
realizar fuera de clase para generar luego discusiones en torno a los temas trabajados.

EVALUACIÓN

Se realizarán tres pruebas parciales, los días jueves 9 de marzo, 20 de abril y martes 23 de mayo, cada una
con un valor del 30%, el 10% restante se evaluará por participación en clase, quizes y/o trabajos.

TEXTOS GUÍA

1.   Bloch E. D. Proofs and Fundamentals: A first course in abstract mathematics. Springer, 2011.
2.   Zalamea F, Fundamentos de Matemáticas. Universidad Nacional de Colombia. Sede Bogotá, 2007.
3.   Hammack R. Book of Proof. Virginia Commonwealth University, 2013.

Textos complementarios
1.   Eccles Peter J., 1997, An introduction to Mathematical Reasoning. Cambridge University Press.
2.   Eves Howard, 1990, Foundations and Fundamental Concepts of Mathematics. Dover Pub.
3.   Grimaldi, Ralph M., 1998, Matemáticas y Combinatoria. Addison Wesley.
4.   Lewin Renato, 2011, La teoría de conjuntos y los fundamentos de matemáticas. Santiago de Chile,
J.C. Saez Editor.
5.   Muñoz José María, 2002, Introducción a la teoría de conjuntos, 4a. edición, Universidad Nacional de
Colombia.
6.   Seymour Lipschutz, 1969, Teoría de conjuntos y temas afines, Serie Schaum. McGraw –Hill.

Atención a estudiantes: será acordado con cada profesor.

Profesores: Clara Helena Sánchez chsanchezb@unal.edu.co Oficina 317 Edificio 404.

Profesores: Margarita Ospina mospinap@unal.edu.co Oficina 316 Edificio 404
Profesores: Pedro Zambrano phzambranor@unal.edu.co Oficina 314 Edificio 404.
Profesores: