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

Matemática Discreta (CB661)

Semestre: 2020.1
Horário: Segundas, Quartas e Sextas 08:00-10:00
Local: Sala 03, Bloco 951
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.

Apresentação

Listas de Exercícios

Lista 1 (Prova 17-Julho-2020)
Lista 2 (Prova 07-Agosto-2020)
Lista 3 (Prova 28-Agosto-2020)

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)

Introdução à Teoria dos Conjuntos

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

Demonstrações

Noções Básicas de Demonstração: Vacuidade, Contradição, Construção (pdf)
Números Naturais (pdf)
Princípio da Indução Matemática (pdf)
Conjuntos Infinitos (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)
Sequências e Recorrências (pdf)

Contagem

Princípio da Casa dos Pombos (pdf)
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.
Anamaria Gomide, Jorge Stolfi, Elementos de Matemática Discreta para Computação, UNICAMP, 2018. (PDF comentado)

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.