UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE BOGOT DEPARTAMENTO DE MATEMTICAS PROGRAMA CALENDARIO -Primer Semestre de 2014

Asignatura: Fundamentos de Matemticas Horas semanales de clase: 4 Crditos: 4 Cdigo: 2015168 Grupo: 2

Trabajo individual: mnimo 8 horas por semana

OBJETIVOS
El curso se propone familiarizar al estudiante con los conceptos bsicos de la matemtica moderna: teora de conjuntos y elementos de lgica matemtica. El lenguaje de los conjuntos se convirti en el lenguaje de la matemtica en el siglo XX y las formas correctas de razonar y argumentar en matemticas estn esencialmente regladas por la lgica matemtica. Se busca que el estudiante maneje los conceptos bsicos de los fundamentos de la matemtica y comience a aprender a hacer demostraciones matemticas. PROGRAMA 0. Introduccin Qu se entiende por fundamentos de la matemtica? Origen histrico de las nociones bsicas de lgica y teora de conjuntos. 1. Conceptos Bsicos de Lgica: Clculo proposicional: proposiciones, conectivos, tablas de verdad, tautologas. Implicacin y equivalencia lgica, reglas de inferencia, argumentos lgicamente vlidos. Cuantificadores. Mtodos de demostracin: Pruebas directas, por contradiccin, usando contra-recproca. Pruebas de proposiciones equivalentes y de proposiciones con cuantificadores. 2. Conceptos Bsicos de Teora de Conjuntos: Conjuntos: determinacin por extensin y por comprensin. Contenencia e igualdad. Operaciones entre conjuntos, unin, interseccin, diferencia, diferencia simtrica y complemento. Propiedades de las operaciones. Conjunto de partes. Familias indexadas: Unin, interseccin. Familias disyuntas y dos a dos disyuntas. Particin de un conjunto. 3. Relaciones: Relaciones: Pareja ordenada. Producto cartesiano. Concepto de relacin. Dominio y Rango. Relacin inversa. Composicin de relaciones. Relaciones reflexivas, simtricas, antisimtricas y transitivas. Relaciones de equivalencia. Clases de equivalencia. Conjunto cociente. Teorema fundamental de las relaciones de equivalencia. Relaciones de orden. Elementos maximales y minimales, mnimo, mximo, acotacin, supremo (sup), nfimo (inf). 4. Funciones: Funciones y sus clases: inyectiva, sobreyectiva y biyectiva. Composicin de funciones. Funcin inversa. Imagen directa e inversa de un conjunto. Comportamiento de las imgenes directa e inversa con las operaciones de conjuntos. 5. Cardinalidad: Equipotencia o similaridad. Conjuntos finitos e infinitos. Cardinales. Teoremas de Cantor. Inyecciones entre conjuntos infinitos. Tamaos de infinitud. Conjuntos enumerables. Profesora Clara Helena Snchez chsanchezb@unal.edu.co Oficina 202 Edificio 451 de Qumica

Teorema de Schder-Bernstein (enunciado y consecuencias para la equipotencia entre conjuntos numricos conocidos).

METODOLOGA Dos clases semanales magistrales con explicaciones, ilustraciones y propuestas de ejercicios y problemas por parte del profesor, con la participacin activa de los estudiantes. Se dejarn lecturas y talleres que el alumno debe realizar fuera de clase para generar luego discusiones en torno a los temas trabajados. EVALUACIN Se realizarn tres pruebas parciales, cada una con un valor del 30% y un 10% por participacin en clase. Los parciales se realizarn los das jueves 3 de abril, 15 de mayo y 19 de junio. TEXTOS GUA 1. Bloch E. D. Proofs and Fundamentals: A first course in abstract mathematics. Birkhuser, Boston 2000. 2. Zalamea F, Fundamentos de Matemticas. Universidad Nacional de Colombia. Sede Bogot, 2007. Textos complementarios 1. Muoz Jos Mara, Introduccin a la teora de conjuntos, 2002, 4a. edicin, Universidad Nacional de Colombia. 2. Seymour Lipschutz, Teora de conjuntos y temas afines, Serie Schaum. McGraw Hill.1969. Los libros de Matemticas discretas pueden ser de gran ayuda, se encuentran varios en la biblioteca de la Universidad. Adems puede haber lecturas complementarias que se dejarn oportunamente.

Nota: En el Blackboard al cual pueden acceder por medio de la pgina principal de la Universidad encontrarn las lecturas, talleres de ejercicios y mensajes, es conveniente consultarlo regularmente.

Atencin a estudiantes: los martes y jueves despus de clase, entre las 9 y media y las once del da en la oficina 202 del edificio de qumica o con cita previa fuera de estos horarios.

Profesora Clara Helena Snchez chsanchezb@unal.edu.co Oficina 202 Edificio 451 de Qumica