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

Matemática Discreta (CB661)

Semestre: 2026.1
Horário: Segundas, Quartas e Sextas 08:00-10:00
Local: Bloco 951, Sala 11
Atendimento: Pelo SIGAA ou pelo email: rudini @ dc . ufc . br

Apresentação

Listas de Exercícios

Lista 1 (Prova 13-Abril-2026)
Lista 2 (Prova 20-Maio-2026)
Lista 3 (Prova 01-Julho-2026)

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:

Anamaria Gomide, Jorge Stolfi, Elementos de Matemática Discreta para Computação, UNICAMP, 2018. (PDF livro) (PDF anotações professor)

Bibliografia adicional:

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