Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
Puedes deshacer la edición.
Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual |
Tu texto |
Línea 9: |
Línea 9: |
|
| |
|
| == Contenidos == | | == Contenidos == |
| <big>'''Parte I - Corrección de programas imperativos:'''</big>
| | *Especificación de programas utilizando contratos. |
| *Contratos. Obligaciones y derechos del programador y del usuario
| | *Tipos de datos: algebraicos y abstractos. |
| *Conceptos básicos de los programas imperativos: variables - estructuras de control - funciones - ciclos | | *El tipo de datos lista |
| *Corrección de programas:
| | *Conceptos básicos de los programas imperativos. Estructuras de control - variables. |
| # Especificación formal de contratos: tipos de datos básicos, secuencias, n-uplas, operadores de lógica condicionales (cand y cor) y sus propiedades
| | *El tipo de dato arreglo. |
| # Demostración de corrección parcial: precondicicón más débil. Teorema de corrección parcial para ciclos. Invariantes de ciclo.
| | *Fundamentos de ordenamiento |
| # Demostración de terminación: Función variante
| | *Funciones y procedimientos - pasaje de parámetros. |
| | | *Ciclos - Construcción, terminación y corrección. |
| <big>'''Parte II - Algoritmos sobre secuencias'''</big>
| |
| * Buenas prácticas para el desarrollo de software. El software pensado para consumo humano. | |
| * Fundamentos de testing estructural: cubrimiento de líneas, branches, condiciones básicas. Diagramas de flujo de control. | |
| * Tiempo de ejecución de peor caso de un algoritmo. Notación O grande. | |
| * Algoritmos de búsqueda sobre secuencias: búsqueda lineal, búsqueda binaria | |
| * Algoritmos de ordenamiento sobre secuencias: ordenamiento por selección, ordenamiento por inserción, ordenamiento por burbujea, problema de la bandera holandesa
| |
| * Algoritmos sobre secuencias ordenadas: problema de apareo entre secuencias, problema del welfare crook | |
| * Algoritmos de matching de strings: algoritmo ingenuo de búsqueda de patrones, algoritmo Knuth-Morris-Pratt | |
|
| |
|
| ==Prácticas== | | ==Prácticas== |