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

Matemática Discreta (CB661)

Semestre: 2014.1
Horário: Segundas, Quartas e Sextas 08:00-10:00
Local: Auditório do Bloco 914
Atendimento: Na minha sala, em qualquer horário, desde que com reserva antecipada. Uma reserva pode ser feita via correio eletrônico ou na sala de aula.

Listas de Exercícios

Lista 1 (Teste 17-mar-2014) (Prova 24-mar-2014)
Lista 2 (Teste 23-abr-2014) (Prova 30-abr-2014)
Lista 3 (Teste 28-mai-2014) (Prova 04-jun-2014)

Notas

Notas (grafico notas prova 1)

Ementa:

A ementa do curso é a seguinte:

Introdução a Lógica Matemática

Formalismo (pdf)
Sentenças e Tabelas Verdade (pdf)
Implicações Lógicas, Equivalências (pdf)
Quantificadores e Fórmulas (pdf)
Noções Básicas de Demonstração: Vacuidade, Contradição, Construção (pdf)

Introdução à Teoria dos Conjuntos

Introdução (pdf)
Definições (pdf)
Os Axiomas (pdf)
Operações Elementares (pdf)
Propriedades (pdf)

Relações, Funções e Ordens

Pares Ordenados (pdf)
Relações Binárias (pdf)
Relações Binárias em um Conjunto (pdf)
Equivalências e Partições (pdf)
Ordens Parciais (pdf)
Funções (pdf)

Cardinalidade de Conjuntos

Números Naturais (pdf)
Princípio da Indução Matemática (pdf)
Princípio da Casa dos Pombos (pdf)
Conjuntos Infinitos (pdf)
Sequências e Recorrências (pdf)

Contagem

Princípio da Inclusão e Exclusão (pdf)
Permutações (pdf)
Combinações (pdf)
Probabilidade Discreta (pdf)

Livro-texto:

Edward R. Scheinerman, Matemática Discreta, uma introdução, Editora Cengage Learning, 2011.

Bibliografia adicional:

L. Lovasz, J. Pelikan, K. Vesztergombi, Matemática Discreta, Editora SBM, 2005.
Judith L. Gersting, Fundamentos Matemáticos para a Ciência da Computação, Editora LTC, 4o Edição, 2001.