NOMBRE DE LA MATERIA: MT315 LA DEMOSTRACIÓN EN MATEMATICAS
DEPARTAMENTO DE ADSCRIPCION: DEPARTAMENTO DE MATEMATICAS
CARGA HORARIA SEMESTRAL: TEORIA: 100 PRACTICA:0
CREDITOS: 8
TIPO: CURSO
AREA DE FORMACION: OPTATIVA
PREREQUISITOS: MT106 LOGICA Y CONJUNTOS

OBJETIVO GENERAL:

OBJETIVOS ESPECIFICOS:

 CONTENIDO TEMATICO:
  1. CALCULO PROPOSICIONAL
    2.
    1. Enunciados simples y compuestos.
    2. Conectivos lógicos
    3. Modelos y tablas de verdad.
    4. Enunciados tautológicos y contradictorios.
    5. Argumentos válidos e implicación lógica.
    6. Reglas de inferencia.
    7. Axiomatización del cálculo proposicional.
    8. La prueba formal.
  2. CALCULO DE PREDICADOS
    3.
    1. Variables y funciones proposicionales.
    2. Cuantificadores.
    3. Necesariedad de la axiomatización.
    4. La axiomatización del cálculo de predicados.
    5. Axiomas y reglas de inferencia.
  3. EL METODO DEDUCTIVO
    4.
    1. Constituyentes fundamentales de las teorías deductivas.
    2. Modelo e interpretación de una teoría deductiva.
    3. Independencia de conjuntos de axiomas.
  4. EL METODO DEDUCTIVO Y LA DEMOSTRACIÓN
    5.
    1. Deducciones locales.
    2. Tipos de pruebas en las matemáticas: reducción al absurdo, inducción y contraejemplo.

BIBLIOGRAFIA BASICA:

 BIBLIOGRAFIA COMPLEMENTARIA:

 MODALIDADES DE EVALUACION:
 Tareas.
Actividades complementarias.
Exámenes parciales.

 MATERIALES DE APOYO ACADEMICO:
 Pizarrón y gis.
Acetatos y transparencias.
Guía de estudios.
Problemario.
Notas de clase.
Proyectos de investigación.

 MODALIDADES DEL PROCESO ENSEÑANZA APRENDIZAJE:
Conocimiento, aptitudes, valores que el alumno debe adquirir con base al desarrollo de la unidad:
CAMPO DE APLICACIÓN PROFESIONAL: