Escudo de la República de Colombia Escudo de la República de Colombia
Mi Banner
Document

Fundamentos de Matemáticas

Esta asignatura tiene dos objetivos centrales: primero, que los estudiantes se familiaricen y manipulen apropiadamente los conjuntos, las relaciones (en particular, las relaciones de equivalencia y las de orden) y las funciones, y que sepan sus propiedades más importantes. En segundo lugar, este curso sirve como una introducción al arte de la demostración en matemáticas, ya que los estudiantes deben ser capaces de enunciar y demostrar las propiedades más relevantes de los objetos estudiados.


Ver videos del curso en el siguiente: ENLACE

CONTENIDO

  • 1. Fundamentos de Lógica
    • 1.1 La crisis de los fundamentos
    • 1.2 Cálculo proposicional-Primera parte (operadores lógicos, fórmulas bien formadas, tablas de verdad, tautologías, contradicciones, contingencias).
    • 1.3 Cálculo proposicional-Segunda parte (tautologías fundamentales).
    • 1.4 Sistemas formales.
    • 1.5 Teoremas y sus demostraciones (demostración directa, por la contrarrecíproca y por contradicción).

  • 2. Introducción a la teoría de conjuntos
    • 2.1 Conjuntos-Primera parte (axioma de extensión, axioma del conjunto vacío, axioma de separación, axioma del conjunto binario, axioma de la unión).
    • 2.2 Conjuntos-Segunda parte (unión, intersección, diferencia, diferencia simétrica, propiedades fundamentales).
    • 2.3 Conjuntos-Tercera parte (complemento, axioma de partes, conjunto de partes).
    • 2.4 Elementos del cálculo de predicados
    • 2.5 Pares ordenados y producto cartesiano.
    • 2.6 Uniones e intersecciones generalizadas.
    • 2.7 Conjuntos-Familias indizadas.

  • 3. Relaciones
    • 3.1 Relaciones-Primera parte (conjunto de salida, conjunto de llegada, dominio, rango, unión).
    • 3.2 Relaciones-Segunda parte (composición e inversión, propiedades eventuales).
    • 3.3 Relaciones de equivalencia y particiones.
    • 3.4 Relaciones de orden-Primera parte (elementos distinguidos: máximo, mínimo, maximales, minimales, cotas superiores, cotas inferiores, sup e ínf).
    • 3.5 Relaciones de orden-Segunda parte (propiedades fundamentales del sup y del ínf). 4

  • 4. Funciones
    • 4.1 Funciones.
    • 4.2 Funciones-Inyectividad, sobreyectividad, boiyectividad.
    • 4.3 Funciones-Composición e inversión.
    • 4.4 Funciones-Imagen directa e imagen inversa.
    • 4.5 Productos generalizados.
    • 4.6 Operadores y relaciones de equivalencia.
    • 4.7 Equipotencia.

BIBLIOGRAFIA

  • Ethan Bloch. Proofs and Fundamentals, Birkhäuser, Boston, 2000.

  • Charles C. Pinter. Set Theory, Dover, New York, 2014.

  • José M. Muñoz. Introducción a la Teoría de Conjuntos, U.N. Sede Bogotá.