|
Aula |
Data |
Assunto |
Horas Acum. |
|
1 |
30/out |
Apresentação do Curso
Noçãoes de Lógica |
02 |
|
2 |
1/Nov |
Tabela-verdade
Equival. entre fórmulas
|
04 |
|
3 |
6/Nov |
Noções básicas sobre conjuntos
(Cantor)
06 | |
|
4 |
8/Nov |
Álgebra Booleana
Demonstrações |
08 |
|
5 |
13/Nov |
Mini-Prova 1
|
10 |
|
6 |
20/Nov |
Provas por Indução
|
12 |
|
7 |
22/Nov |
Princípios básicos de contagem
|
14 |
|
8 |
27/Nov |
Princípio da inclusão-exclusão
Princípio da "casa-de-pombos" (pigeonhole)
Permutações; combinações
|
16 |
|
9 |
29/Nov |
Coeficientes binomiais
Teorema binomial
Mini-Prova 2
|
18 |
|
10 |
04/Dez |
Relações: definições, propriedades, operações
Fechos de uma relação
Ordenações parciais
|
20 |
|
11 |
06/Dez |
Diagrama de Hasse
Relações de equival.
Funções. Propriedades de funções
Funções inversas. Composição de funções
|
22 |
|
12 |
11/Dez |
Cardinalidade. Enumerabilidade
24 | |
|
13 |
13/Dez |
Definições recursivas; algoritmos recursivos
|
26 |
|
14 |
18/Dez |
Relações de recorrência: definição, exemplos
Relações de recorrência: técnicas de resolução
28 | |
|
15 |
20/Dez |
Primeira Prova
|
30 |
|
16 |
03/jan |
Relações de recorrência: técnicas de resolução
|
32 |
|
17 |
08/jan |
Revisão dos métodos de prova
|
34 |
|
18 |
10/jan |
Crescimento de funções. Notação "O(f(n))"
|
36 |
|
19 |
15/jan |
Noções básicas de custo de algoritmos
|
38 |
|
20 |
17/Jan |
Introdução Teoria dos números
Algoritmos numéricos: divisão, mdc, mmc
Entrega das listas de exercícios
|
40 |
|
21 |
22/jan |
Aritmética modular
|
42 |
|
22 |
24/jan |
Algoritmo de Euclides (mdc)
Representação de inteiros
|
44 |
|
23 |
28/jan |
Teorema chinês do resto
Pseudoprimos
|
46 |
|
24 |
31/jan |
Noções básicas de criptografia RSA
Mini-prova 3
|
48 |
|
25 |
05/fev |
Algoritmos para operações com matrizes
|
50 |
|
26 |
07/fev |
Grafos: definições, terminologia, representação
Subgrafos; grafos bipartidos
|
52 |
|
27 |
12/fev |
Conectividade, caminhos, circuitos
|
54 | |
|
28 |
14/fev |
Planaridade, coloração
|
56 |
|
29 |
19/fev |
Árvores: definições, terminologia, propriedades
|
58 |
|
30 |
21/fev |
Mini-prova 4
|
60 | |
|
31 |
26/fev |
Árvores binárias de busca
Busca em árvores
62 | |
|
32 |
28/fev |
Árvores aplicadas a algoritmos de ordenação
|
64 | |
|
32 |
07/mar |
Árvores geradoras
|
66 | |
|
33 |
08/mar |
Segunda Prova |
68 |
|
32 |
12/mar |
Exercícios de revisão
72 | |
|
34 |
14/mar |
Segunda Chamada |
|
|
34 |
19/mar |
Prova Final |
|