teoria da computação

Aviso Pr´ evio Bibliografia
Contexto
Indu¸c˜ ao Estrutural
Termos
Fun¸c˜ oes definidas por . . .
Aplica¸c˜
oes

P´ agina Pessoal

P´ agina de Rosto

P´ agina 1 de 32

Retroceder

Ecr˜ a Todo

Fechar

Sair

Teoria da Computa¸ c˜ ao
Defini¸c˜
oes Indutivas, Conjunto Estruturado de Termos, Demonstra¸ c˜ ao por Indu¸ c˜ ao
Estrutural, Programa¸ c˜ ao por Recurs˜ ao Estruturada
Sim˜ao Melo de Sousa

1. Aviso Pr´ evio Aviso Pr´ evio Bibliografia
Contexto
Indu¸c˜ ao Estrutural
Termos
Fun¸c˜ oes definidas por . . .
Aplica¸c˜
oes

P´ agina Pessoal

P´ agina de Rosto

P´ agina 2 de 32

Retroceder

Ecr˜ a Todo

Fechar

Sair

• A redac¸c˜ ao deste documento baseou-se fortemente na bibliografia indicada. Parecenos ent˜ ao ´ obvio que a leitura e a aprendizagem directa pelas obras originais ´e recomendada, e mesmo essencial `a compreens˜ao profunda das no¸c˜oes aqui apresentadas;
• O portuguˆes n˜ ao ´e a l´ıngua materna do autor e o presente documento encontra-se em fase de elabora¸c˜ ao pelo que se agradece e at´e se incentiva qualquer sugest˜ao ou correc¸c˜ ao.

2. Bibliografia
Consultar [1, 2, 3, 4, 6, 5]
Aviso Pr´ evio Bibliografia
Contexto
Indu¸c˜ ao Estrutural
Termos
Fun¸c˜ oes definidas por . . .
Aplica¸c˜
oes

P´ agina Pessoal

P´ agina de Rosto

P´ agina 3 de 32

Retroceder

Ecr˜ a Todo

Fechar

Sair

2.0.0.1. Contexto O conjunto das no¸c˜oes que introduzimos neste texto baseam-se essencialmente na modeliza¸c˜ ao “formal” e finita dos objectos que se pretende estudar, quer esses sejam matem´ aticos, inform´ aticos ou mesmo reais. Um contributo importante, explorado inicialmente pelo l´ ogico E. Post nos anos 40, para essa modeliza¸c˜ao s˜ao as defini¸c˜oes indutivas a partir das quais podemos definir uma classe importante dos objectos que pretendemos aqui estudar. Este estado de facto justifica uma descri¸c˜ao dos mecanismos envolvidos