Computabilidad, complejidad computacional y verificación de programas

Autores
Rosenfeld, Ricardo; Irazábal, Jerónimo
Año de publicación
2013
Idioma
español castellano
Tipo de recurso
libro
Estado
versión publicada
Descripción
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.
Facultad de Informática
Materia
Ciencias Informáticas
programación
PROGRAMMING TECHNIQUES
SOFTWARE ENGINEERING
programas informáticos
formación profesional
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/27887
Acceder
id SEDICI_515e02629aad19a1e49a4d4f4ce378a2
oai_identifier_str oai:sedici.unlp.edu.ar:10915/27887
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Computabilidad, complejidad computacional y verificación de programasRosenfeld, RicardoIrazábal, JerónimoCiencias InformáticasprogramaciónPROGRAMMING TECHNIQUESSOFTWARE ENGINEERINGprogramas informáticosformación profesional<i>Computabilidad, Complejidad Computacional y Verificación de Programas</i> 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 <i>Teoría de la Computación y Verificación de Programas</i>, 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.Facultad de InformáticaEditorial de la Universidad Nacional de La Plata (EDULP)2013info:eu-repo/semantics/bookinfo:ar-repo/semantics/libroinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_2f33application/pdfhttp://sedici.unlp.edu.ar/handle/10915/27887https://doi.org/10.35537/10915/27887spainfo:eu-repo/semantics/altIdentifier/isbn/978-950-34-0970-1info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:29:45Zoai:sedici.unlp.edu.ar:10915/27887Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:29:45.541SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Computabilidad, complejidad computacional y verificación de programas
title Computabilidad, complejidad computacional y verificación de programas
spellingShingle Computabilidad, complejidad computacional y verificación de programas
Rosenfeld, Ricardo
Ciencias Informáticas
programación
PROGRAMMING TECHNIQUES
SOFTWARE ENGINEERING
programas informáticos
formación profesional
title_short Computabilidad, complejidad computacional y verificación de programas
title_full Computabilidad, complejidad computacional y verificación de programas
title_fullStr Computabilidad, complejidad computacional y verificación de programas
title_full_unstemmed Computabilidad, complejidad computacional y verificación de programas
title_sort Computabilidad, complejidad computacional y verificación de programas
dc.creator.none.fl_str_mv Rosenfeld, Ricardo
Irazábal, Jerónimo
author Rosenfeld, Ricardo
author_facet Rosenfeld, Ricardo
Irazábal, Jerónimo
author_role author
author2 Irazábal, Jerónimo
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
programación
PROGRAMMING TECHNIQUES
SOFTWARE ENGINEERING
programas informáticos
formación profesional
topic Ciencias Informáticas
programación
PROGRAMMING TECHNIQUES
SOFTWARE ENGINEERING
programas informáticos
formación profesional
dc.description.none.fl_txt_mv <i>Computabilidad, Complejidad Computacional y Verificación de Programas</i> 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 <i>Teoría de la Computación y Verificación de Programas</i>, 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.
Facultad de Informática
description <i>Computabilidad, Complejidad Computacional y Verificación de Programas</i> 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 <i>Teoría de la Computación y Verificación de Programas</i>, 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.
publishDate 2013
dc.date.none.fl_str_mv 2013
dc.type.none.fl_str_mv info:eu-repo/semantics/book
info:ar-repo/semantics/libro
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_2f33
format book
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/27887
https://doi.org/10.35537/10915/27887
url http://sedici.unlp.edu.ar/handle/10915/27887
https://doi.org/10.35537/10915/27887
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-950-34-0970-1
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Editorial de la Universidad Nacional de La Plata (EDULP)
publisher.none.fl_str_mv Editorial de la Universidad Nacional de La Plata (EDULP)
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260140194004992
score 13.13397

Publicaciones similares