Mostrar registro simples

Números naturais parciais

dc.contributor.advisorClaudio, Dalcidio Moraespt_BR
dc.contributor.authorEscardo, Martin Hotzelpt_BR
dc.date.accessioned2010-09-01T04:18:19Zpt_BR
dc.date.issued1993pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/25457pt_BR
dc.description.abstractOs 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.abstractPartial 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.mimetypeapplication/pdf
dc.language.isoporpt_BR
dc.rightsOpen Accessen
dc.subjectInteraçãopt_BR
dc.subjectPartial and infinite objectsen
dc.subjectScott domain theoryen
dc.subjectConcorrênciapt_BR
dc.subjectNumeros naturais parciaispt_BR
dc.subjectRecursion theoryen
dc.subjectTeoria : Domíniospt_BR
dc.subjectTyped ג-calculusen
dc.subjectPerpetual processesen
dc.subjectTeoria : Recursaopt_BR
dc.subjectInteractionen
dc.subjectCalculo lambdapt_BR
dc.subjectTeoria : Ciência : Computaçãopt_BR
dc.subjectConcurrenceen
dc.titleNúmeros naturais parciaispt_BR
dc.title.alternativePartial natural numbers en
dc.typeDissertaçãopt_BR
dc.contributor.advisor-coCosta, Antonio Carlos da Rochapt_BR
dc.identifier.nrb000060643pt_BR
dc.degree.grantorUniversidade Federal do Rio Grande do Sulpt_BR
dc.degree.departmentInstituto de Informáticapt_BR
dc.degree.programCurso de Pós-Graduação em Ciência da Computaçãopt_BR
dc.degree.localPorto Alegre, BR-RSpt_BR
dc.degree.date1993pt_BR
dc.degree.levelmestradopt_BR


Thumbnail
Nome:
000060643.pdf
Tamanho:
18.77Mb
Formato:
PDF
Descrição:
Texto completo
Visualizar/abrir
   

Este item está licenciado na Creative Commons License

Mostrar registro simples