|
Aula |
Data |
Assunto |
Horas Acum. |
|
1 |
7/mar |
Apresentação do Curso
Provas por Indução |
02 |
|
2 |
9/mar |
Noções básicas sobre conjuntos
|
04 |
|
3 |
14/mar |
Funções. Propriedades de funções |
06 |
|
4 |
16/mar |
Funções inversas. Composição de funções |
08 |
|
5 |
21/mar |
Seqüências. Somatórios
|
10 |
|
6 |
23/mar |
Cardinalidade. Enumerabilidade
|
12 |
|
7 |
4/abr |
Crescimento de funções. Notação "O(f(n))"
|
14 |
|
8 |
6/abr |
Noções básicas de custo de algoritmos
|
16 |
|
9 |
11/abr |
(Não houve aula)
|
18 |
|
10 |
18/abr |
Algoritmos numéricos: divisão, mdc, mmc
Aritmética modular
|
20 |
|
11 |
20/abr |
Algoritmo de Euclides (mdc)
Representação de inteiros
|
22 |
|
12 |
25/abr |
Teorema chinês do resto
Pseudoprimos
Noções básicas de criptografia RSA
24 | |
|
13 |
27/abr |
Algoritmos para operações com matrizes
|
26 |
|
14 |
2/mai |
Definições recursivas; algoritmos recursivos
|
28 |
|
15 |
4/mai |
Princípios básicos de contagem
Princípio da inclusão-exclusão
Princípio da "casa-de-pombos" (pigeonhole)
|
30 |
|
16 |
9/mai |
Permutações; combinações; coeficientes binomiais
Teorema binomial
Permutações e combinações com repetições
|
32 |
|
17 |
11/mai |
Relações de recorrência: definição, exemplos
Relações de recorrência: técnicas de resolução
Funções geradoras
|
34 |
|
18 |
16/mai |
Primeira Prova
|
36 |
|
19 |
18/mai |
Relações: definições, propriedades, operações
Fechos de uma relação
|
38 |
|
20 |
23/mai |
Ordenações parciais
Reticulados, semi-reticulados, reticulados completos
|
40 |
|
21 |
25/mai |
Grafos: definições, terminologia, representação
Subgrafos; grafos bipartidos
|
42 |
|
22 |
30/mai |
Conectividade, caminhos, circuitos
|
44 |
|
23 |
1/jun |
Caminhos mais curtos
Algoritmo de Dijkstra
|
46 |
|
24 |
6/jun |
Planaridade, coloração
|
48 |
|
25 |
8/jun |
Árvores: definições, terminologia, propriedades
|
50 |
|
26 |
13/jun |
Árvores binárias de busca
Busca em árvores
|
52 |
|
27 |
15/jun |
Árvores aplicadas a algoritmos de ordenação
|
54 | |
|
28 |
20/jun |
Árvores geradoras: definição, algoritmos
Árvores geradoras de peso mínimo
|
56 |
|
29 |
22/jun |
Álgebras booleanas: definições, aplicações
|
58 |
|
30 |
27/jun |
Álgebras booleanas: completude funcional
Álgebras booleanas: portas lógicas; minimização
60 | |
|
31 |
29/jun |
Estruturas algébricas: grupos
62 | |
|
32 |
04/jul |
Estruturas algébricas: anéis, corpos
64 | |
|
33 |
6/jul |
Segunda Prova |
66 |
|
34 |
11/jul |
Prova Final |
68 |