Matemática para programadores (01)

Описание к видео Matemática para programadores (01)

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.

Комментарии

Информация по комментариям в разработке

Похожие видео