Cargando ...
Computabilidad, complejidad computacional y verificación de programas

Computabilidad, complejidad computacional y verificación de programas

Sinopsis

Computabilidad, Complejidad Computacional y Verificación de Programas contiene las quince clases que conforman la asignatura Teoría de la Computación y Verificación de Programas, una introducción a la teoría de la computabilidad y complejidad computacional de problemas y la teoría de correctitud de programas, que dicto en la Licenciatura en Informática de la Facultad de Informática de la Universidad Nacional de La Plata desde hace varios años. El libro es una suerte de segunda edición reducida de Teoría de la Computación y Verificación de Programas, de los mismos autores, editado en 2010 por la EDULP conjuntamente con McGraw-Hill, el cual incluye además de las clases de la asignatura básica, las de Teoría de la Computación y Verificación de Programas Avanzada, asignatura que también dicto en la misma carrera desde hace tiempo. El nuevo trabajo excluye principalmente la complejidad espacial, la verificación de los programas no determinísticos y concurrentes, el empleo de la lógica temporal para verificar los programas reactivos, y la semántica denotacional de los lenguajes de programación, tópicos tratados en la obra anterior. De todos modos, en la presente publicación hay secciones, breves, dedicadas a la jerarquía espacial, la terminación con hipótesis de fairnes de los programas no determinísticos, y la verificación de los programas concurrentes con memoria compartida, desarrolladas de la manera en que dichos temas son referenciados en la asignatura básica.

Información


  • Ricardo Rosenfeld

    Rosenfeld obtuvo en 1983 el título de Calculista Científico de la Facultad de Ciencias Exactas de la Universidad Nacional de La Plata (UNLP), Argentina, y en 1991 completó los estudios de la Maestría en Ciencias de la Computación del Instituto de Tecnología Technión, Israel. Desde 1991 se desempeña como Profesor en la UNLP, en las áreas de teoría de la computación y verificación de programas. Previamente, entre 1984 y 1990, fue docente en la UNLP (lenguajes y metodologías de programación), en la Universidad de Buenos Aires (verificación y derivación de programas), en la Escuela Superior Latinoamericana de Informática (algorítmica, estructuras de datos, teoría de compiladores), y en el Instituto de Tecnología Technión de Israel (programación). Es además uno de los socios de Pragma Consultores, empresa regional dedicada a la tecnología de la información, ingeniería de software y consultoría de negocios. Con Jerónimo Irazábal publicó en 2010 el libro Teoría de la Computación y Verificación de Programas, editado por la EDULP en conjunto con McGraw-Hill.


  • Jerónimo Irazábal

    Irazábal obtuvo en 2009 el título de Licenciado en Informática de la Facultad de Informática de la UNLP, y actualmente se encuentra desarrollando un Doctorado en Ciencias Informáticas en la misma Facultad, centrado en los lenguajes de dominios específicos. Desde 2005 es docente en la UNLP, en las áreas de teoría de la computación, verificación de programas y lógica. Además es becario del Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), y su lugar de trabajo es el Laboratorio de Investigación y Formación en Informática Avanzada (LIFIA). Anteriormente participó en la creación de la compañía Eureka Consulting S.A., dedicada al desarrollo de software. Es co-autor, con Ricardo Rosenfeld, del libro Teoría de la Computación y Verificación de Programas.

Buscar Libros

Sitios relacionados

Portal de Libros de la FaHCE
Licencia Creative Commons


Esta obra está bajo una Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional

.
Ubicación 49 y 115 s/n
Open Monograph Press Public Knowledge Project
<