Universidad Nacional Experimental de Guayana
Coordinación de Pregrado
Ca Componente de Matemática
Proyecto Ingeniería en Informática
Término: 2010-1
Profesor: Ronald Pérez
Asignatura: Lógica
Semanas Tema
Principal
Presentación de la materia
Lógica Proposicional
1 Morfología
Lógica Proposicional
2 Morfología.
Técnicas Semánticas
Lógica Proposicional
3 Tablas de Verdad
Leyes, razonamientos, circuitos,
Lógica Proposicional
4
Lógica Proposicional
5
Lógica Proposicional
6 Técnicas de Demostración
Derivaciones
Lógica Proposicional
7
Técnicas de Demostración
Derivaciones
8 Lógica Proposicional
Técnicas de Demostración
9 Lógica Proposicional
Técnicas de Demostración
Lenguaje de Predicados
Morfología y Sintaxis
10
Lenguaje de Predicados
11 Morfología y Sintaxis
Lenguaje de Predicados
12
Semántica
Derivaciones Lógicas
13 Lenguaje de Predicados
Derivaciones Lógicas
14 Lenguaje de Predicados
Semestre:1
Tema
Secundario
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.
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.
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).
Parcial I
Reglas de Inferencia.
Derivaciones hipotéticas.
Derivaciones hipotéticas.
Método de reducción al absurdo
Derivaciones hipotéticas.
Método de reducción al absurdo
Taller II
Derivaciones categóricas
Parcial II
Método de reducción al absurdo,
Derivaciones categóricas.
Metateorema de Solidez. Metateorema de Completitud
Taller III
Repaso Parcial III
Parcial III
Vocabulario Sp, Predicados, constantes, aridad,
expresiones. Dominio o universo del discurso.
Predicados vs Proposiciones. Fórmulas bien formadas.
Variables libres y ligadas
Parcial III
Fórmulas bien formadas. Variables libres y
ligadasSustitución de variables. Solidez, completitud y
consistencia. Predicados monádicos y poliádicos
Limitaciones de la lógica de predicados. Interpretación
de enunciados. Satisfacibilidad de enunciados
Satisfacibilidad de fórmulas Reglas de Derivaciones
Reglas de Derivaciones
Derivaciones hipotéticas y categóricas
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 Repaso Parcial III
Parcial III

Evaluaciones:
Semana Contenido a evaluar Tipo de Ponderación
Evaluación
3 Proposiciones, F.B.F, árboles Taller I 5%
sintácticos, Leyes, tablas de
verdad, conjuntos y circuitos
4 Proposiciones, F.B.F, árboles Parcial I 15%
sintácticos, Leyes
s, tablas de verdad y circuitos
6 Derivaciones Hipotéticas Taller II 5%
7 Derivaciones Hipotéticas Parcial II 20%
9 Derivaciones Categóricas, Taller III 5%
consistencia
10 Derivaciones Categóricas, Parcial III 20%
Metateoremas
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: