The Logic in Action Open Course Project aims at the development of elementary and intermediate courses in logic in electronic form. All material is freely available: the individual chapters of a larger manuscript which the project members have produced can be found on http://www.logicinaction.org/. This material has been used and tested in academic courses at Amsterdam University College (Amsterdam, The Netherlands), Tsinghua University (Beijing, China) (http://fenrong.net/teaching/opencourse.html). Parts have also been used at the University of Seville (Seville, Spain).
On this site we list the presentations that can be used with the individual chapters of the manuscript.
El Proyecto de Curso Abierto Lógica en Acción tiene como meta el desarrollo de cursos en formato electrónico para la enseñanza de lógica a nivel básico y nivel intermedio. Todo el material está disponible de manera libre, y los capítulos individuales del manuscrito que los miembros del proyecto han producido pueden ser descargados desde http://www.logicinaction.org/. Este texto ha sido utilizado como libro de texto en cursos acádemicos en diversas instituciones, tales como el Colegio Universitario de Amsterdam (Amsterdam University College) en Amsterdam, Paises Bajos, y la Universidad Tsinghua (Tsinghua University) en Beijing, China (http://fenrong.net/teaching/opencourse.html). Partes del texto tambíen han sido utilizados como material de apoyo en otros lugares, como la Universidad de Sevilla (Universidad de Sevilla) en Sevilla, España.
En esta página proporcionamos presentaciones que pueden ser usadas con los capítulos del texto.
Slides / Presentaciones
English Español
Chapter 1: Introduction Capítulo 1: Introducción Chapter 2: Propositional Logic Capítulo 2: Lógica Proposicional Chapter 3: Syllogistic Reasoning Capítulo 3: Razonamiento Silogístico Chapter 4: The World According to Predicate Logic Capítulo 4: El Mundo de Acuerdo a la Lógica de Predicados Chapter 5: Knowledge and Information Flow Capítulo 5: Lógica, Información y Conocimiento Chapter 6: Logic and Action Capítulo 6: Lógica y Acción Chapter 7: Logic, Games and Interaction Capítulo 7: Lógica, Juegos e Interaccón Chapter 8: Validity Testing Capítulo 8: Probando Validez Chapter 9: Proofs Capítulo 9: Demostraciónes Chapter 10: Computation Capítulo 10: Computación Appendix: Sets, Relations and Functions Apéndice: Conjuntos, Relaciones y Funciones