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

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...

Descripción completa

Detalles Bibliográficos
Autor principal: Smith, Clara Patricia
Formato: Libro
Lenguaje:Español
Publicado: Editorial de la Universidad Nacional de La Plata (EDULP) 2023
Materias:
Informática
Lógica
Programación informática
Enfoques
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/162904
https://doi.org/10.35537/10915/162904
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-162904
record_format dspace
spelling I19-R120-10915-1629042024-02-20T20:10:57Z http://sedici.unlp.edu.ar/handle/10915/162904 https://doi.org/10.35537/10915/162904 La lógica como lenguaje de programación : Aspectos declarativos y procedurales Smith, Clara Patricia 2023 2024-02-20T14:47:54Z Editorial de la Universidad Nacional de La Plata (EDULP) es Informática Lógica Programación informática Enfoques 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. Facultad de Informática Libro Libro http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Informática
Lógica
Programación informática
Enfoques
spellingShingle Informática
Lógica
Programación informática
Enfoques
Smith, Clara Patricia
La lógica como lenguaje de programación : Aspectos declarativos y procedurales
topic_facet Informática
Lógica
Programación informática
Enfoques
description 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.
format Libro
Libro
author Smith, Clara Patricia
author_facet Smith, Clara Patricia
author_sort Smith, Clara Patricia
title La lógica como lenguaje de programación : Aspectos declarativos y procedurales
title_short La lógica como lenguaje de programación : Aspectos declarativos y procedurales
title_full La lógica como lenguaje de programación : Aspectos declarativos y procedurales
title_fullStr La lógica como lenguaje de programación : Aspectos declarativos y procedurales
title_full_unstemmed La lógica como lenguaje de programación : Aspectos declarativos y procedurales
title_sort la lógica como lenguaje de programación : aspectos declarativos y procedurales
publisher Editorial de la Universidad Nacional de La Plata (EDULP)
publishDate 2023
url http://sedici.unlp.edu.ar/handle/10915/162904
https://doi.org/10.35537/10915/162904
work_keys_str_mv AT smithclarapatricia lalogicacomolenguajedeprogramacionaspectosdeclarativosyprocedurales
_version_ 1807222472982921216

Ejemplares similares