logica




GOBIERNO CONSTITUCIONAL DEL ESTADO LIBRE Y SOBERANO DE OAXACA
INSTITUTO ESTATAL DE EDUCACIÓN PÚBLICA DE OAXACA
COORDINACIÓN GENERAL DE PLANEACIÓN EDUCATIVA
COORDINACIÓN GENERAL DE EDUCACIÓNMEDIA SUPERIOR Y SUPERIOR


PROGRAMA DE ESTUDIOS

NOMBRE DE LA ASIGNATURA
LÓGICA MATEMÁTICA

CICLO
CLAVE DE LA ASIGNATURA
TOTAL DE HORAS
PRIMER SEMESTRE

1013
80

OBJETIVO(S)GENERAL(ES) DE LA ASIGNATURA
Aplicar los conceptos de lógica matemática, conjuntos y álgebra booleana en el análisis, planteamiento y solución de problemas en el área de Informática.

TEMAS Y SUBTEMAS1. LÓGICA PROPOSICIONAL
1.1. Proposiciones
1.1.1. Proposiciones simples y compuestas
1.1.2. Términos de enlace de proposiciones
1.1.3.Simbología de proposiciones y de los términos de enlace1.2 Tipos de proposiciones
1.2.1. Conjunción, disyunción, negación, condicional y bicondicional
1.3. Término de enlace dominante.
1.3.1.Elementos para determinar el término de enlacedominante
1.4. Proposiciones lógicas
1.4.1. Valores de verdad de una proposición
1.4.2. Tablas de verdad de la conjunción, la disyunción, la negación, la condicional y la bicondicional
1.4.3.Elaboración de la tabla de verdad para cualquier proposición
1.4.4. Tautologías y contradicciones
1.4.5. Equivalencias lógicas
1.5. Reglas de inferencia
1.5.1. Inferencias válidas y no válidas1.5.2.Diagramas lineales
1.6. Demostraciones directas, condicionales y por contradicción (o reducción al absurdo y con contraejemplos)
1.7. Introducción a lógica de predicados
1.7.1.Términos, predicados y cuantificadores universales y existenciales, negación
1.7.2. Ley de especificación universal y Ley de generalización universal
1.7.3. Ley de especificación existencial y Ley degeneralización existencial
1.7.4. Ejemplos y ejercicios de aplicación usando reglas de inferencia
1.8. Inducción matemática
1.8.1. Principio de inducción ordinaria
1.8.2. Principio de...