CM0260 Lógica
En constante actualización
En constante actualización
Introducción
Lógica proposicional: Semántica
Lógica proposicional: Método de deducción
Lógica de predicados monádicos
La lógica de las relaciones
Lógica de predicados con identidad
Teoría de conjuntos
Parciales semestres anteriores
Copi, Irving M. Lógica simbólica. 2nd ed. Grupo Editorial Patria, 2001.
Copi, Irving M. Symbolic Logic. 5th ed. New York: Macmillan, 1979.
Hurley, Patrick J., and Lori Watson. A Concise Introduction to Logic. Thirteenth edition. Boston, MA: Cengage Learning, 2018. https://www.cengage.com/c/a-concise-introduction-to-logic-13e-hurley/9781305958098/
Sierra, Manuel. “Árboles De Forzamiento semántico.” In Revista Universidad EAFIT, 37:53–72. 123, 2001. https://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/984.
René Londoño Cano
Lógica de predicados (parte 1): Video - PDF de clase
Lógica de predicados (parte 2): Video - PDF de Clase - Notas de clase
Natalia Agudelo Muñetón
Videos grabados por una estudiante: https://drive.google.com/drive/folders/1QRBozsFNUEVnSircPjuXjxNuWE9KKW2p?usp=sharing
Este video explica el método de demostración condicional, presentado en la sección 7.5 del libro "A Concise Introduction to Logic" de Patrick J. Hurley y Lori Watson.
Parciales (70%)
Parcial 1 (20%), semana 5
Parcial 2 (25%), semana 10
Parcial 3 (25%), semana 16
Quices y actividad de clase (30%)
En cada grupo se determinará en qué semanas se harán los quices y qué valor tendrán sobre la nota del curso. La actividad de clase es diferente de los quices y no debe estar contenida dentro de otra actividad evaluativa.
Anibal Fernando Álvarez Pérez
César Augusto Guerra Villa
René Alejandro Londoño Cano
Lugar: 20-615 Consultorio de ciencias.
Pendiente
Profesor del curso
Coordinador de la Línea de Lógica y Estructuras Discretas: Sergio Steven Ramírez Rico (ssramirezr@eafit.edu.co)
Jefe del Núcleo de Matemáticas: Gabriel Ignacio Loaiza Ossa (gloaiza@eafit.edu.co)