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.
Continue this lesson in the app
Install CourseHive on Android or iOS to keep learning while you move.
FAQs
We curate free YouTube courses, organized by category and language — and make it easy for you to track your learning progress.
Yes. Free courses are embedded YouTube videos.
Currently available in English — with Portuguese, Spanish, French, German, and Italian coming soon.
Check ratings, reviews, duration, and description.
All courses include a certificate of participation.
Yes, an account lets you track progress, earn certificates, and save favorites.
We auto-save your watch position so you can resume on any device.
