Datos Identificativos | 2015/16 | |||||||||||||
Asignatura | Lóxica para a Computación | Código | 614111626 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
1º e 2º Ciclo | 1º cuadrimestre |
Todos | Optativa | 5.5 | ||||||||||
|
Resultados de aprendizaxe | Competencias / Resultados do título | ||
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 |