|
Guía DocenteCurso Facultade de Informática |
| Enxeñeiro en Informática |
 Asignaturas |
| Lóxica para a Computación |
| Metodoloxías |
| 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é. |
|
