Propostas para tópicos duma tese de mestrado
Matemática Pura
- A relação entre o primeiro e o segundo teorema da recursão
(cálculo λ)
- Schemas de recursão com substituções e ponteiros
(complexidade implícita)
- Recursão e iteração
- Extração de programas e algoritmos de ordenação
- Interface universal de sistemas de demonstração
Matemática para o Ensino
- Indução
- Demonstrações no ensino da matemática
Reinhard Kahle, 5.05.07