|
Guía DocenteCurso Facultade de Informática |
| Enxeñerio Técnico en Informática de Xestión |
 Asignaturas |
| Tecnoloxía da Programación |
| Contidos |
| 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 | ||||||||||
|
||||||||||||||
| Temas | Subtemas |
| Introducción |
Un pouco de historia Algúns exemplos |
| Lóxica | Cálculo proposiconal Cálculo de predicados |
| Notación para arrays | Notación Abreviaturas Arrays multidimensionais |
| Guarded Command Language | Sintaxis Semántica operacional Algunhas definicións: determinismo, equivalencia Funcións e procedementos |
| Verificación Formal de Programas | Corrección parcial vs total Semántica axiomática de GCL Proba de corrección de sentencias condicionais Proba de corrección de bucles: invariante e función cota |
| Derivación de Programas | Estratexias para a construcción de condicionais Estratexias para a construir un bucle a partir da invariante e a cota |
| Detección de invariantes | Estratexias para o deseño de invariantes |
| Deseño de Funcións Cota | Estratexia para o deseño de funcións cota Detección de orde lexicográfica na evolución das variables |
| Procedementos, Funcións e Recursividade | Proba de corrección con paso de parámetros Tipos de Recursividade Proba de corrección para chamadas a funcións recursivas |
|
