UFC - Bacharelado em Ciência da Computação

Matemática Discreta (CB661)


Plano de Aula:
Aulas Data Assunto
1 22/02/2010 Introdução a Lógica Matemática - Formalismo
2 24/02/2010 Sentenças e Tabelas Verdade
3 26/02/2010 Implicações Lógicas, Equivalências
4 01/03/2010 Quantificadores e Fórmulas
5 03/03/2010 Noções Básicas de Demonstração: Vacuidade, Contradição, Construção
6 05/03/2010 Noções Básicas de Demonstração: Vacuidade, Contradição, Construção
7 08/03/2010 Introdução à Teoria dos Conjuntos
8 10/03/2010 Operações Elementares de Conjuntos
9 12/03/2010 Propriedades de Conjuntos
10 15/03/2010 Relações Binárias
11 17/03/2010 Propriedades das Relações
12 22/03/2010 Equivalências e Partições
13 24/03/2010 Exercícios
14 26/03/2010 Revisão para a Prova
15 29/03/2010 1o prova (lógica, demonstrações, conjuntos, relações, ordens parciais)
16 31/03/2010 Ordens Parciais
17 05/04/2010 Ordens Parciais
18 07/04/2010 Funções
19 09/04/2010 Funções
20 12/04/2010 Funções
21 14/04/2010 Números Naturais
22 16/04/2010 Indução Matemática
23 19/04/2010 Indução Matemática
24 23/04/2010 Princípio da Casa dos Pombos
25 26/04/2010 Conjuntos Infinitos
26 28/04/2010 Conjuntos Infinitos
27 30/04/2010 Exercícios
28 03/05/2010 Revisão para prova
29 05/05/2010 2o prova (funções, indução matemática, sequências, recorrências)
30 07/05/2010 Sequências e Recorrência
31 10/05/2010 Sequências e Recorrência
32 12/05/2010 Combinatória - Contagem
33 14/05/2010 Combinatória - Princípio da Inclusão e Exclusão
34 17/05/2010 Permutações
35 19/05/2010 Permutações
36 21/05/2010 Combinações
37 24/05/2010 Combinações
38 26/05/2010 Probabilidade Discreta
39 28/05/2010 Probabilidade Discreta
40 31/05/2010 Exercícios
41 02/06/2009 Revisão para a prova
42 04/06/2009 3o prova (combinatória, permutações, combinações, probabilidade discreta)
43 07/06/2009 Exercícios
44 09/06/2009 Exercícios
45 11/06/2009 Exercícios
46 14/06/2009 4o prova (substitutiva) (toda matéria vista)
47 16/06/2009 Exercícios
AF 18/06/2009 AF
AF 21/06/2009 AF (2o chamada)