http://sedici.unlp.edu.ar:80/handle/10915/88263 Sat, 31 Oct 2026 19:23:30 GMT 2026-10-31T19:23:30Z http://sedici.unlp.edu.ar:80/handle/10915/192339 Libro 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. Editorial de la Universidad Nacional de La Plata (EDULP) Thu, 01 Jan 2026 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/192339 2026-01-01T00:00:00Z 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. http://sedici.unlp.edu.ar:80/handle/10915/175620 Libro El libro <i>Verificación de programas. Programas secuenciales y concurrentes</i> presenta una introducción a la Verificación Axiomática de Programas, en su variante conocida como Lógica de Hoare. Se prioriza lo conceptual por sobre lo formal, y se desarrollan numerosos ejemplos y ejercicios. Se incluyen tanto los programas secuenciales -determinísticos y no determinísticos- como los programas concurrentes -paralelos y distribuidos-. También se tratan elementos de metateoría de la verificación de programas -composicionalidad, sensatez y completitud de los métodos de prueba- y de semántica formal de los lenguajes de especificación y programación empleados. En el libro se destaca el aporte de las axiomáticas estudiadas a la construcción sistemática de programas. Editorial de la Universidad Nacional de La Plata (EDULP) Mon, 01 Jan 2024 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/175620 2024-01-01T00:00:00Z El libro <i>Verificación de programas. Programas secuenciales y concurrentes</i> presenta una introducción a la Verificación Axiomática de Programas, en su variante conocida como Lógica de Hoare. Se prioriza lo conceptual por sobre lo formal, y se desarrollan numerosos ejemplos y ejercicios. Se incluyen tanto los programas secuenciales -determinísticos y no determinísticos- como los programas concurrentes -paralelos y distribuidos-. También se tratan elementos de metateoría de la verificación de programas -composicionalidad, sensatez y completitud de los métodos de prueba- y de semántica formal de los lenguajes de especificación y programación empleados. En el libro se destaca el aporte de las axiomáticas estudiadas a la construcción sistemática de programas. http://sedici.unlp.edu.ar:80/handle/10915/162904 Libro El presente texto intenta proveer una vía de acceso, para los alumnos de asignaturas y carreras de Informática, a la vasta literatura técnica referida a la Programación Lógica (Logic Programming, en inglés). Antes de tener alguna experiencia en programación, seguramente pensábamos que programar era una cuestión de “lógica”. Al adentrarnos en el mundo de la computación hemos aprendido a programar con los esquemas procedurales clásicos; especialmente manejamos el concepto de algoritmo, y normalmente escribimos y diseñamos programas que se ocupan de los mecanismos internos de flujos de datos y de control del procesamiento de información (con estructuras if-then-else, while-do, repeat-until), que si bien tienen su lógica no es la “Lógica” a la que nos referimos en este libro. Así las cosas, la Programación Lógica aparece en nuestro contexto de formación universitaria como un universo diferente, en el que concebir a una fórmula lógica como una especificación de requerimientos y como un programa que puede “ejecutarse” y en el que hay estructuras de datos, resulta, lo menos, sorprendente. Editorial de la Universidad Nacional de La Plata (EDULP) Sun, 01 Jan 2023 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/162904 2023-01-01T00:00:00Z El presente texto intenta proveer una vía de acceso, para los alumnos de asignaturas y carreras de Informática, a la vasta literatura técnica referida a la Programación Lógica (Logic Programming, en inglés). Antes de tener alguna experiencia en programación, seguramente pensábamos que programar era una cuestión de “lógica”. Al adentrarnos en el mundo de la computación hemos aprendido a programar con los esquemas procedurales clásicos; especialmente manejamos el concepto de algoritmo, y normalmente escribimos y diseñamos programas que se ocupan de los mecanismos internos de flujos de datos y de control del procesamiento de información (con estructuras if-then-else, while-do, repeat-until), que si bien tienen su lógica no es la “Lógica” a la que nos referimos en este libro. Así las cosas, la Programación Lógica aparece en nuestro contexto de formación universitaria como un universo diferente, en el que concebir a una fórmula lógica como una especificación de requerimientos y como un programa que puede “ejecutarse” y en el que hay estructuras de datos, resulta, lo menos, sorprendente. http://sedici.unlp.edu.ar:80/handle/10915/161687 Libro El presente texto reúne los contenidos de Matemática 2, materia del segundo semestre para todas las carreras que se brindan en la Facultad de Informática de la Universidad Nacional de La Plata. Es el material de trabajo para el aula en los cursos habituales de esta asignatura, pero también puede convertirse en apoyo para todo aquel que desee introducirse en el conocimiento de rudimentos del Análisis Matemático. Los contenidos de Matemática 2 se corresponden con los de la asignatura Análisis Matemático 1 que clásicamente se estudian en muchas carreras de informática y otras ciencias. El libro presenta las funciones básicas del cálculo en una variable, y las herramientas de análisis matemático que se desarrollan a fin de el estudio de funciones más complejas. Se presenta la derivada de la función y sus aplicaciones en varios ejemplos. Asimismo se trabaja con el concepto de integral y sobre algunas de sus aplicaciones. El texto contiene definiciones teóricas y numerosos ejemplos prácticos, acompañados con interpretaciones geométricas y figuras como apoyo para los razonamientos que se comparten. El eje central que estructura el libro es el programa de la asignatura, pero además recoge gran parte de la cultura áulica que se construye a través de las conversaciones y el intercambio oral. Está presente, en los modos de escritura y desarrollo de los conceptos que son parte de este recorrido, la experiencia de les autores como docentes de esta y otras asignaturas. Es así que las maneras que se han elegido para presentar los conceptos condensa esa experiencia en la práctica de intercambio oral y reflexión conjunta con les estudiantes. Editorial de la Universidad Nacional de La Plata (EDULP) Sun, 01 Jan 2023 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/161687 2023-01-01T00:00:00Z El presente texto reúne los contenidos de Matemática 2, materia del segundo semestre para todas las carreras que se brindan en la Facultad de Informática de la Universidad Nacional de La Plata. Es el material de trabajo para el aula en los cursos habituales de esta asignatura, pero también puede convertirse en apoyo para todo aquel que desee introducirse en el conocimiento de rudimentos del Análisis Matemático. Los contenidos de Matemática 2 se corresponden con los de la asignatura Análisis Matemático 1 que clásicamente se estudian en muchas carreras de informática y otras ciencias. El libro presenta las funciones básicas del cálculo en una variable, y las herramientas de análisis matemático que se desarrollan a fin de el estudio de funciones más complejas. Se presenta la derivada de la función y sus aplicaciones en varios ejemplos. Asimismo se trabaja con el concepto de integral y sobre algunas de sus aplicaciones. El texto contiene definiciones teóricas y numerosos ejemplos prácticos, acompañados con interpretaciones geométricas y figuras como apoyo para los razonamientos que se comparten. El eje central que estructura el libro es el programa de la asignatura, pero además recoge gran parte de la cultura áulica que se construye a través de las conversaciones y el intercambio oral. Está presente, en los modos de escritura y desarrollo de los conceptos que son parte de este recorrido, la experiencia de les autores como docentes de esta y otras asignaturas. Es así que las maneras que se han elegido para presentar los conceptos condensa esa experiencia en la práctica de intercambio oral y reflexión conjunta con les estudiantes. http://sedici.unlp.edu.ar:80/handle/10915/153750 Libro Marrone, Luis Armando El libro presenta el paradigma TCP/IP completo desde los servicios hasta el nivel más bajo, facilitando de esta manera el abordaje del mismo a partir del momento que el usuario ingresa www.unlp.edu.ar en su navegador. En el recorrido se ofrecen muestras de captura de los diversos protocolos para afianzar los conocimientos y dar a conocer herramientas básicas de análisis de performance. Editorial de la Universidad Nacional de La Plata (EDULP) Sun, 01 Jan 2023 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/153750 2023-01-01T00:00:00Z El libro presenta el paradigma TCP/IP completo desde los servicios hasta el nivel más bajo, facilitando de esta manera el abordaje del mismo a partir del momento que el usuario ingresa www.unlp.edu.ar en su navegador. En el recorrido se ofrecen muestras de captura de los diversos protocolos para afianzar los conocimientos y dar a conocer herramientas básicas de análisis de performance. http://sedici.unlp.edu.ar:80/handle/10915/121863 Libro Bazán, Patricia Alejandra La tecnología de la información en general y los sistemas de información en particular, merecen un rol importante en BPM, porque cada vez más actividades que realizan las compañías son soportadas por sistemas de información. Una organización, tanto pública como privada, tiende a alcanzar sus objetivos de manera eficiente cuando los recursos humanos y los sistemas de información se conducen en la misma dirección, siendo los procesos de negocio quienes facilitan esta colaboración. En un nivel organizacional, los procesos de negocio son esenciales para comprender cómo opera una organización. Aunque también son importantes para el diseño e implementación de sistemas de información flexibles. Estos sistemas proveen la base para la creación rápida de nueva funcionalidad que cree nuevos productos, y también para adaptar rápidamente funcionalidad existente a requerimientos del negocio. Editorial de la Universidad Nacional de La Plata (EDULP) Fri, 01 Jan 2021 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/121863 2021-01-01T00:00:00Z La tecnología de la información en general y los sistemas de información en particular, merecen un rol importante en BPM, porque cada vez más actividades que realizan las compañías son soportadas por sistemas de información. Una organización, tanto pública como privada, tiende a alcanzar sus objetivos de manera eficiente cuando los recursos humanos y los sistemas de información se conducen en la misma dirección, siendo los procesos de negocio quienes facilitan esta colaboración. En un nivel organizacional, los procesos de negocio son esenciales para comprender cómo opera una organización. Aunque también son importantes para el diseño e implementación de sistemas de información flexibles. Estos sistemas proveen la base para la creación rápida de nueva funcionalidad que cree nuevos productos, y también para adaptar rápidamente funcionalidad existente a requerimientos del negocio. http://sedici.unlp.edu.ar:80/handle/10915/105786 Libro Díaz, Francisco Javier; Harari, Ivana; Amadeo, Ana Paola Este material realiza un abordaje de la Accesibilidad Web desde distintas perspectivas. La analiza desde el aspecto social, legal y reglamentario, desde cuestiones metodológicas como desde los aspectos técnicas de desarrollo y aplicación. Esto permitirá conformar y reafirmar el concepto, para evitar que en las TICs se generen más desigualdades y exclusión, para lograr entre todos, una Web inclusiva y sin discriminaciones. Editorial de la Universidad Nacional de La Plata (EDULP) Wed, 01 Jan 2020 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/105786 2020-01-01T00:00:00Z Este material realiza un abordaje de la Accesibilidad Web desde distintas perspectivas. La analiza desde el aspecto social, legal y reglamentario, desde cuestiones metodológicas como desde los aspectos técnicas de desarrollo y aplicación. Esto permitirá conformar y reafirmar el concepto, para evitar que en las TICs se generen más desigualdades y exclusión, para lograr entre todos, una Web inclusiva y sin discriminaciones. http://sedici.unlp.edu.ar:80/handle/10915/99629 Libro El objetivo de este libro es brindar al lector una herramienta para comprender mejor el funcionamiento del mundo complejo de las Organizaciones y de los sistemas, de diferentes naturalezas, que se encuentran inmersos en las mismas. Desarrollar un paradigma utilizando el concepto abstracto de sistema, en base a los principios que aporta la teoría general de sistemas (TGS), para la solución de los problemas que genera el cambio de la realidad en el funcionamiento dinámico de las Organizaciones. El libro se encuentra dividido en dos partes: La primera, “Teoría general de sistemas aplicada”, donde se fijan los fundamentos de la TGS, como el instrumento de entendimiento y solución a los efectos generados por las perturbaciones de contexto y la segunda, “Las Organizaciones su funcionamiento como Sistema”, donde se pone en práctica el enfoque sistémico, para poder comprender el funcionamiento dinámico del todo, la capacidad de adaptación para mantener el objetivo y la importancia que estos puntos tienen para mejorar los sistemas existentes o el diseño de los nuevos. Editorial de la Universidad Nacional de La Plata (EDULP) Wed, 01 Jan 2020 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/99629 2020-01-01T00:00:00Z El objetivo de este libro es brindar al lector una herramienta para comprender mejor el funcionamiento del mundo complejo de las Organizaciones y de los sistemas, de diferentes naturalezas, que se encuentran inmersos en las mismas. Desarrollar un paradigma utilizando el concepto abstracto de sistema, en base a los principios que aporta la teoría general de sistemas (TGS), para la solución de los problemas que genera el cambio de la realidad en el funcionamiento dinámico de las Organizaciones. El libro se encuentra dividido en dos partes: La primera, “Teoría general de sistemas aplicada”, donde se fijan los fundamentos de la TGS, como el instrumento de entendimiento y solución a los efectos generados por las perturbaciones de contexto y la segunda, “Las Organizaciones su funcionamiento como Sistema”, donde se pone en práctica el enfoque sistémico, para poder comprender el funcionamiento dinámico del todo, la capacidad de adaptación para mantener el objetivo y la importancia que estos puntos tienen para mejorar los sistemas existentes o el diseño de los nuevos. http://sedici.unlp.edu.ar:80/handle/10915/78652 Libro Díaz, Francisco Javier; Osorio, María Alejandra; Amadeo, Ana Paola La manera en que los datos cambiaron la forma en que se aprende, se enseña, se generan los negocios, se cura y muchísimas actividades de la vida cotidiana es innegable. Esto ocurrió en aquellas organizaciones que encontraron la manera de interpretarlos y usarlos. Business Intelligence (BI) habilita a los mandos gerenciales a tomar ventaja de sus datos a partir del análisis de hechos concretos. Este libro, que abarca técnicas y herramientas de la más diversa índole, ayuda a conocer desde lo más básico hasta lo último que se está trabajando en el área. Editorial de la Universidad Nacional de La Plata (EDULP) Tue, 01 Jan 2019 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/78652 2019-01-01T00:00:00Z La manera en que los datos cambiaron la forma en que se aprende, se enseña, se generan los negocios, se cura y muchísimas actividades de la vida cotidiana es innegable. Esto ocurrió en aquellas organizaciones que encontraron la manera de interpretarlos y usarlos. Business Intelligence (BI) habilita a los mandos gerenciales a tomar ventaja de sus datos a partir del análisis de hechos concretos. Este libro, que abarca técnicas y herramientas de la más diversa índole, ayuda a conocer desde lo más básico hasta lo último que se está trabajando en el área. http://sedici.unlp.edu.ar:80/handle/10915/62354 Libro Bazán, Patricia Alejandra En los orígenes de la ciencia de la computación todo el énfasis estuvo puesto en desarrollar sistemas que automatizaran tareas que se hacían manualmente. Este era suficiente desafío. En la actualidad, se han automatizado muchas tareas y el gran desafío es cómo mejorar la capacidad de los sistemas para alcanzar nuevos requerimientos: agregar nuevas interfaces, combinar múltiples fuentes de datos en una sola, interactuar con dispositivos móviles y reemplazar viejas aplicaciones con nuevas. En este sentido, el desarrollo de software se ha evolucionado hacia modelos distribuidos donde los componentes cooperan y colaboran para lograr el objetivo y ocultar la distribución al usuario. Sin lugar a dudas, la vertiginosa evolución de la tecnología Web y el uso de Internet como mecanismo de comunicación, ha impactado fuertemente en los paradigmas de desarrollo de software. Pero ésta no es la única causa de la evolución de la construcción de aplicaciones con una perspectiva modular, desacoplada y que facilite los nuevos requerimientos que se mencionan más arriba. Este libro tiene por objetivo desarrollar todos los conceptos que deben aprenderse e incorporarse para concebir software distribuido y se encuentra orientado a alumnos avanzados de carreras de informática que cuenten con conocimientos de redes, sistemas operativos, técnicas de ingeniería de software y algunas nociones de programación distribuida y concurrente. Editorial de la Universidad Nacional de La Plata (EDULP) Sun, 01 Jan 2017 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/62354 2017-01-01T00:00:00Z En los orígenes de la ciencia de la computación todo el énfasis estuvo puesto en desarrollar sistemas que automatizaran tareas que se hacían manualmente. Este era suficiente desafío. En la actualidad, se han automatizado muchas tareas y el gran desafío es cómo mejorar la capacidad de los sistemas para alcanzar nuevos requerimientos: agregar nuevas interfaces, combinar múltiples fuentes de datos en una sola, interactuar con dispositivos móviles y reemplazar viejas aplicaciones con nuevas. En este sentido, el desarrollo de software se ha evolucionado hacia modelos distribuidos donde los componentes cooperan y colaboran para lograr el objetivo y ocultar la distribución al usuario. Sin lugar a dudas, la vertiginosa evolución de la tecnología Web y el uso de Internet como mecanismo de comunicación, ha impactado fuertemente en los paradigmas de desarrollo de software. Pero ésta no es la única causa de la evolución de la construcción de aplicaciones con una perspectiva modular, desacoplada y que facilite los nuevos requerimientos que se mencionan más arriba. Este libro tiene por objetivo desarrollar todos los conceptos que deben aprenderse e incorporarse para concebir software distribuido y se encuentra orientado a alumnos avanzados de carreras de informática que cuenten con conocimientos de redes, sistemas operativos, técnicas de ingeniería de software y algunas nociones de programación distribuida y concurrente. http://sedici.unlp.edu.ar:80/handle/10915/61426 Libro Baum, Gabriel (prólogo) El contenido de <i>Lógica para Informática</i> se basa en la asignatura Lógica e Inteligencia Artificial (capítulos 1, 2 y 3, sobre la lógica proposicional o de enunciados, la lógica de predicados de primer orden y la lógica modal, respectivamente) y en parte de las asignaturas Teoría de la Computación y Verificación de Programas y Teoría de la Computación y Verificación de Programas Avanzada (capítulo 4, sobre la verificación axiomática de programas), asignaturas que los autores dictamos desde hace tiempo en la Licenciatura en Informática de la Universidad Nacional de La Plata. Los cuatro tópicos referidos conforman el objeto de estudio de este libro: la lógica (matemática), considerando tres de las lógicas más difundidas, y una de sus aplicaciones más interesantes en el contexto de la informática. El título del libro puede parecer restrictivo, pero nuestra intención es la contraria. El libro es efectivamente para Informática porque nuestra idea primaria es aportar material bibliográfico para el dictado de las asignaturas mencionadas o similares en el marco de los planes de estudio para Informática. Lo es también porque estamos convencidos de la importancia del estudio de la lógica en la formación de los profesionales de la computación. Sin embargo el libro está orientado a informáticos y no informáticos, nuestro propósito es inclusivo, por el hecho de que la lógica forma parte de numerosos planes de estudio no solo de informática y matemática, y además porque la problemática del desarrollo de programas de computadora correctos es un tema de interés cada vez más amplio. Editorial de la Universidad Nacional de La Plata (EDULP) Sun, 01 Jan 2017 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/61426 2017-01-01T00:00:00Z El contenido de <i>Lógica para Informática</i> se basa en la asignatura Lógica e Inteligencia Artificial (capítulos 1, 2 y 3, sobre la lógica proposicional o de enunciados, la lógica de predicados de primer orden y la lógica modal, respectivamente) y en parte de las asignaturas Teoría de la Computación y Verificación de Programas y Teoría de la Computación y Verificación de Programas Avanzada (capítulo 4, sobre la verificación axiomática de programas), asignaturas que los autores dictamos desde hace tiempo en la Licenciatura en Informática de la Universidad Nacional de La Plata. Los cuatro tópicos referidos conforman el objeto de estudio de este libro: la lógica (matemática), considerando tres de las lógicas más difundidas, y una de sus aplicaciones más interesantes en el contexto de la informática. El título del libro puede parecer restrictivo, pero nuestra intención es la contraria. El libro es efectivamente para Informática porque nuestra idea primaria es aportar material bibliográfico para el dictado de las asignaturas mencionadas o similares en el marco de los planes de estudio para Informática. Lo es también porque estamos convencidos de la importancia del estudio de la lógica en la formación de los profesionales de la computación. Sin embargo el libro está orientado a informáticos y no informáticos, nuestro propósito es inclusivo, por el hecho de que la lógica forma parte de numerosos planes de estudio no solo de informática y matemática, y además porque la problemática del desarrollo de programas de computadora correctos es un tema de interés cada vez más amplio. http://sedici.unlp.edu.ar:80/handle/10915/32172 Libro En este libro se aborda toda la temática relacionada con las interfaces del usuario y su proceso de desarrollo. Se profundiza sobre la etapa de diseño de interfaces específicas, brindando una serie de recomendaciones que permitan alcanzar la calidad de uso del producto. El libro presenta una organización que consiste en seis capítulos, acompañados por ejercitación, casos de estudio y referencias específicas a cada uno. En el capítulo 1 se introducen los conceptos básicos de la Interacción Hombre-Computadora. Se incluye una breve referencia a su evolución, se aborda el paradigma de independencia de diálogo y métricas de evaluación de una interfaz. El capítulo 2 abarca el proceso de diseño de la interfaz de usuario, haciendo hincapié en las características más importantes, el ciclo de vida de la interfaz de usuario y la prototipación como metodología de desarrollo de una interfaz de usuario. Desde el capítulo 3 al 5, el libro se adentra en recomendaciones de diseño para interfaces específicas como interfaces visuales, icónicas e interfaces para la Web. En el capítulo 6 y último se introducen los conceptos de accesibilidad y las normas internacionales para construir interfaces accesibles. Al finalizar cada capítulo, se dispone de un conjunto de ejercicios prácticos y un caso de estudio relacionado con la temática. En general, versan sobre la aplicación de las recomendaciones a versiones prototípicas de sistemas desarrollados por los alumnos durante la cursada de la materia. Se han seleccionado para estos casos las mejores entregas de las distintas cohortes del dictado de la materia de Diseño Centrado en el Usuario. Se incluye también un anexo con el glosario de términos y la resolución de las ejercitaciones planteadas en cada capitulo. Editorial de la Universidad Nacional de La Plata (EDULP) Tue, 01 Jan 2013 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/32172 2013-01-01T00:00:00Z En este libro se aborda toda la temática relacionada con las interfaces del usuario y su proceso de desarrollo. Se profundiza sobre la etapa de diseño de interfaces específicas, brindando una serie de recomendaciones que permitan alcanzar la calidad de uso del producto. El libro presenta una organización que consiste en seis capítulos, acompañados por ejercitación, casos de estudio y referencias específicas a cada uno. En el capítulo 1 se introducen los conceptos básicos de la Interacción Hombre-Computadora. Se incluye una breve referencia a su evolución, se aborda el paradigma de independencia de diálogo y métricas de evaluación de una interfaz. El capítulo 2 abarca el proceso de diseño de la interfaz de usuario, haciendo hincapié en las características más importantes, el ciclo de vida de la interfaz de usuario y la prototipación como metodología de desarrollo de una interfaz de usuario. Desde el capítulo 3 al 5, el libro se adentra en recomendaciones de diseño para interfaces específicas como interfaces visuales, icónicas e interfaces para la Web. En el capítulo 6 y último se introducen los conceptos de accesibilidad y las normas internacionales para construir interfaces accesibles. Al finalizar cada capítulo, se dispone de un conjunto de ejercicios prácticos y un caso de estudio relacionado con la temática. En general, versan sobre la aplicación de las recomendaciones a versiones prototípicas de sistemas desarrollados por los alumnos durante la cursada de la materia. Se han seleccionado para estos casos las mejores entregas de las distintas cohortes del dictado de la materia de Diseño Centrado en el Usuario. Se incluye también un anexo con el glosario de términos y la resolución de las ejercitaciones planteadas en cada capitulo. http://sedici.unlp.edu.ar:80/handle/10915/27887 Libro <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. Editorial de la Universidad Nacional de La Plata (EDULP) Tue, 01 Jan 2013 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/27887 2013-01-01T00:00:00Z <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.