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