| Mestrado Universitario en Computación |
 Asignaturas |
| Lóxica Computacional |
| Contidos |
| Datos Identificativos | 2012/13 | |||||||||||||
| Asignatura | Lóxica Computacional | Código | 614434004 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
| Mestrado Oficial | 1º cuadrimestre |
Primeiro | Obrigatoria | 6 | ||||||||||
|
||||||||||||||
| Temas | Subtemas |
| Introducción a los sistemas lógicos | Lógica Proposicional y Lógica de Primer Orden Satisfactibilidad (SAT) y complejidad Lógicas de Orden Superior |
| Lógica modal e intuicionista | Introducción a la lógica modal Lógicas epistémicas Lógicas temporales: lógica temporal lineal, CTL*, lógica dinámica Lógica intensional Lógica intuicionista |
| Razonamiento automático | Probadores de teoremas Model checking Tableros semánticos |
| Lógicas multivaluadas. Lógica Fuzzy | Lógicas multivaluadas Lógica Fuzzy |
| Lógica Descriptiva y Ontologías | Lógica Descriptiva y Ontologías |
| Razonamiento no monótono y revisión de creencias | Circunscripción Lógica Default Lógica modal no monótona Revisión de creencias |
|
