Álgebra del cálculo proposicional

Con el propósito de dar una base para el estudio de temas en el área de Álgebra de la Lógica, fue propuesto y dictado por Marta Sagastume el curso "Álgebra del Cálculo Proposicional" en la Facultad de Ciencias Exactas de la Universidad Nacional de La Plata, Argentina, durante cinco años a...

Descripción completa

Detalles Bibliográficos
Autores principales:	Sagastume, Marta Susana, San Martín, Hernán Javier
Formato:	Publicacion seriada
Lenguaje:	Español
Publicado:	2019
Materias:	Ciencias Exactas Matemática Lógica matemática Álgebra cálculo proposicional
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/164533
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-164533
record_format	dspace
spelling	I19-R120-10915-1645332024-04-08T20:47:42Z http://sedici.unlp.edu.ar/handle/10915/164533 Álgebra del cálculo proposicional Sagastume, Marta Susana San Martín, Hernán Javier 2019 2024-04-08T13:16:37Z es Ciencias Exactas Matemática Lógica matemática Álgebra cálculo proposicional Con el propósito de dar una base para el estudio de temas en el área de Álgebra de la Lógica, fue propuesto y dictado por Marta Sagastume el curso "Álgebra del Cálculo Proposicional" en la Facultad de Ciencias Exactas de la Universidad Nacional de La Plata, Argentina, durante cinco años a partir del año 2002. Estaba destinado a licenciados y a alumnos avanzados en matemática e informática, y era un curso de postgrado u optativo de grado, según el caso. El Dr. Hernán San Martín fue uno de esos sufridos alumnos. Como prerrequisito se pedían los cursos con contenidos de Álgebra, Lógica y Teoría de Conjuntos que se dictaban en ambas carreras. Los apuntes escritos en esos años fueron el germen de este libro. Estos versaban sobre los cálculos proposicionales Clásico, Intuicionista e Infinitovalente de Łukasiewicz y sus correspondientes contrapartes algebraicas: las álgebras de Boole, las álgebras de Heyting y las MV- algebras. Al empezar a escribir el texto, creímos conveniente agregar temas que nos parecieron útiles para la formación en el área, como dualidades en la teoría de retículos, retículos residuados, ℓ-grupos y sus lógicas. Pretendemos reunir, en castellano y en un nivel accesible, varios temas que usualmente se encuentran dispersos en la literatura. Tratamos de que el texto sea autocontenido y de que se desarrollen los tópicos más abstractos a partir de ejemplos concretos, permitiendo así que la intuición ayude a la comprensión cabal de los conceptos y de su interrelación. Se muestran figuras, diagramas, ejemplos motivadores. Sacrificamos a veces la elegancia de la exposición en aras de hacerla más accesible al estudiante medio. Por ejemplo, se dan elementos de Álgebra Universal en tres etapas de dificultad creciente, en los capítulos 1, 7 y 10, a medida que se van necesitando los contenidos. Asimismo, se suprimen demostraciones muy técnicas y poco conceptuales. Facultad de Ciencias Exactas Departamento de Matemática Publicacion seriada Publicacion seriada 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	Ciencias Exactas Matemática Lógica matemática Álgebra cálculo proposicional
spellingShingle	Ciencias Exactas Matemática Lógica matemática Álgebra cálculo proposicional Sagastume, Marta Susana San Martín, Hernán Javier Álgebra del cálculo proposicional
topic_facet	Ciencias Exactas Matemática Lógica matemática Álgebra cálculo proposicional
description	Con el propósito de dar una base para el estudio de temas en el área de Álgebra de la Lógica, fue propuesto y dictado por Marta Sagastume el curso "Álgebra del Cálculo Proposicional" en la Facultad de Ciencias Exactas de la Universidad Nacional de La Plata, Argentina, durante cinco años a partir del año 2002. Estaba destinado a licenciados y a alumnos avanzados en matemática e informática, y era un curso de postgrado u optativo de grado, según el caso. El Dr. Hernán San Martín fue uno de esos sufridos alumnos. Como prerrequisito se pedían los cursos con contenidos de Álgebra, Lógica y Teoría de Conjuntos que se dictaban en ambas carreras. Los apuntes escritos en esos años fueron el germen de este libro. Estos versaban sobre los cálculos proposicionales Clásico, Intuicionista e Infinitovalente de Łukasiewicz y sus correspondientes contrapartes algebraicas: las álgebras de Boole, las álgebras de Heyting y las MV- algebras. Al empezar a escribir el texto, creímos conveniente agregar temas que nos parecieron útiles para la formación en el área, como dualidades en la teoría de retículos, retículos residuados, ℓ-grupos y sus lógicas. Pretendemos reunir, en castellano y en un nivel accesible, varios temas que usualmente se encuentran dispersos en la literatura. Tratamos de que el texto sea autocontenido y de que se desarrollen los tópicos más abstractos a partir de ejemplos concretos, permitiendo así que la intuición ayude a la comprensión cabal de los conceptos y de su interrelación. Se muestran figuras, diagramas, ejemplos motivadores. Sacrificamos a veces la elegancia de la exposición en aras de hacerla más accesible al estudiante medio. Por ejemplo, se dan elementos de Álgebra Universal en tres etapas de dificultad creciente, en los capítulos 1, 7 y 10, a medida que se van necesitando los contenidos. Asimismo, se suprimen demostraciones muy técnicas y poco conceptuales.
format	Publicacion seriada Publicacion seriada
author	Sagastume, Marta Susana San Martín, Hernán Javier
author_facet	Sagastume, Marta Susana San Martín, Hernán Javier
author_sort	Sagastume, Marta Susana
title	Álgebra del cálculo proposicional
title_short	Álgebra del cálculo proposicional
title_full	Álgebra del cálculo proposicional
title_fullStr	Álgebra del cálculo proposicional
title_full_unstemmed	Álgebra del cálculo proposicional
title_sort	álgebra del cálculo proposicional
publishDate	2019
url	http://sedici.unlp.edu.ar/handle/10915/164533
work_keys_str_mv	AT sagastumemartasusana algebradelcalculoproposicional AT sanmartinhernanjavier algebradelcalculoproposicional
_version_	1807222540464029696

Álgebra del cálculo proposicional

Ejemplares similares