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

Fundamentos Matemáticos da Computação (CK181)

Apresentação

• Vídeo-aulas - Playlist no Youtube

• Ementa oficial DMAT-UFC

• Notas (Gráfico notas)

• Slides PDF (TeX)

Listas de Exercícios

• Lista 1 (Prova 18-Setembro-2026)

• Lista 2 (Prova 23-Outubro-2026)

• Lista 3 (Prova 04-Dezembro-2026)

Ementa:

• 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.