PROGRAMA DETALLADO VIGENTE TURNO 2009 DIURNO UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA INGENIERA DE SISTEMAS SEMESTRE

4to ASIGNATURA LGICA MATEMTICA CDIGO MAT-31214 HORAS TEORA PRCTICA LABORATORIO UNIDADES DE CRDITO PRELACIN 3 3 0 4 MAT-21113 1.- OBJETIVO GENERAL Comprender los conceptos bsicos de la Lgica Matemtica, sus implicaciones y aplicaciones. 2.- SINOPSIS DE CONTENIDO La asignatura Lgica matemtica le permitir al estudiante desarrollar destrezas en la aplicacin de proposiciones lgicas evidenciando el dominio de una lgica preposicional binaria. El contenido est distribuido en 3 unidades: UNIDAD 1.- Introduccin a la Lgica Matemtica. UNIDAD 2.- Lenguaje y Lgica. UNIDAD 3.- Teora de Conjuntos

3.- ESTRATEGIAS METODOLGCAS GENERALES Dilogo Didctico Real: Actividades presenciales (comunidades de aprendizaje), tutoras y actividades electrnicas. Dilogo Didctico Simulado: Actividades de autogestin acadmica, estudio independiente y servicios de apoyo al estudiante. ESTRATEGIA DE EVALUACIN La evaluacin de los aprendizajes del estudiante y en consecuencia, la aprobacin de la asignatura, vendr dada por la valoracin obligatoria de un conjunto de elementos, a los cuales se les asign un valor porcentual de la calificacin final de la asignatura. Se sugieren algunos indicadores y posibles tcnicas e instrumentos de evaluacin que podr emplear el docente para tal fin. Informe o registro de experiencias, defensa en las actividades presenciales. Control de rendimiento. Auto-evaluacin, co-evaluacin y evaluacin. Informe y defensa de experiencias en organizaciones o instituciones relacionadas con el rea de la especialidad. Participacin en talleres, dinmicas de grupos, seminarios, etc: Auto -evaluacin/ co-evaluacin y evaluacin. Registros de participacin, otras. Auto-evaluacin/ co-evaluacin, evaluacin del docente /tutor (a). Pruebas escritas cortas y largas, defensas de trabajos, exposiciones, debates, etc. Auto-evaluacin/ co-evaluacin, evaluacin del estudiante.

OBJETIVOS DE APRENDIZAJE Interpretar las Reglas de Inferencia mediante argumentacin lgica basados en los valores de verdad.

CONTENIDO UNIDAD 1: INTRODUCCIN A LA LGICA MATEMTICA. 1.1 Proposiciones: Simbolizacin. Reglas de inferencia. Lgica. Certeza y validez. Reglas de demostracin. Tablas de verdad. Razonamientos validos.

ESTRATEGIAS DE EVALUACIN Realizacin de actividades terico-prcticas. Realizacin de actividades de campo. Aportes de ideas a la Comunidad (informacin y difusin). Experiencias vivenciales en el rea profesional Registros de participacin. Pruebas escritas cortas y largas, defensas de trabajos, exposiciones, debates, etc. Auto-evaluacin / co-evaluacin y evaluacin del estudiante.

BIBLIOGRAFA

Suppes, P Y S. Hill. (1982) Introduccin a la Lgica Matemtica. Edit. Reverte. Nava, O. (1982). Introduccin a la Lgica Matemtica. Segunda Edicin. Universidad Simn Bolvar.

Aplicar el clculo preposicional, partiendo del lenguaje oral y mediante la utilizacin de las Tablas de Verdad y reglas de inferencias.

UNIDAD 2: LENGUAJE Y LGICA. 2.1 Semitica: Sintaxis, semntica y pragmtica. Definiciones formales de sintaxis: alfabetos, lenguajes, definiciones inductivas, gramticas libres de contexto. Ejemplos: expresiones algebraicas infijas, prefijas, postfijas. Semntica: Definiciones formales de semntica: dominios de interpretacin, funciones de valuacin (valuaciones). Clculo proposicional (sistema ss): Definiciones. Valores de verdad. Frmulas: Gramtica de las frmulas de ss. Arboles asociados a frmulas. Sustituciones. Instancias de frmulas. Semntica informal: traduccin de proposiciones en espaol a frmulas de ss. Derivaciones: Motivacin. Nociones de derivacin. Por qu no se especifican con gramticas? Hiptesis. Reglas de inferencia: regla de copia, Realizacin de actividades terico-prcticas. Realizacin de actividades de campo. Aportes de ideas a la Comunidad (informacin y difusin). Experiencias vivenciales en el rea profesional Registros de participacin. Pruebas escritas cortas y largas, defensas de trabajos, exposiciones, debates, etc. Auto-evaluacin / co-evaluacin y evaluacin del estudiante. Nava, O. (1982). Introduccin a la Lgica Matemtica. Segunda Edicin. Universidad Simn Bolvar. Pino, R. (1985) Introduccin a la Lgica Primer Orden. Universidad Simn Bolvar. Prather, R. (1976) Discrete Mathematical Structures for Computer Science HoughtonMifflin Company. Preparata, F. Y Yeh, R. (1973) Introduction to Discrete Structures for Computer Science and Engineering. AddisonWesley.

