Return to home

111222 Lógica 

GRUPO  CCB81

TRIMESTRE 13I

Comentarios y sugerencias

cbarron@correo.azc.uam.mx

1. Presentación curso, objetivos y forma de evaluación. Resumen clase y tarea. Evaluación (C1+C2+C3)/3=P, más un punto de tareas en cada parcial, Proyecto ( Prolog), Si P>8.5 y Proyecto correcto, exento con MB. De otra forma Ex.Global (G) (corto si pasaron todos los parciales, largo presentando los parciales reprobados), Calificación final (cf)  = (P+G)/2. Escala si cf<6 tiene NA, si cf$\in$ [6,7.5) tienes S, si cf$\in$ [7.5,8.5) tienes B y finalmente, si cf $\geq$ 8.5 tienes MB.
2. Conceptos. Lógica y Lenguaje Natural. Sintáctica, Pragmática y Semántica. Diagrama Objeto, Sujeto y Símbolo. Tipos de oraciones. Las proposiciones o enunciados de la lógica solo corresponden a oraciones declarativas (o declaraciones afirmativas). Conceptos.  Representación de enunciados de la Lógica: una sola letra (p, q, r, P, Q, R) o notación funcional (p(x), q(y), r(z), P(x), Q(w), R(u)). Notación básica de PROLOG.
3. Operadores lógicos: $ \Rightarrow $, $ \wedge $, $ \vee $, $ \lnot $. (Vea términos de enlace y Conectiva lógica).
4. El sistema formal de las formulas lógicas de enunciados representados por un símbolo. El álgebra booleana, planteamiento y resolución de problemas de lógica clásica. Ejemplos del libro ABC de la Cibernetica.
5. Resolución del examen sorpresa y del ensayo. tarea calificar el examen sorpresa de otro compañero.
6. Entrega de la tarea del ensayo. Sistemas formales. Sistema de formulas conjuntivas de clausulas disyuntivas o sistema de formas normales de clausulas lógicas (fncl).  El probema de determinar si una fcnl es satisfacible es encontrar una n-ada booleana que lo satisfaga. Por ejemplo,  $x_{1}\vee x_{2}\vee x_{3}$
   $\wedge $ $x_{1}\vee \rceil x_{2},$ se satisface con $(1, 0, 0)$. Pero $  x_{1}$ $ \wedge \rceil x_{1},$ no es satisfacible. En 8. pag. 224 a 227 del Libro Introducción al Diseño y análisis de Algoritmos, Un enfoque estrategico, Lee, Tseng, Chang, Tsia, McGraw Hill. (El libro usa $&$ en lugar de $\wedge$).
7. Revisión de algunos ejercicios de la tarea. El sistema formal MIU, pág. 68 del libro  Hofstadter. Por favor revise cuidadosamente la solución de la tarea, tiene una corrección importante a lo expuesto en clase.
8. 1er examen parcial.

1. Solución del primer examen parcial.
2. Enigma MU del sistema formal MIU. Vea pág. 68 del libro  Hofstadter. Interpretación de los sistemas formales. Autoreferencia.
3. Teoría de inferencia. Introducción al Cálculo de enunciados. Silogismo y los esquemas: Modus Ponendo Ponens y Modus Tollendo Tollens.
4. Esquemas de Inferecia y ejemplos símbolicos. Modus Ponendo Ponens, Modus Tollendo Tollens, doble negación, regla de Adjunción, modus tollendo ponens.
5. Teoría de la demostración Lógica para la programación.
6. Un ejemplo de Prolog para que definan su proyecto final.
7. 2do examen parcial.

1. Introducción al Cálculo de Predicados. Traducción de predicados a formulas lógicas con los cuantificadores Universal y existencial. Copias del cap. 5, Iniciación a la Lógica, José Antonio Arnaz, ed. Trillas, 2010, pág.1, pág.2y3, pág.4y5, pág.6y7. pág.8y9. Cuadro de Oposición de las proposiciones, ejercicios.

2. Cálculo de Predicados y ejemplos.

3. Solución del 3er. Examen Parcial.