Download 0601990105 - Universidad del Golfo

Document related concepts

Willard Van Orman Quine wikipedia , lookup

Geometría sintética wikipedia , lookup

Demostración en matemática wikipedia , lookup

Programa de Erlangen wikipedia , lookup

Razonamiento automático wikipedia , lookup

Transcript
UNIVERSIDAD DEL GOLFO
SECRETARIA GENERAL
DIVISIÓN DE ESTUDIOS PROFESIONALES
LICENCIATURA EN CONTADURÍA
PROGRAMA SINTÉTICO DE:
MATEMÁTICAS I
DATOS DE IDENTIFICACIÓN
GRADO: PRIMER CUATRIMESTRE
MATERIA ANTECEDENTE: NINGUNA
MATERIA CONSECUENTE: MATEMÁTICAS II
OBJETIVO GENERAL
Al término del curso, el estudiante deducirá demostraciones formales y razonará
ordenadamente.
CONTENIDO TEMÁTICO
UNIDAD I
MÉTODO ANÁLITICO DE LA LÓGICA PROPORCIONAL
-
Traducción analítica
Negaciones
Definiciones implícitas
Tautologías
UNIDAD II
MÉTODO DEDUCTIVO DE LA LÓGICA PROPORCIONAL
-
Deducciones
Reducción al absurdo
Demostraciones directas
UNIDAD III
CONSIDERACIONES ADICIONALES
-
Axiomas de la igualdad, transitividad, simetría y sustitución
Tutologías ascendentes
UNIDAD IV
ÁLGEBRA DE CONJUNTOS
-
Introducción
Unión e intersección
Diferencia
Familias de conjuntos
Producto cartesiano
ESTRATEGIAS DIDÁCTICAS
EXPOSITIVO
ANALÍTICO
SINTÉTICO
CRÍTICO
- TRABAJO INDIVIDUAL
- TRABAJO POR EQUIPOS
- LLUVIA DE IDEAS
- PANEL
- ESTUDIO DIRIGIDO
- LECTURA COMENTADA
- FICHAS DE LECTURA
ESTRATEGIAS DE EVALUACIÓN
CONTINUA
- ASISTENCIA, PUNTUALIDAD, PERMAN.
- EXPOSICIÓN
- PARTICIPACIÓN
- TAREAS, TRABAJOS DE INVESTIG.
POR RASGOS
PONDERACIÓN
- PRÁCTICAS
- ENSAYO(S)
- EXAMEN(ES) PARCIAL(ES)
- EXAMEN FINAL
- OTROS
- LA DA EL DOCENTE
BIBLIOGRAFÍA
BÁSICA:
Zubieta Russi, G. Apuntes de Análisis Lógico. México. 1992
COMPLEMENTARIA:
-
Cole Kleenc, S. Mathematical Logi. John Wiley & Sons. 1990
Copi M. Introducción a la Lógica. Argentina Buenos Aires. 1991
RO-001121