Pesquisa
Colóquio
11o Colóquio Brasileiro de Matemática - 1977
Sessão Especial de ComputaçãoEsta sessão foi introduzida neste Colóquio e teve caráter especial pois foi dirigida a um público sem conhecimento específico na área, do qual foi pressuposta apenas boa formação matemática. Constou de uma série de palestras intituladas "Aspectos Teóricos da Computação", coordenadas pelo Professor Imre Simopn da USP, distribuídas pelas áreas de Teoria dos Grafos, Complexidade dos Algoritmos, Programação de Computadores e Autômatos Finitos.
| Algoritmos e Programas |
Tomasz Kowaltowski, USP |
| Programação e Indução Matemática |
|
| Um Teorema de Ramsey e suas Aplicações |
Imre Simon, USP |
| Conjuntos Racionais e o Teorema de Kleene |
|
| Conjuntos Inteiros e o Teorema de Schützenberger | |
| O Problema dos Casamentos e o Teorema de Hall | Claudio L. Lucchesi, UNICAMP |
| Coloração de Vértices e o Teorema de Brooks | |
| Produto Eficiente de Matrizes | Janos Simon, UNICAMP |
| É Mais Fácil Verificar a Solução que Encontrá-la? | Istvan Simon, USP |