Números naturais parciais

• Ano de defesa: 1993
• Autor(a) principal: Escardo, Martin Hotzel
• Orientador(a): Claudio, Dalcidio Moraes
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Palavras-chave em Português: Interação; Concorrência; Numeros naturais parciais; Teoria : Domínios; Teoria : Recursao; Calculo lambda; Teoria : Ciência : Computação
• Palavras-chave em Inglês: Partial and infinite objects; Scott domain theory; Recursion theory; Typed ג-calculus; Perpetual processes; Interaction; Concurrence
• Link de acesso: http://hdl.handle.net/10183/25457

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.