Documente Academic
Documente Profesional
Documente Cultură
MINISTERIO DE LA DEFENSA
UNEFA
PROGRAMA DETALLADO
SEGUNDO 2-2016
UNIDAD
CURRICULAR
HORAS/SEMANALES
CODIGO
MAT-31214
LGICA MATEMTICA
TEORIA
PRACTICA
PROFESOR DE ASIGNATURA:
LGICA MATEMTICA
Departamento
Cargo
Telfono Celular
Correo Electrnico
SEMESTRE
ACADEMICO
OTRAS
UNIDADES
ACTIVIDADES CREDITO
HORAS/TERMINO
108
actividades electrnicas.
Dilogo Didctico Simulado: Actividades de autogestin acadmica, estudio independiente
y servicios de apoyo al estudiante.
3.1. ESTRATEGIA DE EVALUACIN
4. PROGRAMA DETALLADO
ESTRATEGIAS DE EVALUACIN
OBJETIVOS DE
APRENDIZAJE
CONTENIDO
Interpretar las
Reglas de
Inferencia
mediante
argumentacin
lgica basados en
los valores de
verdad.
Aplicar el clculo
preposicional,
partiendo del
lenguaje oral y
mediante la
utilizacin de las
Tablas de Verdad y
reglas de inferencias.
Reconocer la
importancia de la
Teora de
Conjuntos y su
BIBLIOGRAFA
Suppes, P
Lgica M
Nava, O.
Matemt
Simn Bo
Nava, O. (1982). In
Matemtica. Segun
Bolvar. Pino, R. (1
Primer Orden. Uni
R. (1976)
DiscreteMathemati
e Houghton- Mifflin
R. (1973)
IntroductiontoDiscr
e and Engineering
Thomason, R. (1970)
McMillan.
Stanat Y Mcallister, D
ComputerScience. P
Suppes, P Y S. Hill. (
Matemtica. Edit. R
Deao, A. (1974). In
Edit. Alianza.
Pino, R. (1985) Intro
Orden. Universidad
Nava, O. (1982).
Matemtica. Seg
aplicacin en la
Lgica Matemtica.
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.
Simn Bolvar.
Pino, R. (1985) I
Primer Orden.
Suppes, P Y S. H
Lgica Matem
5. 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) DiscreteMathematicalStructuresforComputerScienceHoughton- MifflinCompany.
Preparata, F. Y Yeh, R. (1973) IntroductiontoDiscreteStructuresforComputerScience and Engineering. Addison-Wesley.
Thomason, R. (1970) SymbolicLogicAnIntroduction, McMillan.
Stanat Y Mcallister, D. (1977) DiscreteMathematics in ComputerScience. 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 BackgroundtoMathematics. Springer - Verlag,
METODOLOGA
FECHA
Inicio
01/09/2016
05/09/2016
Simbologa de Proposiciones
08/09/2016
12/09/2016
Agrupamientos y Parntesis
15/09/2016
Eliminacin de Parntesis
Examen: Simbologa de Proposiciones, Semntica, Tipos de Proposiciones, Trminos
de enlace, Agrupamiento.
Inferencia Lgica, Reglas de Inferencia y Demostracin
Mtodo de Modus Ponendo Ponens
Mtodo Tollendo Tollens
Deduccin Proposicional
Mas sobre Parntesis
Proposiciones Bidireccionales
19/09/2016
1er Parcial
22/09/2016
25%
26/09/2016
29/09/2016
03/10/2016
06/10/2016
10/10/2016
13/10/2016
2do Parcial
Valores de Certeza
20/10/2016
Diagramas de Certeza
24/10/2016
Conclusiones no Validas
27/10/2016
Demostracin Condicional
31/10/2016
Consistencia
Examen sobre Valores de Certeza
03/11/2016
3er Parcial
Demostracin Indirecta
07/11/2016
25%
10/11/2016
Tautologas
14/11/2016
17/10/2016
25%
17/11/2016
4er Parcial
21/11/2016
25%
24/11/2016
28/11/2016
01/12/2016
05/12/2016