|
Guía DocenteCurso Facultade de Informática |
| Enxeñeiro en Informática |
 Asignaturas |
| Lóxica para a Computación |
| Contidos |
| Datos Identificativos | 2012/13 | |||||||||||||
| 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 | ||||||||||
|
||||||||||||||
| Temas | Subtemas |
| 1. Introducción a la lógica. 2. Lógica proposicional. 3. Lógica de primer orden 4. Lógica modal 5. Lógica intuicionista |
2.0 Sintaxis y semántica 2.1 Métodos deductivos 2.1.1 Tableaux 2.1.2 Principio de Resolución. 2.1.3 Dedución natural. 2.1.4 Secuentes. 3.0 Sintaxis y semántica 3.1 Métodos deductivos 3.1.1 Tableaux 3.1.2 Principio de Resolución. 3.1.3 Dedución natural. 3.1.4 Secuentes. 4.1 Semántica de Kripke 4.2 Tableaux 5.1 Semántica de Brouwer-Kolmogorov-Heyting 5.2 Tableaux |
|
