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.

Algoritmos y programas. Lenguajes de programación, programación en lenguajes de alto nivel, programación estructurada, subprogramas, programación modular, tipos de datos estructurados, gestión dinámica de memoria, ficheros.

Concepto de módulo, módulos de definición, refinamiento sucesivo, tipos de módulos, espectro de la cohesión modular, principios de diseño modular de Bertrand Meyer, definición de procedimientos, la recursividad en algoritmos.

Definición de calidad total, principios de la calidad total, la calidad y las tecnologias de la información, calidad total en informática, calidad total en los sistemas de información, control de calidad en el desarrollo de software.

Introducción a la ingeniería del software, ingeniería de procesos del software, principales estándares y modelos, ciclo de vida del software, modelos de ciclo de desarrollo, requisitos del software, especificación de requisitos del software.

Conceptos básicos de sistemas operativos, resolución de problemas, algoritmos y programas, introducción al Lenguaje C, estructuras de control, subprogramas, tipos de datos estructurados, gestión dinámica de memoria, recursividad, ficheros.