Trabalho

azuoS ed sevlA regnilK onaleD

Relações, Funções e Princípio de Indução Finita

II emuloV acipmílO acitámetaM oãçeloC

.aidálV anA adamitse e adama ahnim a etnemlanfi e ailimE anoD eãm ahnim a ,notgnilleW .forP iap odireuq uem oA ,rJ onaleD e leinaD ,elleinaD :sohlfi sêrt suem soA

Dedicatória ii azuoS ed sevlA regnilK onaleD .1002 ed orbutuO ,azelatroF .ohlabart etse maraicne -uflni sorvil sojuc serotua sosrevid soa otnemicedarga osson ,etnemlaniF .ohlabart etsed oãçazilaer a arap mariubirtnoc etnemateridni uo oterid euq ovitulovE oigéloC od sonula e sageloc soa somecedargA .sievátnoC oãN e sievátnoC ,sotinfinI ,sotiniF sot -nujnoC sod oirótudortni odutse oa odacided é 6 olutípac on ,etnemlaniF .oãçudnI ed oipícnirP o ,medrO aoB ad amoixA o someratneserpa 5 olutípac oN .seõçnuF sad odutse mu someratneserpa 4 olutípac oN .etneicouQ otnujnoC e aicnêla -viuqE ed oãçaleR ,oãçaleR ed seõçon sa someratneserpa 3 olutípac oN .solutípac somixórp sod otnemidnetne o arap sairássecen oãres euq sotnujnoC sod airoeT a somatneserpa 2 olutípac oN .acitámetaM acigóL erbos sodatluser e seõçinfied samugla someratneserpa 1 olutípac oN .soicícrexe ed atsil asnetxe amu olutípac adac ed lanfi on somíulcni ,seõçinfied savon sad somret me omsem is rop rasnep ed etnadutse od edadicapac a revlovnesed araP .osu merezfi eled sotnauq sonula uo serosseforp - sodot rop sadatneserpa seõtsegus uo/e sacitírc sa sadniv meb ,otnatrop ,odnes ,levávoner etnemetnenamrep aicnêirepxe amu ed lasrod ahnipse ed retárac o amussa otxet etse euq avitatcepxe ahnim É .snevoj sosson sod oãçaraperp a arap levásnepsidni ed áh euq o moc levítapmoc rogir od rarucsed ,odutnoc ,mes avitejbo megadrobo amu ed oãçoda alep idiced ,seõzar sartuo rop e satse roP .anilpicsid adirefer ad odúetnoc o autis es euq me ramatap od méuqa otium oãtse sievínopsid sotxet so euq ratneilas onutropo É .latnemadnuF onisnE od sosruc sod ralucirruc edarg airpórp ad ortned acitámetaM ed adaípmilO ed amargorp od sadnamed sà essedneta euq