Un paquete para cálculos en reticulados

En este trabajo presentamos un paquete que hemos desarrollado para manejar y visualizar reticulados y álgebras de Łukasiewicz finitos. Este provee al investigador matemático herramientas para realizar en forma sencilla cálculos que normalmente conllevan un arduo trabajo. El paquete ha sido probado c...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Ferraro, Sebastián J., Cimadamore, Cecilia R.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2004
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
álgebra computacional
base de datos
informática aplicada a matemática
lógica algebraica
reticulados distributivos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22321
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22321
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
SOFTWARE ENGINEERING
álgebra computacional
base de datos
informática aplicada a matemática
lógica algebraica
reticulados distributivos
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
álgebra computacional
base de datos
informática aplicada a matemática
lógica algebraica
reticulados distributivos
Ferraro, Sebastián J.
Cimadamore, Cecilia R.
Un paquete para cálculos en reticulados
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
álgebra computacional
base de datos
informática aplicada a matemática
lógica algebraica
reticulados distributivos
description En este trabajo presentamos un paquete que hemos desarrollado para manejar y visualizar reticulados y álgebras de Łukasiewicz finitos. Este provee al investigador matemático herramientas para realizar en forma sencilla cálculos que normalmente conllevan un arduo trabajo. El paquete ha sido probado con numerosos ejemplos por miembros de un grupo de investigación en lógica algebraica de nuestra universidad. Su diseño orientado a objetos prevé su expansión futura.
format Objeto de conferencia
Objeto de conferencia
author Ferraro, Sebastián J.
Cimadamore, Cecilia R.
author_facet Ferraro, Sebastián J.
Cimadamore, Cecilia R.
author_sort Ferraro, Sebastián J.
title Un paquete para cálculos en reticulados
title_short Un paquete para cálculos en reticulados
title_full Un paquete para cálculos en reticulados
title_fullStr Un paquete para cálculos en reticulados
title_full_unstemmed Un paquete para cálculos en reticulados
title_sort un paquete para cálculos en reticulados
publishDate 2004
url http://sedici.unlp.edu.ar/handle/10915/22321
work_keys_str_mv AT ferrarosebastianj unpaqueteparacalculosenreticulados
AT cimadamorececiliar unpaqueteparacalculosenreticulados
bdutipo_str Repositorios
_version_ 1764820465585487874

Ejemplares similares