A categoria computável dos espaços coerentes gerados por conjuntos básicos com aplicação em análise real

A categoria computável dos espaços coerentes gerados por conjuntos básicos com aplicação em análise real

Show other versions (2)

Neste trabalho desenvolve-se um estudo sobre os Espaços Coerentes Gerados por Conjuntos Básicos, dotados de uma estrutura adicional. Por estrutura adicional entende-se uma estrutura algébrica, de ordem pontual, de medidas, topológica e lógica. Estes espaços, denotados por , constituem uma subcategor...

Full description

Bibliographic Details
Main Author: Reiser, Renata Hax Sander
Other Authors: Claudio, Dalcidio Moraes
Format: Others
Language:Portuguese
Published: 2010
Subjects:
Análise numérica
Analise : Intervalos
Teoria : Domínios
Espacos coerentes
Interval theory
Scientific computation
Domain theory
Coherence spaces
Construction of real numbers
Linear functions
Categories
Online Access:http://hdl.handle.net/10183/18235
Show all versions (3)

Similar Items