Cargando ...
Computabilidad y complejidad computacional

Computabilidad y complejidad computacional

Sinopsis

Se describen, de manera introductoria y sistemática, elementos clásicos de la teoría de la computabilidad y la teoría de la complejidad computacional, las cuales estudian, respectivamente, los límites de lo computable (qué problemas se pueden resolver considerando un modelo computacional universal) y el costo computacional de las resoluciones de los problemas que efectivamente se pueden resolver. El modelo utilizado lo constituyen las máquinas de Turing, y el costo computacional se establece en términos del tiempo (cantidad de pasos) y el espacio (cantidad de celdas) de dichas máquinas.

 

Información


  • Ricardo Rosenfeld

    Ricardo Rosenfeld (rosenfeldricardo@gmail.com) obtuvo el título de Calculista Científico de la Facultad de Ciencias Exactas de la Universidad Nacional de La Plata (UNLP), Argentina, en 1983, y complementó sus estudios en el Instituto de Tecnología Technión, Israel, entre 1988 y 1991 (Maestría en Ciencias de la Computación). Desde 1991 se desempeña como Profesor Adjunto en la UNLP (primero en la Facultad de Ciencias Exactas y después en la Facultad de Informática), en las áreas de Teoría de la Computación y Verificación de Programas, y desde 2021 como Profesor e Investigador en la Universidad Abierta Interamericana, en el área de Métodos Formales en la Ingeniería de Software. Previamente, entre 1984 y 1990, fue docente en la UNLP (lenguajes y metodologías de programación), en la Universidad de Buenos Aires (derivación y verificación de programas), en la Escuela Superior Latinoamericana de Informática (algorítmica y teoría de compiladores) y en el Instituto de Tecnología Technión de Israel (programación). Entre sus publicaciones se destacan los libros Teoría de la Computación y Verificación de Programas (Rosenfeld e Irazábal, 2010, EDULP y McGraw-Hill), Computabilidad, Complejidad Computacional y Verificación de Programas (Rosenfeld e Irazábal, 2013, EDULP), Lógica para Informática (Pons, Rosenfeld y Smith, 2017, EDULP) y Verificación de Programas. Programas Secuenciales y Concurrentes (Rosenfeld, 2024, EDULP). En el ámbito de la industria informática, fue Líder de Proyectos y Responsable del Area de Arquitectura Informática en Telefónica Argentina, entre los años 1991 y 1997, y desde 1997 hasta 2023 formó parte del Grupo Practia, conjunto de empresas de Tecnología de la Información con oficinas en América y Europa. En dicho grupo se desenvolvió, en varios países, como Líder de Proyectos, Consultor, Responsable de Recursos Humanos y Responsable de Cuentas Comerciales, incorporándose además, a partir de 1999, como Director y Socio.

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
<