Enxeñeiro en Informática |
![]() |
![]() |
![]() |
|
|
Datos Identificativos | 2016/17 | |||||||||||||
Asignatura | Lógica para la Computación | Código | 614111626 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Periodo | Curso | Tipo | Créditos | |||||||||
1º y 2º Ciclo | 1º cuatrimestre |
Todos | Optativa | 5.5 | ||||||||||
|
Metodologías | Descripción |
Discusión dirigida | 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 magistral | 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é. |
|