Cargando ...
La lógica como lenguaje de programación: Aspectos declarativos y procedurales

La lógica como lenguaje de programación: Aspectos declarativos y procedurales

Sinopsis

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.

 

Información


  • Clara Patricia Smith

    Clara Smith nació el 01/03/1969 en La Plata, Argentina. Ejerce actualmente la profesión como abogada independiente, es asesora legal del Programa Conectar Igualdad del Ministerio de Educación de la Nación, y también es profesora de Programación Lógica en la Facultad de Informática de la Universidad Nacional de La Plata (UNLP), Argentina, luego de obtener su doctorado en la Facultad de Ciencias Exactas de la misma universidad, obtener el título de Docente Universitaria Especializada, ser becaria del CONICET, trabajar para la Suprema Corte de Justicia de la Provincia de Buenos Aires, y obtener una beca de investigación del Ministero degli Affari Esteri (MAE, Italia) para trabajar en la Universidad de Bologna. Ocupó una posición de profesora invitada en la Université des Sciences Sociales en Toulouse (Francia, 2012), una posición de staff en la Università di Bologna (2014), y se desempeñó como fellow Marie Curie en Bologna, en el proyecto MIREL de la Unión Europea (2016-2019). Ha dirigido proyectos de investigación en UNLP y en la Universidad Católica de La Plata (UCALP), casa de estudios en la que también fue Directora de la Carrera de Sistemas y para la que diseñó las carreras de Licenciatura en Sistemas y el Profesorado en Informática, ambas de la Facultad de Ciencias Exactas e Ingeniería (2010-2015). Sus principales temas de investigación son la Lógica Computacional, la Filosofía del Derecho y el Diseño de Sistemas Multi-agentes. Fue editora invitada de la revista CMOT de la editorial Springer (Computational and Mathematical Organization Theory, número especial de sistemas multi-agente). Fue co-editora de los anales de los simposios SNAMAS@AISB/IACAP2012 y SNAMAS@AISB2011 (Simposios de Redes Sociales y Sistemas Multi-agente). Sus publicaciones más relevantes son: Temporal Reasoning and MAS (EUI Working Papers LAW No. 2010/16, con A. Rotolo y G. Sartor; Collective Trust and Normative Agents (Oxford University Press, 2010, doi:10.1093/jigpal/jzp076) con A. Rotolo; y Lógica para Informática, con R. Rosenfeld y C. Pons (http://sedici.unlp.edu.ar/handle/10915/61426), 2017.

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
<