Descripción del proyecto

Curso Online

Curso sobre LAFF – Sobre la programación para la corrección

Visión general del curso sobre LAFF – Sobre la programación para la corrección

¿Es correcto mi programa? ¿Dará la salida correcta para todas las posibles entradas permitidas? Las computadoras son ahora 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 ciencias de la computación, presentaremos «programación orientada a objetivos» de la manera en que lo pretendía Edsger Dijkstra, uno de los científicos de computación más influyentes.

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 computar 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, implementación y establecimiento de la corrección de un programa se puede hacer sistemático.

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 a partir de los cuales 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 computación científica. Este curso muestra cómo hacer que la derivación formal de algoritmos sea práctica y lo dejará reflexionando sobre cómo nuestros resultados podrían extenderse a otros dominios.

Como resultado del apoyo de MathWorks, los estudiantes tendrán acceso a MATLAB durante la duración del curso.

Lo que aprenderás en este curso

  • Desarrollar afirmaciones que describan estados en un programa.
  • Demuestre que los programas son correctos usando la lógica.
  • Construya algoritmos usando técnicas de programación orientadas a objetivos.
  • «Cortar y cortar» para descubrir familias de algoritmos basados en bucles para cálculos matriciales.

Aprende, LAFF – Sobre la programación para la corrección

Etiquetas: