Condições de equivalência entre os princípios da indução fraca, da indução completa e da boa ordem
Show simple item record
dc.contributor |
Universidade Federal de Santa Catarina |
pt_BR |
dc.contributor.advisor |
Buchsbaum, Arthur Ronald de Vallauris |
pt_BR |
dc.contributor.author |
Silva, Álvaro Altair Ferreira da |
pt_BR |
dc.date.accessioned |
2012-10-25T06:43:56Z |
|
dc.date.available |
2012-10-25T06:43:56Z |
|
dc.date.issued |
2012-10-25T06:43:56Z |
|
dc.identifier.other |
284555 |
pt_BR |
dc.identifier.uri |
http://repositorio.ufsc.br/xmlui/handle/123456789/94113 |
|
dc.description |
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010 |
pt_BR |
dc.description.abstract |
Sabe-se que, em alguns ambientes, tais como os números naturais e os números ordinais, os princípios da indução fraca, da indução completa e da boa ordem são todos verdadeiros. Com base em certas condições, cada um destes três princípios implica nos outros dois, porém não está claro nas referências consultadas quais são estas condições. Neste trabalho é fornecido um ambiente com requisitos mínimos em que estes três princípios são equivalentes, no sentido de que todos são válidos, ou todos são não válidos. São apresentadas em detalhes algumas estruturas algébricas, da mais geral às mais particulares, nas quais estes três princípios são válidos. Para algumas destas estruturas é provada a validade das leis de indução dupla, nas versões fraca e completa. Nos ditos sistemas quase transfinitos |
pt_BR |
dc.language.iso |
por |
pt_BR |
dc.subject.classification |
Ciência da computação |
pt_BR |
dc.subject.classification |
Indução (Lógica) |
pt_BR |
dc.title |
Condições de equivalência entre os princípios da indução fraca, da indução completa e da boa ordem |
pt_BR |
dc.type |
Dissertação (Mestrado) |
pt_BR |
Files in this item
This item appears in the following Collection(s)
Show simple item record
Search DSpace
Browse
-
All of DSpace
-
This Collection
My Account
Statistics
Compartilhar