Paradigmas de la ingeniería del software, estimación de los costes de un proyecto de ingeniería de software, métricas de productividad del software, el proceso de diseño de software, las pruebas de software, conceptos de diseño de software.

Mecanismo de interrupciones, estados de un proceso, comunicación y sincronización entre procesos, métodos para el tratamiento del interbloqueo, recuperación del interbloqueo, implementación de sistemas de ficheros, introducción al sistema operativo UNIX.

Objetivos del sistema de gestión de memoria, modelo de memoria de un proceso, esquemas de memoria basados en asignación contigua, intercambio, memoria virtual, archivos proyectados en memoria, servicios de gestión de memoria.

Paginación, segmentación paginada, gestión de memoria en UNIX, intercambio (swap), gestión de memoria del Kernel, gestión de memoria en Linux.

El TAD árbol binario, implementaciones del árbol binario, recorrido de un árbol binario, árboles binarios de búsqueda, implementación dinámica mediante punteros.

Lenguaje de la lógica proposicional, equivalencia lógica, tablas de verdad, árboles semánticos, aplicación al diseño de circuitos: álgebra de Boole. Algoritmo de resolución proposicional, eliminación de cláusulas con literales puros.