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 | ||||||||||
|
Metodoloxías | Descrición |
Discusión dirixida | Las diversas lecturas previstas dan pie a debates acerca de la mejor forma de abordar los diferentes sistemas deductivos intentando aportar reflexiones sobre cómo enriquecer sus fundamentos. |
Solución de problemas | Hay que practicar tanto con problemas modelizados como con porblemas reales a formalizar los diferentes métodos deductivos que se han ido explicando durantes las sesiones magistrales. |
Sesión maxistral | Se explican los diferentes métodos deductivos usados en los diferentes ámbitos lógicos incidiendo en las cuestiones relativas a la coherencia y la completitud en aquellos ámbitos donde se dé. |