29 Fev
Pares ordenados
Relações
(Transparências, Cap. 1, Sec. 1 e 2)
05 Mar
Funções
(Transparências, Cap. 2, Sec. 3)
07 Mar
Equivalências e partições
Ordenações
(Transparências, Cap. 2, Sec. 4 e 5)
12 Mar
Ordenações (cont.) (Diagrama de Hasse)
14 Mar
Os números naturais
(Transparências, Cap. 3, Sec. 1)
19 Mar
Propriedades de números naturais
(Cap. 3, Sec. 2)
21 Mar
O teorema da recursão
(Transparências, Cap. 3, Sec. 3)
26 Mar
Aritmética de números naturais
(Transparências, Cap. 3, Sec. 4)
28 Mar
Aritmética de números naturais (cont.)
02 Abr
Cardinalidade de conjuntos
Conjuntos finitos
Conjuntos contáveis
(Transparências, Cap. 4, Sec. 1 e 2)
04 Abr
Conjuntos contáveis (cont.)
09 Abr
Ordenações lineares
11 Abr
Ordenações lineares (cont.)
(Transparências, Cap. 4, Sec. 4)
16 Abr
Primeira Prova
18 Abr
Ordenações lineares completas
(Transparências, Cap. 4, Sec. 5)
23 Abr
Conjuntos incontáveis
(Transparências, Cap. 4, Sec. 6)
25 Abr
Aritmética de cardinais
A cardinalidade do contínuo
(Transparências, Cap. 5, Sec. 1 e 2)
30 Abr
Conjuntos bem-ordenados
Números ordinais
(Transparências, Cap. 6, Sec. 1 e 2)
02 Mai
O axioma da substituição
(Transparências, Cap. 6, Sec. 3)
07 Mai
Indução e Recursão Transfinitas
(Transparências, Cap. 6, Sec. 4)
09 Mai
Aritmética de ordinais
(Transparências, Cap. 6, Sec. 5)
14 Mai
Forma normal de ordinais
(Transparências, Cap. 6, Sec. 6)
16 Mai
Alefs
(Transparências, Cap. 7, Sec. 1)
21 Mai
O axioma da escolha
(Transparências, Cap. 8, Sec. 1)
23 Jun
O sistema axiomático de Zermelo-Fraenkel
(Transparências, Cap. 15)
28 Mai
O sistema axiomático de Zermelo-Fraenkel (cont.)
A hipótese do contínuo
Conjuntos construtíveis
(Transparências, Cap. 15)
30 Mai
Consistência e independéncia
04 Jun
O sistema axiomático de Zermelo-Fraenkel
06 Jun
A noção de forçação (forcing)
(Transparências, Cap. 15)
11 Jun
Segunda Prova
13 Jun
Prova de Segunda Chamada
18 Jun
Prova Final
Última atualização: 27 de Janeiro de 2012, 11:16am GMT-3