CM0260 Lógica

Semestre 2015-2

¡Esta página será actualizada continuamente durante el curso!

Información del curso

Profesor

Andrés Sicard Ramírez <asr(at)eafit(dot)edu(dot)co>

Clases

Grupo 003: jueves, 18:00–21:00, aula 33-404

Bibliografía

Copi, Irving M. (2001). Lógica Simbólica. 2.ª edición, 20.ª reimpresión. Título original «Symbolic Logic». Traducción por Andrés Sestier Boulier. Compañía Editorial Continental. Correcciones [ pdf ].

Hurley, Patrick J. (2012). A Concise Introduction to Logic. 11.ª edición. Cengage Learning.

Rosen, Kenneth H. (2004). Matemática Discreta y sus Aplicaciones. 5ª ed. McGraw-Hill. Correcciones [ pdf ].

Sierra, Manuel (2010). Conjuntos y Relaciones. MS-Print.

Programas

LogicCoach 11 (disponible en EAFIT Interactiva).

Evaluación

• Parciales

  N.B. Los parciales serán en la primera parte de la clase.

  Parcial	%	Semana	Fecha	Secciones del texto guía
  1.º	19%	4.ª	Agosto 13	Teoría y ejercicios [Copi 2001]: Cap. 1, Cap. 2, § 3.1, § 3.2 y § 3.3 Ejercicios [Hurley 2012]: Cap. 6, § 7.1, § 7.2, § 7.3 y § 7.4
  2.º	19%	8.ª	Septiembre 10	Teoría y ejercicios [Copi 2001]: § 3.5, § 3.6, § 3.7, § 3.8 y Cap. 4 Ejercicios [Hurley 2012]: § 7.5, § 7.6, § 7.7, § 8.2, § 8.3, § 8.4 y § 8.5
  3.º	19%	13.ª	Octubre 15	Teoría y ejercicios [Copi 2001]: § 5.1, § 5.2, § 5.3 y § 5.4 Ejercicios [Hurley 2012]: § 8.5 y § 8.6
  4.º	19%	16.ª	Noviembre 5	Teoría y ejercicios [Rosen 2004]: § 1.6 y § 1.7 Ejercicios: [Sierra 2010]

• Tareas

  Tarea	%	Semana
  1.ª	2%	2.ª
  2.ª	2%	3.ª
  3.ª	2%	4.ª
  4.ª	2%	6.ª
  5.ª	2%	7.ª
  6.ª	2%	8.ª
  7.ª	2%	10.ª
  8.ª	2%	11.ª
  9.ª	2%	12.ª
  10.ª	2%	14.ª
  11.ª	2%	15.ª
  12.ª	2%	16.ª

Material para el curso

• Reglas de inferencia (Hurley 2012) [ pdf ]

• Teoría de conjuntos: Definiciones e identidades (Rosen): [ pdf ]

• Diapositivas

  Temas	Diapositivas	Sección de los textos guía
  Introducción	[ pdf ]	N/A
  Lógica propositional: Semántica	[ pdf ]	Copi [2001]: Cap. 1, Cap. 2 y § 3.3 Hurley y Watson [2016]: Cap. 6
  Lógica proposicional: Método de deducción	[ pdf ]	Copi [2001]: § 3.1, § 3.2, § 3.5, § 3.6, § 3.7 y § 3.8 Hurley y Watson [2016]: Cap. 7
  Lógica de predicados monádicos	[ pdf ]	Copi [2001]: Cap. 4 Hurley y Watson [2016]: § 8.2, § 8.3, § 8.4 y § 8.5
  La lógica de las relaciones	[ pdf ]	Copi [2001]: § 5.1, § 5.2 y § 5.3 Hurley y Watson [2016]: § 8.6
  Lógica de predicados con identidad	[ pdf ]	Copi [2001]: § 5.4 Hurley y Watson [2016]: § 8.7
  Teoría de conjuntos	[ pdf ]	Rosen [2004]: § 1.6 y § 1.7

Información adicional

• Alex Kocurek (2019). Natural Deduction Proofs in LaTeX.
• LaTeX for Logicians.