Educación en línea gratis

LAFF - Sobre la programación para la corrección

Descripción

¿Es correcto mi programa? ¿Dará la salida correcta para todas las entradas permitidas posibles? Las computadoras ahora son esenciales en la vida cotidiana. Los programas incorrectos conducen a la frustración en el mejor de los casos y al desastre en el peor. Por lo tanto, saber cómo construir programas correctos es una habilidad que todos los que programan computadoras deben esforzarse por dominar. En este curso de informática, presentaremos la "programación orientada a objetivos" de la manera que Edsger Dijkstra, uno de los científicos informáticos más influyentes, pretendía. Aprenderá a derivar programas de la mano con sus pruebas de corrección. El curso presenta una metodología que ilustra la programación orientada a objetivos, comenzando con la formalización de lo que se va a calcular y luego haciendo crecer el programa de la mano con su prueba de corrección. La metodología demuestra que, para una amplia clase de operaciones matriciales, el desarrollo, la implementación y el establecimiento de la corrección de un programa pueden hacerse sistemáticos. Dado que esta técnica se centra en las especificaciones del programa, a menudo conduce a programas más claros y correctos en menos tiempo. El enfoque produce rápidamente una familia de algoritmos de los que luego puede elegir el algoritmo que tiene propiedades deseables, como lograr un mejor rendimiento en una arquitectura determinada. La audiencia de este MOOC se extiende más allá de los estudiantes y académicos interesados ​​en los dominios de los algoritmos de álgebra lineal y la informática científica. Este curso muestra cómo hacer que la derivación formal de algoritmos sea práctica y lo dejará pensando cómo nuestros resultados podrían extenderse a otros dominios. Como resultado del apoyo de MathWorks, los alumnos tendrán acceso a MATLAB durante el curso.

Precio: $ 49 - ¡GRATIS para auditar!

LAFF - Sobre Programación para la corrección a través de edX, una plataforma para educación fundada por Harvard y MIT.

LAFF - Sobre la programación para la corrección - UTAustinX