El conocimiento y uso de unas nociones lógicas (tanto clásicas como modales) es imprescindible para que el egresado pueda trabajar en aspectos relativos a formalización, verificación y especificación, herramientas imprescindibles para un ingeniero informático.
Para ello, es importante que el alumno maneje herramientas o métodos deductivos donde la semántica de las fórmulas queda supeditada a su sintaxis.
Es prioritario que manejen las diversas nociones semánticas (proposicional, predicados, Kripke) y usen con soltura los sistemas deductivos básicos (resolución o secuentes). |
A1 A10
|
B2 B3 B4 B11 B13
|
C6 C8
|