- Presentación curso, objetivos y forma de
evaluación. Resumen
clase y tarea.
- Conceptos. Lógica y Lenguaje Natural. Tipos de
oraciones. Las proposiciones o enunciados de la lógica solo
corresponden a oraciones declarativas (o declaraciones afirmativas).
- Conceptos. Sintáctica, Pragmática y
Semántica. Diagrama Objeto-Sujeto y Símbolo. 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. Operadores lógicos:
$ \Rightarrow $, $ \wedge $, $ \vee $, $ \lnot $. (Vea
Conectiva
lógica).
- Ejemplo de
tarea en PROLOG. Conceptos. Operadores lógicos: $ \Rightarrow $, $ \wedge $, $ \vee $, $ \lnot $.
Tablas de Verdad de los operadores y sus definiciones. Equivalencia
($\equiv $): Dos expresiones son equivalentes si tienen los mismos
valores en sus columnas para todas las posibles combinaciones de
valores (1:Verdad, 0:Falso), Si-solo-si ($\Leftrightarrow $).
Simplificación y equivalencia de fórmulas lógicas (Por ejemplo doble
negación: $\lnot \lnot \lnot \equiv \lnot $).
- Álgebra de enunciados: Simplificación y
equivalencia de fórmulas lógicas, paréntesis, leyes de Morgan: $\lnot
a\wedge \lnot b\equiv \lnot \left( a\vee b\right) $ y $\lnot a\vee \lnot
b\equiv \lnot \left( a\wedge b\right) $.
Copia tabla
Álgebra de Proposiciones Libro: Matemáticas Discretas, T. Veerarajan.
- Teoría de Inferencia. Sujeto-Universo. Conciencia,
creencias, silogismo (antecedente $\rightarrow $ consecuente). Método
Científico (como herramienta para construir una conciencia
científica). Modus Ponendo Ponens: p $\Rightarrow $ q, p
$\therefore $ q.
- 2 de octubre no hay clase.
- Teoría de Inferencia.
Reglas de inferencia
ver tabla del libro: Matemáticas Discretas, T.
Veerarajan. Ejercicios de
inferencia.
- Ejercicios de inferencia y problemas lógicos (traducir a símbolos
y resolver justificando las hipótesis con la solución).
- 1er. Examen Parcial.
Jueves 11 de octubre de 2012
- 1er. Examen parcial.
Responder el
1er. examen parcial de tarea
para el martes 16 de octubre de 2012.Solución
del 1er Examen.
|
-
(jueves 18-Octubre-2012) 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.
-
Ejemplos y ejercicios, Cuadro de Oposición de las
proposiciones.
Copias del cap. 5, Iniciación a la Lógica, José
Antonio Arnaz, ed. Trillas, 2010,
pág.4y5,
pág.6y7.
pág.8y9.
-
Ejercicios de todos niveles.
Paradojas o bucles extraños.
-
Sistemas formales, ejemplo de suma de números.
Estudiar el Sistema MIU.
-
Sistemas Formales, Gramaticas, derivacfión y
verificación. Examen de tarea.
-
Solución del segundo examen.
-
Conceptos. Marco, limites, Metalenguajes, uso,
mención. Sistemas Formales, Decibilidad,
paradojas o bucles extraños.
|
|
