Programação de Aulas

Aula	Data	Assunto	Horas Acum.
1	23/abr	Apresentação do Curso Provas e Proposições	02
2	25/abr	Motivação: contar!	04
3	30/abr	Noções básicas sobre conjuntos	06
4	2/mai	Álgebras Booleanas Funções booleanas	08
5	7/mai	O número de subconjuntos Cardinalidade. Enumerabilidade (Cantor) (Mini-Prova)	10
6	9/mai	Seqüências. O número de subconjuntos ordenados	12
7	14/mai	Indução Matemática	14
8	16/mai	Indução Matemática (cont.)	16
9	21/mai	O Princípio da Casa de Pombos	18
10	23/mai	Triângulo de Pascal: teorema binomial	20
11	28/mai	Triângulo de Pascal: identidades	22
12	30/mai	Triângulo de Pascal: visão superior	24
13	4/jun	Números de Fibonacci	26
14	6/jun	Uma Fórmula para os Números de Fibonacci Números Primos e Divisibilidade	28
15	11/jun	Algoritmo de Euclides Aritmética Modular: Teorema Chinês do Resto	30
16	13/jun	Teste de Primalidade	32
17	18/jun	Princípios de Criptografia	34
18	25/jun	Primeira Prova	36
19	27/jun	Produto cartesiano Relações: definições, propriedades, operações	38
20	02/jul	Combinando relações Fechos de uma relação	40
21	04/jul	Relações de equiv. Ordenações parciais	42
22	09/jul	Diagrama de Hasse Reticulados, semi-reticulados, reticulados completos	44
23	11/jul	Funções Propriedades de funções	46
24	16/jul	SBPC	48
25	18/jul	SBPC	50
26	23/jul	Crescimento de funções. Notação "O(f(n))" Mini-prova 3 (relações e funções)	52
27	25/jul	Crescimento de funções. Grafos: definições.	54
28	30/jul	Grafos: terminologia Grafos bipartidos;	56
29	01/ago	Subgrafos; Representação; Isomorfismo Conectividade, caminhos, circuitos	58
30	06/ago	Caminhos mais curtos; Algoritmo de Dijkstra Planaridade, coloração	60
31	08/ago	Árvores: definições, terminologia, propriedades Árvores binárias de busca	62
32	13/ago	Mini-prova 4 (grafos e árvores)	64
33	15/ago	Busca em árvores	66
34	20/ago	Segunda prova	68
34	22/ago	Prova Final	70

Última atualização: 04 de Julho de 2003, 13:12:19