UFC - Departamento de Computação

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

Semestre: 2019.2
Horário: Segundas e Sextas 08:00-10:00
Local: Sala 15, Bloco 707
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 06-set-2019)
Lista 2 (Prova 18-out-2019)
Lista 3 (Prova 29-nov-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.