Cronograma 2010

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


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


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


Parcial I

Reglas de Inferencia.

Derivaciones hipotéticas.

5

Lógica Proposicional Derivaciones hipotéticas.

Método de reducción al absurdo

6


Técnicas de Demostración

Derivaciones

Derivaciones hipotéticas.

Método de reducción al absurdo

Taller II

Derivaciones categóricas

7



Derivaciones

Parcial II Método de reducción al absurdo,

Derivaciones categóricas.

8



Metateorema de Solidez. Metateorema de Completitud

9



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


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


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


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:

Cronograma 2010

Documents

Transcript of Cronograma 2010