Lógica para Informática
- Autores
- Pons, Claudia; Rosenfeld, Ricardo; Smith, Clara Patricia
- Año de publicación
- 2017
- Idioma
- español castellano
- Tipo de recurso
- libro
- Estado
- versión publicada
- Descripción
- 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.
Facultad de Informática - Materia
-
Ciencias Informáticas
lógica
informática
informática y educación
programación - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/4.0/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/61426
Ver los metadatos del registro completo
id |
SEDICI_5c643d8d634e9262d7dfb5b288e92d04 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/61426 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Lógica para InformáticaPons, ClaudiaRosenfeld, RicardoSmith, Clara PatriciaCiencias Informáticaslógicainformáticainformática y educaciónprogramaciónEl 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.Facultad de InformáticaEditorial de la Universidad Nacional de La Plata (EDULP)Baum, Gabriel (prólogo)2017info:eu-repo/semantics/bookinfo:ar-repo/semantics/libroinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_2f33application/pdfhttp://sedici.unlp.edu.ar/handle/10915/61426https://doi.org/10.35537/10915/61426spainfo:eu-repo/semantics/altIdentifier/isbn/978-950-34-1510-8info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:07:41Zoai:sedici.unlp.edu.ar:10915/61426Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:07:42.07SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Lógica para Informática |
title |
Lógica para Informática |
spellingShingle |
Lógica para Informática Pons, Claudia Ciencias Informáticas lógica informática informática y educación programación |
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 |
dc.creator.none.fl_str_mv |
Pons, Claudia Rosenfeld, Ricardo Smith, Clara Patricia |
author |
Pons, Claudia |
author_facet |
Pons, Claudia Rosenfeld, Ricardo Smith, Clara Patricia |
author_role |
author |
author2 |
Rosenfeld, Ricardo Smith, Clara Patricia |
author2_role |
author author |
dc.contributor.none.fl_str_mv |
Baum, Gabriel (prólogo) |
dc.subject.none.fl_str_mv |
Ciencias Informáticas lógica informática informática y educación programación |
topic |
Ciencias Informáticas lógica informática informática y educación programación |
dc.description.none.fl_txt_mv |
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. Facultad de Informática |
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. |
publishDate |
2017 |
dc.date.none.fl_str_mv |
2017 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/book info:ar-repo/semantics/libro info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_2f33 |
format |
book |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/61426 https://doi.org/10.35537/10915/61426 |
url |
http://sedici.unlp.edu.ar/handle/10915/61426 https://doi.org/10.35537/10915/61426 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/isbn/978-950-34-1510-8 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Editorial de la Universidad Nacional de La Plata (EDULP) |
publisher.none.fl_str_mv |
Editorial de la Universidad Nacional de La Plata (EDULP) |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1844615948939558912 |
score |
13.070432 |