cronograma 2010
TRANSCRIPT
Universidad Nacional Experimental de Guayana
Coordinación de Pregrado
Ca Componente de Matemática
Proyecto Ingeniería en Informática
Término: 2010-1 Semestre:1
Profesor: Ronald Pérez
Asignatura: Lógica
Semanas Tema
Principal Tema
Secundario
1
Presentación de la materia
Lógica Proposicional
Morfología
Introducción a la lógica.
Lenguaje, usos, Lenguaje y Metalenguaje, sintaxis,
semántica y pragmática.
Definiciones. Proposiciones, premisas, conclusiones.
Variables, Conectores, constantes, signos de
puntuación.
2
Lógica Proposicional
Morfología.
Técnicas Semánticas
Expresiones y formulas, fórmulas bien formadas,
árboles sintácticos, Interpretación de fórmulas. Tablas
de Verdad. Tautologías, contradicción y contingencia.
Leyes de la lógica de enunciados.
3
Lógica Proposicional
Tablas de Verdad
Leyes, razonamientos, circuitos,
Leyes de la lógica de enunciados. Simplificación de
fórmulas. Razonamientos, validez de razonamientos,
falacias. Aplicación a circuitos digitales. Compuertas Y,
O, No (And, Or, Not).
4
Lógica Proposicional
Parcial I
Reglas de Inferencia.
Derivaciones hipotéticas.
5
Lógica Proposicional Derivaciones hipotéticas.
Método de reducción al absurdo
6
Lógica Proposicional
Técnicas de Demostración
Derivaciones
Derivaciones hipotéticas.
Método de reducción al absurdo
Taller II
Derivaciones categóricas
7
Lógica Proposicional
Técnicas de Demostración
Derivaciones
Parcial II Método de reducción al absurdo,
Derivaciones categóricas.
8
Lógica Proposicional
Técnicas de Demostración
Metateorema de Solidez. Metateorema de Completitud
9
Lógica Proposicional
Técnicas de Demostración
Taller III
Repaso Parcial III
10
Lenguaje de Predicados
Morfología y Sintaxis
Parcial III
Vocabulario Sp, Predicados, constantes, aridad,
expresiones. Dominio o universo del discurso.
Predicados vs Proposiciones. Fórmulas bien formadas.
Variables libres y ligadas
11
Lenguaje de Predicados
Morfología y Sintaxis
Parcial III
Fórmulas bien formadas. Variables libres y
ligadasSustitución de variables. Solidez, completitud y
consistencia. Predicados monádicos y poliádicos
12
Lenguaje de Predicados
Semántica
Derivaciones Lógicas
Limitaciones de la lógica de predicados. Interpretación
de enunciados. Satisfacibilidad de enunciados
Satisfacibilidad de fórmulas Reglas de Derivaciones
13
Lenguaje de Predicados
Derivaciones Lógicas
Reglas de Derivaciones
Derivaciones hipotéticas y categóricas
14 Lenguaje de Predicados Método de reducción al Absurdo
Universidad Nacional Experimental de Guayana
Coordinación de Pregrado
Ca Componente de Matemática
Proyecto Ingeniería en Informática
Recursión y unificación.
15
Repaso
Parcial III
Repaso Parcial III
Evaluaciones:
Semana Contenido a evaluar Tipo de Evaluación
Ponderación
3 Proposiciones, F.B.F, árboles sintácticos, Leyes, tablas de verdad, conjuntos y circuitos
Taller I 5%
4 Proposiciones, F.B.F, árboles sintácticos, Leyes s, tablas de verdad y circuitos
Parcial I 15%
6 Derivaciones Hipotéticas Taller II 5%
7 Derivaciones Hipotéticas Parcial II 20%
9 Derivaciones Categóricas, consistencia
Taller III 5%
10 Derivaciones Categóricas, Metateoremas
Parcial III 20%
14 Cálculo de Predicados Taller IV 5%
15 Cálculo de Predicados Parcial IV 25 %
Bibliografía recomendada:
I. Diez Calzada. Iniciación a la lógica. Editorial Ariel, C.A. 2005.
II. Frausto y Sanchez. Fundamentos de lógica computacional. Editorial Trillas,
S.A. 2000.
III. P. Suppes & S. Hill. Introducción a la Lógica Matemática. Editorial Reverte,
S.A. 1988.
IV. Manzano y Huertas. Lógica para principiantes. Alianza editorial. 2004.
V. Napolitano. Lógica matemática. Editorial Biosfera. 2005
VI. Paniagua y Sanchez. Lógica Computacional, PARANINFO– THOMSON
LEARNING. 2003
VII. C. Yoris. Introducción a la lógica. Problemario, UCAB, 2005.
VIII. J. Saenz, Gil y Varios. Fundamentos de la Matemática. Segunda edición.
Inversora Hipotenusa. 2005.
IX. T. Jañez B. Lógica Jurídica. Cuarta Edición. Publicaciones UCAB. 1998.
X. N. Garcia. Curso de Lógica. Mobil Libros. 2004.
XI. A. Deaño. Introducción a la Lógica Formal. Alianza Editorial. 2004
Fecha de Entrega: 15/04/2010 Firma del Profesor: