CM0260 Lógica (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>
Horario de atención

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.