UFC - Curso de Engenharia de Computação

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

Semestre: 2023.2
Horário: Segundas e Sextas 08:00-10:00
Local: Bloco 951, Sala 5
Atendimento: Por meio do SIGAA da disciplina ou pelo email: rudini @ dc . ufc . br

Apresentação

Listas de Exercícios

Lista 1 (Prova 15-Setembro)
Lista 2 (Prova 23-Outubro)
Lista 3 (Prova 01-Dezembro)

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 livro) (PDF anotações professor)

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.