Cargando ...
Lógica para Informática

Lógica para Informática

Sinopsis

El contenido de Lógica para Informática 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.

Información


  • Claudia Pons

    Doctora en Ciencias Informáticas de la Universidad Nacional de La Plata (año 2000), y Especialista en Docencia Universitaria (Carrera Docente Universitaria), título otorgado por la misma Universidad en 2002. Ha sido Investigadora del Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), y actualmente es Investigadora Adjunta en la Comisión de Investigaciones Científicas de la Provincia de Buenos Aires (CICPBA). Desde 2010 es Directora del Centro de Altos Estudios en Tecnología Informática (CAETI) de la Universidad Abierta Interamericana (UAI), Ciudad Autónoma de Buenos Aires, Argentina. Su área de interés es la ingeniería de software, en particular el desarrollo de software dirigido por modelos, los lenguajes y metodologías de modelado de software y la verificación formal de programas.Es miembro del Centro de investigación LIFIA y ejerce la docencia en carreras de grado y posgrado en la Facultad de Informática de la Universidad Nacional de La Plata y en la UAI. Actualmente dirige proyectos de investigación y desarrollo de software y es autora de varios artículos científicos referidos al tema. 


  • Ricardo Rosenfeld

    Ricardo Rosenfeld obtuvo el título de Calculista Científico de la Facultad de Ciencias Exactas de la Universidad Nacional de La Plata, Argentina, en 1983, y completó los estudios de la Maestría en Ciencias de la Computación del Instituto de Tecnología Technión, Israel, en 1991. Desde 1991 se desempeña como Profesor en la Universidad Nacional de La Plata, en las áreas de teoría de la computación y verificación de programas. Previamente, entre 1984 y 1990, fue docente en la Universidad Nacional de La Plata (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 y estructuras de datos, y teoría de compiladores), y en el Instituto de Tecnología Technión de Israel (programación). Publicó los libros Teoría de la Computación y Verificación de Programas (2010, EDULP, McGraw-Hill) y Computabilidad, Complejidad Computacional y Verificación de Programas (2013, EDULP). 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. 


  • Clara Smith

    Clara Smith es abogada de la matrícula, y Profesora de programación lógica en la Universidad Nacional de La Plata, luego de obtener su Doctorado por la misma Universidad, haber sido Becaria del CONICET y haber trabajado para la Suprema Corte de Justicia de Buenos Aires. En los años 2005 y 2006 obtuvo una beca del gobierno italiano para realizar una investigación en la Universidad de Bologna, Italia. En 2012 se desempeñó como Profesora Invitada en la Universidad de Toulouse 1 Capitole, Francia. En 2013 fue Directora de la carrera de Ingeniería en Sistemas de Información de la Universidad Católica de La Plata y diseñó el plan actualmente vigente de la Licenciatura en Sistemas de esa misma Universidad. En 2014 obtuvo una beca de la Unión Europea y ocupó una posición de staff en la Universidad de Bologna. En 2017 se desempeñó como Marie Skodovska Curie Fellow, también en Bologna. Sus temas de investigación se relacionan con los sistemas multiagente y la filosofía del derecho. Sus publicaciones científicas más importantes son Modes of Adjointness, con Matías Menni, y Collective Trust and Normative Agents, con Antonino Rotolo. 

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
<