Construções categóricas intervalares em Haskell

Detalhes bibliográficos
Ano de defesa: 2002
Autor(a) principal: Longo Araújo, Stenio
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Pernambuco
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Linguagens Funcionais
Haskell
Lambda Cálculo
Teoria das Categorias
Domínios lntervalares
Link de acesso: https://repositorio.ufpe.br/handle/123456789/2602
Resumo: A teoria das categorias é um ramo relativamente novo da investigação matemática. A idéia básica reside na observação de que diversas áreas da matemática envolvem o estudo ele objetos e mapeamentos entre estes objetos, por exemplo, conjuntos e funções, domínios intervalares e funções contínuas. Tal uniformidade de estrutura pode ser explorada livrando¬-se dos detalhes internos dos objetos, e focalizando-se somente nas funções e nos meios ele combiná-las. Motivados pelo caráter construtivo da teoria das categorias, neste trabalho tem-se como objetivo implementar construções categóricas intervalares através de progra¬mas em H askell
id UFPE_75af2a53516edb3102c935d5479f0a33
oai_identifier_str oai:repositorio.ufpe.br:123456789/2602
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str
spelling Construções categóricas intervalares em HaskellLinguagens FuncionaisHaskellLambda CálculoTeoria das CategoriasDomínios lntervalaresA teoria das categorias é um ramo relativamente novo da investigação matemática. A idéia básica reside na observação de que diversas áreas da matemática envolvem o estudo ele objetos e mapeamentos entre estes objetos, por exemplo, conjuntos e funções, domínios intervalares e funções contínuas. Tal uniformidade de estrutura pode ser explorada livrando¬-se dos detalhes internos dos objetos, e focalizando-se somente nas funções e nos meios ele combiná-las. Motivados pelo caráter construtivo da teoria das categorias, neste trabalho tem-se como objetivo implementar construções categóricas intervalares através de progra¬mas em H askellUniversidade Federal de PernambucoMelo Acióly, Benedito Longo Araújo, Stenio2014-06-12T15:59:35Z2014-06-12T15:59:35Z2002info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfLongo Araújo, Stenio; Melo Acióly, Benedito. Construções categóricas intervalares em Haskell. 2002. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2002.https://repositorio.ufpe.br/handle/123456789/2602porAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPE2019-10-25T05:56:12Zoai:repositorio.ufpe.br:123456789/2602Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-25T05:56:12Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.none.fl_str_mv Construções categóricas intervalares em Haskell
title Construções categóricas intervalares em Haskell
spellingShingle Construções categóricas intervalares em Haskell
Longo Araújo, Stenio
Linguagens Funcionais
Haskell
Lambda Cálculo
Teoria das Categorias
Domínios lntervalares
title_short Construções categóricas intervalares em Haskell
title_full Construções categóricas intervalares em Haskell
title_fullStr Construções categóricas intervalares em Haskell
title_full_unstemmed Construções categóricas intervalares em Haskell
title_sort Construções categóricas intervalares em Haskell
author Longo Araújo, Stenio
author_facet Longo Araújo, Stenio
author_role author
dc.contributor.none.fl_str_mv Melo Acióly, Benedito
dc.contributor.author.fl_str_mv Longo Araújo, Stenio
dc.subject.por.fl_str_mv Linguagens Funcionais
Haskell
Lambda Cálculo
Teoria das Categorias
Domínios lntervalares
topic Linguagens Funcionais
Haskell
Lambda Cálculo
Teoria das Categorias
Domínios lntervalares
description A teoria das categorias é um ramo relativamente novo da investigação matemática. A idéia básica reside na observação de que diversas áreas da matemática envolvem o estudo ele objetos e mapeamentos entre estes objetos, por exemplo, conjuntos e funções, domínios intervalares e funções contínuas. Tal uniformidade de estrutura pode ser explorada livrando¬-se dos detalhes internos dos objetos, e focalizando-se somente nas funções e nos meios ele combiná-las. Motivados pelo caráter construtivo da teoria das categorias, neste trabalho tem-se como objetivo implementar construções categóricas intervalares através de progra¬mas em H askell
publishDate 2002
dc.date.none.fl_str_mv 2002
2014-06-12T15:59:35Z
2014-06-12T15:59:35Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv Longo Araújo, Stenio; Melo Acióly, Benedito. Construções categóricas intervalares em Haskell. 2002. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2002.
https://repositorio.ufpe.br/handle/123456789/2602
identifier_str_mv Longo Araújo, Stenio; Melo Acióly, Benedito. Construções categóricas intervalares em Haskell. 2002. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2002.
url https://repositorio.ufpe.br/handle/123456789/2602
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco
publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPE
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Repositório Institucional da UFPE
collection Repositório Institucional da UFPE
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1856042075326251008

Registros relacionados