Lógica para Informática

Mostrar todas las versiones(2)

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Pons, Claudia, Rosenfeld, Ricardo, Smith, Clara Patricia
Otros Autores: Baum, Gabriel (prólogo)
Formato: Libro
Lenguaje:Español
Publicado: Editorial de la Universidad Nacional de La Plata (EDULP) 2017
Materias:
Ciencias Informáticas
lógica
informática
informática y educación
programación
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/61426
https://doi.org/10.35537/10915/61426
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-61426
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
lógica
informática
informática y educación
programación
spellingShingle Ciencias Informáticas
lógica
informática
informática y educación
programación
Pons, Claudia
Rosenfeld, Ricardo
Smith, Clara Patricia
Lógica para Informática
topic_facet Ciencias Informáticas
lógica
informática
informática y educación
programación
description 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.
author2 Baum, Gabriel (prólogo)
author_facet Baum, Gabriel (prólogo)
Pons, Claudia
Rosenfeld, Ricardo
Smith, Clara Patricia
format Libro
Libro
author Pons, Claudia
Rosenfeld, Ricardo
Smith, Clara Patricia
author_sort Pons, Claudia
title Lógica para Informática
title_short Lógica para Informática
title_full Lógica para Informática
title_fullStr Lógica para Informática
title_full_unstemmed Lógica para Informática
title_sort lógica para informática
publisher Editorial de la Universidad Nacional de La Plata (EDULP)
publishDate 2017
url http://sedici.unlp.edu.ar/handle/10915/61426
https://doi.org/10.35537/10915/61426
work_keys_str_mv AT ponsclaudia logicaparainformatica
AT rosenfeldricardo logicaparainformatica
AT smithclarapatricia logicaparainformatica
bdutipo_str Repositorios
_version_ 1764820478976851969

Ejemplares similares