2.2

2.3

2.4

reglas para introduccin y eliminacin de los conectores de implicacin, equivalencia, conjuncin, disyuncin y negacin. Nociones de teorema, consecuencia y consistencia. Semntica informal: traduccin de razonamientos con proposiciones en espaol a derivaciones de Ss. Meta teoremas sobre sintaxis: Deduccin. Sustitucin. Reemplazo. Definicin y uso de reglas derivadas. Semntica: Valores de verdad. Valuaciones Tablas de verdad. Frmulas validas. Consecuencia semntica. Meta teoremas sobre semntica: Sin demostraciones: solidez, completitud, consistencia, deducibilidad. Clculo de predicados (Sistema SP): Definiciones. Funcin. Diferencia entre ambas: su rango. Frmulas: Gramtica de los trminos y las frmulas de Sp. rboles asociados a frmulas. Sustituciones. Instancias de frmulas. Semntica informal: traduccin de predicados y proposiciones en espaol a frmulas de Sp. Derivaciones: Nuevas reglas de inferencia: nueva regla de copia, reglas para introduccin y eliminacin de la identidad y de los cuantificadores. Nociones de teorema, consecuencia y consistencia. Semntica informal: traduccin de razonamientos con predicados en espaol a derivaciones en Sp. Meta teorema sobre sintaxis: Deduccin. Sustitucin. Reemplazo. Definicin y uso de reglas derivadas y de reemplazo. Semntica: Interpretaciones.

Thomason, R. (1970) Symbolic Logic An Introduction, McMillan. Stanat Y Mcallister, D. (1977) Discrete Mathematics in Computer Science. Prentice-Hall. Suppes, P Y S. Hill. (1982) Introduccin a la Lgica Matemtica. Edit. Reverte. Deao, A. (1974). Introduccin a la Lgica Formal. Edit. Alianza. Pino, R. (1985) Introduccin a la Lgica de Primer Orden. Universidad Simn Bolvar.

Valuaciones de trmino y de una frmula bajo interpretacin. Tablas de verdad para dominios finitos. Frmulas satisfactibles en una interpretacin. Validez, Consistencia. Consecuencia semntica. Meta teoremas sobre semntica: Sin demostraciones: Solidez, Completitud, consistencia no deducibilidad. Reconocer la importancia de la Teora de Conjuntos y su aplicacin en la Lgica Matemtica. UNIDAD 3: TEORA DE CONJUNTOS. 3.1 Eplogo: Otros modelos: lgicas modales, lgicas multievaluadas, lgicas difusas, lgicas temporales, etc. Lgicas de rdenes mayores. Lgicas o sistemas axiomticos que representan los naturales. Resultados importantes: enunciado del teorema de incompletitud de Godel, implicaciones filosficas. Realizacin de actividades terico-prcticas. Realizacin de actividades de campo. Aportes de ideas a la Comunidad (informacin y difusin). Experiencias vivenciales en el rea profesional Registros de participacin. Pruebas escritas cortas y largas, defensas de trabajos, exposiciones, debates, etc. Auto-evaluacin / co-evaluacin y evaluacin del estudiante. Nava, O. (1982). Introduccin a la Lgica Matemtica. Segunda Edicin. Universidad Simn Bolvar. Pino, R. (1985) Introduccin a la Lgica Primer Orden. Universidad Simn Bolvar. Suppes, P Y S. Hill. (1982) Introduccin a la Lgica Matemtica. Edit. Reverte.

BIBLIOGRAFA Nava, O. (1982). Introduccin a la Lgica Matemtica. Segunda Edicin. Universidad Simn Bolvar. Pino, R. (1985) Introduccin a la Lgica Primer Orden. Universidad Simn Bolvar. Prather, R. (1976) Discrete Mathematical Structures for Computer Science Houghton- Mifflin Company. Preparata, F. Y Yeh, R. (1973) Introduction to Discrete Structures for Computer Science and Engineering. Addison-Wesley. Thomason, R. (1970) Symbolic Logic An Introduction, McMillan. Stanat Y Mcallister, D. (1977) Discrete Mathematics in Computer Science. Prentice-Hall. Suppes, P Y S. Hill. (1982) Introduccin a la Lgica Matemtica. Edit. Reverte. Deao, A. (1974). Introduccin a la Lgica Formal. Edit. Alianza. Pino, R. (1985) Introduccin a la Lgica de Primer Orden. Universidad Simn Bolvar.

Klir, G Y T, Folger.(1988) Fuzzy Set, Uncertainty and Information. Ed. Prentice Hall. Ferrater, J Y H, Leblanc. (1975) Lgica Matemtica. Fondo de Cultura Econmica. Cohen, M Y E, Nagel.(1976) Introduccin a la Lgica y al Mtodo Cientfico. Vol. I y II. Amorrortu Editores, 4ta Edicin. R, Edwars. (1979) Formal Background to Mathematics. Springer - Verlag,