Este es el primer vídeo de una serie donde intento mostrar cómo usar la teoría de conjuntos para programar al escribir especificaciones formales de programas y, a través de esto, mejorar la calidad del código y de los proyectos de desarrollo. En este vídeo se explica el concepto de especificación de software en relación a los requerimientos y la implementación (programa). Además se introduce lo mínimo de la teoría de conjuntos finitos y se da una mínima primera especificación.