|
Guía DocenteCurso Facultade de Informática |
| Enxeñerio Técnico en Informática de Xestión |
 Asignaturas |
| Tecnoloxía da Programación |
| Resultados de aprendizaxe |
| Datos Identificativos | 2012/13 | |||||||||||||
| Asignatura | Tecnoloxía da Programación | Código | 614211203 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
| 1º e 2º Ciclo | 2º cuadrimestre |
Segundo | Troncal | 6 | ||||||||||
|
||||||||||||||
| Competencias de materia (Resultados de aprendizaxe) | Competencias da titulación | ||
| - Aprender a usar os métodos formáis e o razoamento lóxico para a verificación e o deseño de programas. | A4 A7 |
B2 B3 B12 |
|
| - Acostumarse a especificar formalmente os requisitos dun programa, escribindo en fórmulas a súa precondición e postcondición. | A4 |
B3 B12 |
|
| - Adquirir soltura coa construcción de probas formáis tanto en lóxica proposicional como en lóxica de predicados e uso de cuantificadores. | A7 |
B2 |
|
| - Aprender a deseñar programas correctos a partir da súa especificación formal e a proba de corrección da mesma. | A4 A7 |
B2 B4 B5 |
|
|
