|
| Lição nº 1 20/09/2005 |
||
| Linguagens de primeira ordem | ||
 |
||
| Lição nº 2 28/09/2005 |
||
| Semântica |
||
|
||
| Lição nº 3 12/10/2005 |
||
| Modelo; Compacidade; Lógica proposicional | ||
|
||
| Lição nº 4 19/10/2005 |
||
| Compacidade (cont.) | ||
|
||
| Lição nº 5 26/10/2005 |
||
| Compacidade (cont.) | ||
|
||
| Lição nº 6 02/11/2005 |
||
| Compacidade; Löwenheim-Skolem; Sistema de Derivação | ||
|
||
| Lição nº 7 09/11/2005 |
||
| Completude; Axiomas de Peano | ||
|
||
| Lição nº 8 16/11/2005 |
||
| Sistemas de axiomas | ||
|
||
| Lição nº 9 23/11/2005 |
||
| Funções recursivas primitivas | ||
|
||
| Lição nº 10 07/12/2005 |
||
| Gödelização | ||
|
||
| Lição nº 11 14/12/2005 |
||
| Teoremas de Gödel | ||
|
||
| Lição nº 12 21/12/2005 |
||
| Teorema de Church | ||
|
||
O Professor,
Rimhard Kahle