Mostrar el registro sencillo del ítem
Números naturais parciais
dc.contributor.advisor | Claudio, Dalcidio Moraes | pt_BR |
dc.contributor.author | Escardo, Martin Hotzel | pt_BR |
dc.date.accessioned | 2010-09-01T04:18:19Z | pt_BR |
dc.date.issued | 1993 | pt_BR |
dc.identifier.uri | http://hdl.handle.net/10183/25457 | pt_BR |
dc.description.abstract | 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. | pt_BR |
dc.description.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. | en |
dc.format.mimetype | application/pdf | |
dc.language.iso | por | pt_BR |
dc.rights | Open Access | en |
dc.subject | Interação | pt_BR |
dc.subject | Partial and infinite objects | en |
dc.subject | Scott domain theory | en |
dc.subject | Concorrência | pt_BR |
dc.subject | Numeros naturais parciais | pt_BR |
dc.subject | Recursion theory | en |
dc.subject | Teoria : Domínios | pt_BR |
dc.subject | Typed ג-calculus | en |
dc.subject | Perpetual processes | en |
dc.subject | Teoria : Recursao | pt_BR |
dc.subject | Interaction | en |
dc.subject | Calculo lambda | pt_BR |
dc.subject | Teoria : Ciência : Computação | pt_BR |
dc.subject | Concurrence | en |
dc.title | Números naturais parciais | pt_BR |
dc.title.alternative | Partial natural numbers | en |
dc.type | Dissertação | pt_BR |
dc.contributor.advisor-co | Costa, Antonio Carlos da Rocha | pt_BR |
dc.identifier.nrb | 000060643 | pt_BR |
dc.degree.grantor | Universidade Federal do Rio Grande do Sul | pt_BR |
dc.degree.department | Instituto de Informática | pt_BR |
dc.degree.program | Curso de Pós-Graduação em Ciência da Computação | pt_BR |
dc.degree.local | Porto Alegre, BR-RS | pt_BR |
dc.degree.date | 1993 | pt_BR |
dc.degree.level | mestrado | pt_BR |
Ficheros en el ítem
Este ítem está licenciado en la Creative Commons License
-
Ciencias Exactas y Naturales (5103)Computación (1758)