Construções categóricas intervalares em Haskell

Description

Made available in DSpace on 2014-06-12T15:59:35Z (GMT). No. of bitstreams: 2
arquivo5187_1.pdf: 772703 bytes, checksum: 4e26836d89a94b44e061ba19cd085a7a (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2002 / 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

Links & Downloads

1. 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.
2. https://repositorio.ufpe.br/handle/123456789/2602

Tags

Linguagens Funcionais

Haskell

Lambda Cálculo

Teoria das Categorias

Domínios lntervalares

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2602
Date	January 2002
Creators	Longo Araújo, Stenio
Contributors	Melo Acióly, Benedito
Publisher	Universidade Federal de Pernambuco
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Source	reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE
Rights	info:eu-repo/semantics/openAccess