Programa general

• 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

Programa del curso

programa-cm0260-20252

Material de estudio

Ejercicios sugeridos

Parciales semestres anteriores 

Libros guía

• 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.

Diapositivas de clase

• Andrés Sicard Ramírez

• Sergio Ramírez Rico

Reglas de inferencia

• Lógica proposicional

• Lógica de predicados

Videos

• Demostración condicional

Grabaciones de clase

• 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

  • Lógica de relaciones: Video - PDF clase

  • Demostración de invalidez: Video - PDF clase

• Natalia Agudelo Muñetón

  • Videos grabados por una estudiante: https://drive.google.com/drive/folders/1QRBozsFNUEVnSircPjuXjxNuWE9KKW2p?usp=sharing 

Actividades evaluativas

• 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.

Profesores

• Anibal Fernando Álvarez Pérez

• César Augusto Guerra Villa

• Edison Mauricio Rivera

Atención a estudiantes

• Emanuel González Florez
  Consultorio de ciencias 20-615

  • • Lunes 12:00 - 13:00

    • Martes 15:00 - 16:00

    • Miércoles 15:00 - 17:00

    • Jueves 13:00 - 17:00

    • Viernes 15:00 - 17:00

• Tomás Buitrago Jaramillo
  Consultorio de ciencias 20-615 

  • Jueves 7:00 - 12:00 y 13:00 - 15:00

  • Viernes 9:00 - 12:00 y 13:00 - 16:00

Conducto regular

1. Profesor del curso

2. Coordinador de la Línea de Lógica y Estructuras Discretas: Sergio Steven Ramírez Rico (ssramirezr@eafit.edu.co)

3. Jefe del Núcleo de Matemáticas: Gabriel Ignacio Loaiza Ossa (gloaiza@eafit.edu.co)

Grupos

Pendiente