Calculo de programas

TitleCalculo de programas
Publication TypeBook
Year of Publication2008
AuthorsBlanco, JO, Smith, S, Barsotti, D
PublisherUniversidad Nacional de Cordoba
CityCórdoba
ISBN Number9789503306420
AbstractLa programación es una actividad que ofrece desafíos intelectuales interesantes, en la cual se combinan armónicamente la creatividad y el razonamiento riguroso. Lamentablemente no siempre es enseñada de esta manera. Muchos cursos de introducción a la programación se basan en el “método” de ensayo y error. Las construcciones de los lenguajes de programación son presentadas sólo operacionalmente, se estudia un conjunto de ejemplos y se espera resolver problemas nuevos por analogía, aún cuando estos problemas sean radicalmente diferentes de los presentados. La presencia de errores es en estos casos más la regla que la excepción. Existe, afortunadamente, otra forma de aproximarse a la programación. Los programas pueden ser desarrollados de manera metódica a partir de especificaciones, construyendo a la vez el programa y su demostración, con esta última guiando el proceso. Además de su utilidad práctica, este ejercicio intelectual es altamente instructivo y vuelve a la programación una tarea creativa e interesante. En este punto la lógica matemática es una herramienta indispensable como ayuda para la especificación y desarrollo de programas. Los programas son fórmulas lógicas tan complejas y voluminosas que fue difícil reconocerlos como tales. Este libro comienza presentando un estilo de lógica orientado a trabajar de manera más adecuada con fórmulas de gran tamaño. A partir de su estudio se mostrará cómo desarrollar programas funcionales e imperativos utilizando este formalismo de manera unificada.
Powered by Drupal