Repositório Digital

A- A A+

Números naturais parciais

.

Números naturais parciais

Mostrar registro completo

Estatísticas

Título Números naturais parciais
Outro título Partial natural numbers
Autor Escardo, Martin Hotzel
Orientador Claudio, Dalcidio Moraes
Co-orientador Costa, Antonio Carlos da Rocha
Data 1993
Nível Mestrado
Instituição Universidade Federal do Rio Grande do Sul. Instituto de Informática. Curso de Pós-Graduação em Ciência da Computação.
Assunto Calculo lambda
Concorrencia
Interação
Numeros naturais parciais
Teoria : Ciência : Computação
Teoria : Domínios
Teoria : Recursao
[en] Concurrence
[en] Interaction
[en] Partial and infinite objects
[en] Perpetual processes
[en] Recursion theory
[en] Scott domain theory
[en] Typed ג-calculus
Resumo Os números naturais parciais são informações parciais sobre números naturais e w. As propriedades matemáticas do domínio de números naturais parciais e de funções que envolvem este domínio são estudadas via o use da teoria dos domínios de Scott. A manipulação formal de naturais parciais é estudada mediante a utilização de um calculo-ג tipado com constantes. Relações com a teoria da recursão são estudadas. É mostrado como funções continuas entre naturais parciais podem representar processos interativos, possivelmente perpétuos.
Abstract Partial natural numbers are informations about natural numbers and w. Mathematical properties of the domain of partial natural numbers and functions involving this domain are investigated with the aid of Scott domain theory. A typed ג-calculus is introduced for investigating formal manipulation of partial natural numbers. Relations with recursion theory are investigated. It is shown how continuous functions on natural numbers can represent (possibly perpetual) interactive processes.
Tipo Dissertação
URI http://hdl.handle.net/10183/25457
Arquivos Descrição Formato
000060643.pdf (19.69Mb) Texto completo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.