TEMAS BASICOS Y BIBLIOGRAFIA PARA EXAMENES DE LA OLIMPIADA

REC UITR M1076 7 RECOMENDACIÓN UITR M1076 SISTEMAS DE
rec Uitr M1451 1 Recomendación Uitr M1451 Sistemas de
CONFIGURACIÓN DE INSTALACIONES ELÉCTRICAS CICLO SISTEMAS ELECTROTÉCNICOS

EVAL SISTEMAS DE LA INFORMACIÓN EJERCICIO REQUISITOS
FACULTAD DE INGENIERÍA EN SISTEMAS COMPUTACIONALES Y TELCOMUNICACIONES
LEY SOBRE LOS SISTEMAS DE COMPENSACIÓN Y LIQUIDACIÓN

TEMAS BASICOS Y BIBLIOGRAFIA

TEMAS BASICOS Y BIBLIOGRAFIA

PARA EXAMENES DE LA OLIMPIADA

Asunción Preisser Rodríguez y José Alfredo Amor y Montaño


I. Validez lógica y tipos de argumentos.

 1. Argumentos válidos o inválidos. Tanto en lenguaje de proposiciones como en lenguaje de predicados (con constantes pero sin funciones). Ya sea en español o que aparezcan simbolizados.

2. Identificación de premisas o conclusiones (en argumentos en español).

3. Preguntas conceptuales acerca de la validez de argumentos (como: ¿qué puede decirse de un argumento en español si sus premisas y su conclusión son falsas?).

4. Añadir una premisa que falta en un argumento válido.

 

II: Simbolizaciones.

1. En lenguaje proposicional.

2. En lenguaje de predicados

3. Conectivos "disfrazados" (Como el ejercicio de Juan Manuel de: "Tú me tiras el café y yo te echo por la ventana").

4. Negación lógica de enunciados tanto en lenguaje proposicional como de predicados, y tanto en lenguaje formal como en español. (Esto lo acabo de agregar...)

 

III: Consistencia.

1. De conjuntos de enunciados (en lenguje proposicional y lenguaje de predicados, tanto en español como en lenguaje formal).

2. Preguntas conceptuales acerca de consistencia (Ejemplo: Dado que tal conjunto es consistente, ¿cómo es tal otro? o ¿qué puede decirse de tal otra cosa?).

 

IV. Conectivos y tablas de verdad.

1. Simplificación de fórmulas.

2. Tautologicidad.

3. Negación de conectivos.

 

V. Equivalencia lógica.

1. Enunciados en español o lenguaje proposicional (buscar equivalentes o no equivalentes).

2. Usar equivalencias lógicas para simplificar fórmulas.

3. Usar equivalencias lógicas en premisas o conclusiones para analizar argumentos. 

 

VI. Consecuencia lógica.

1. Conclusiones propuestas que: se siguen o no se siguen lógicamente de un conjunto de premisas.

2. Preguntas acerca de un conjunto desconocido de premisas. (Ejemplo: ¿cuál de las fórmulas no se sigue de un conjunto de premisas desconocido?


VII: Falacias.

1. Identificación de falacias en una argumentación dada. No por nombres sino por lo que hacen.

 

VIII. Reglas de Inferencia.

1. Identificar la regla utilizada en una inferencia dada en lenguaje formal. (Como en unos reactivos de Mari Carmen)

2. Usar las reglas para analizar argumentos en español. Tanto en lenguaje propposicional como en lenguaje de predicados.

 

IX. Acertijos.

1. "Tipo A". Como "el de los dioses", "¿quién mató al bicho de la influenza?",etc Estos necesitan lógica deductiva y no involucran autoreferencia.

2. "Tipo B". Como "el de vengo a ser electrocutado" o "el de Epiménides". Estos involucran cierta autorrefenecia.

 

X. Lógica Aristotélica.

1. Manejo de las proposiciones tipo "A",”E”,”I”, "O", de la clasificación conocida.

2. Conocer ciertos silogismos clásicos, no por nombre sino manejarlos.

 

BIBLIOGRAFÍA BÁSICA

  1. Introducción a la lógica. Copi-Cohen

  2. Lógica Simbólica. Copi

  3. Lógica elemental.  Fernández de Castro, Preisser, Segura, Torres.

  4. Lógica matemática elemental. B. Mates

  5. Capítulo 1 de Introduction to mathematical logic de E. Mendelson 3a o 4ta edición.

  6. ¿Cómo se llama este libro? y La Dama o el Tigre de R. Smullyan (lo malo es que estos libros ya no se consiguen) Pero pueden ver algunos semejantes del mismo autor.

  7. Falacias. Alejandro Herrera. Torres Editores

  8. Antonio Olvera, “La utilización de problemas y juegos lógicos en la enseñanza de la lógica en el bachillerato". UAQ (ver los materiales del TDL)

  9. Lógica y argumentación. de Alfonso Bustamante Arias. Pearson Educación de México, 2009. (Todos deberían de verlo antes de recomendarlo).


Ver y recomendar ver la pagina de la olimpiada (dentro de la página de la AML):


http://www.filosoficas.unam.mx/~Modus/AML/Olimpiada/Olimpiada.htm


Falacias:

http://www.iep.utm.edu/fallacy/

http://www.fallacyfiles.org/index.html

http://www.logicalfallacies.info/


Consecuencia lógica

http://plato.stanford.edu/entries/logical-consequence/#2



SISTEMAS DE ADQUISICIÓN Y TRANSMISIÓN TRANSMISIÓN DE
TÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA SISTEMAS
TÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA SISTEMAS DE


Tags: basicos y, olimpiada, bibliografia, temas, basicos, examenes