CI2511
Lógica Simbólica
(Septiembre- Diciembre 2008)

Bienvenido a la página de Lógica. Aquí se publicará toda la información del curso.

Profesores

Objetivo general

Introducir al estudiante en los sistemas formales de modelación del razonamiento.

Al término del curso se espera que se hayan alcanzado los siguientes objetivos:

Desarrollar en el estudiante la capacidad de abstraer un problema a través de su formulación en lógica de primer orden.

Introducir el uso de la lógica como disciplina de razonamiento.

Introducir al estudiante en las pruebas deductivas.

Texto del Curso

• Gries, David and Schneider, Fred B. (1994): A Logical Approach to Discrete Math. Texts and Monographs in Computer Science. Springer-Verlag.

Cronograma

cronograma.pdf

Prácticas

• Práctica Semana 2

• Práctica Semana 3

• Práctica Semana 3-4

• Práctica Semana 5

• Práctica Semana 6

• Práctica Semana 7

• Ejercicios Adicionales

• Práctica Semana 8

• Práctica Semana 11

Foro de discusión

Instrucciones en la página del Prof. Héctor Palacios.

Evaluación

• I Parcial 35%. Octubre 8 (Miércoles 4ta)
• II Parcial 35% Octubre 29 (Miércoles 7ma)
• III Parcial 30% Diciembre 1 (Lunes 12da)

Bibliografía Complementaria:

• Nimal Nissanke (1999) Introductory logic and sets for computer scientists; Addison-Wesley.
• Tineo, L., and Lara, I. (1996): Problemario para CI-2511: Lógica Simbólica. Reporte CI-1996-007. Universidad Simón Bolívar.
• Copi, Irving (1979): Lógica Simbólica. MacMillan Publishing Co., Inc.
• Thomason, Richmond (1970): Symbolic Logic: an introduction. MacMillan Publishing Co., Inc.
• Grassmamm, W. K. and Tremblay, J.-P. (1996): Matemática Discreta y Lógica. Prentice Hall.