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

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

Coordenadas de los profesores

Noticias

• Notas parcial 3 y Recuperación: prof. Martínez.
  Revisión: Lunes 12/12/2011, 10:00 am. MYS 229-A.
• Lista con las propiedades para el manejo de desigualdes e intervalos aqui
• Miercoles 16 de Nov: Quiz de Nivelación. 10 puntos sobre métodos de prueba. Más información el lunes 14 en clases.
• Notas parcial 2: prof. Vidal
• Notas parcial 2: prof. Martínez

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.

Calendario y Evaluaciones

Notas Importantes

• Todas las evaluaciones son acumulativas.
• Los estudiantes involucrados en copia tendrán 1 (uno) en la materia, una amonestaci&ocute;n en la coordinaci&ocaute;n y dependiendo de la gravedad una solicitud de apertura de expediente disciplinario.
• En caso de no asistir a un exámen por problemas de salud, debe solicitar su repetici&ocauten ante el Decanato de Estudios Profesionales.
• El ex´men de recuperaci&ocute;n para los casos solicitados por el Decanato de Estudios Profesionales, cubrir´ todos los temas dictados durante las doce semanas del trimestre y se realizará durante la semana 12.

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.