| dc.contributor | Melo Acióly, Benedito | |
| dc.creator | Longo Araújo, Stenio | |
| dc.date | 2014-06-12T15:59:35Z | |
| dc.date | 2014-06-12T15:59:35Z | |
| dc.date | 2002 | |
| dc.identifier | 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. | |
| dc.identifier | https://repositorio.ufpe.br/handle/123456789/2602 | |
| dc.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 | |
| dc.format | application/pdf | |
| dc.language | por | |
| dc.publisher | Universidade Federal de Pernambuco | |
| dc.subject | Linguagens Funcionais | |
| dc.subject | Haskell | |
| dc.subject | Lambda Cálculo | |
| dc.subject | Teoria das Categorias | |
| dc.subject | Domínios lntervalares | |
| dc.title | Construções categóricas intervalares em Haskell | |
| dc.type | masterThesis | |
