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

Matemática Discreta (CB661)

Semestre: 2019.1
Horário: Segundas, Quartas e Sextas 08:00-10:00
Local: Auditório do Bloco 909
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 (Prova 05-abr-2019)
Lista 2 (Prova 10-mai-2019)
Lista 3 (Prova 21-jun-2019)

Notas

Notas (Gráfico notas)

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)

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)

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)

Contagem

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

Introdução a Teoria dos Grafos

Introdução: definições e resultados básicos
Conjunto independente e clique

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.