Matemática Discreta I
BCC101
Introdução
Bibliografia, Slides, Exercícios
etc
Bibliografia:



Richard Hammack: Book of Proof
Velemann: How to Prove it
Rosen: Matemática Discreta e Aplicações
Slides, exercícios, avisos, notas:
 www.decom.ufop.br/lucilia/md1.html
2
Visão Geral
Matemática Discreta lida com estruturas
matemáticas discretas: constituídas de
partes distinguíveis ou separadas.
Discreto vs. Contínuo: Naturais vs Reais
Como computadores operam de maneira
descontínua (ou discreta), executando um
passo a cada instante, Matemática
Discreta é o arcabouço apropriado para
descrever Computação.
3
Matemática Discreta I
Lógica proposicional
Lógica de Predicados
Álgebra Booleana
Sistema de Dedução
Estratétias de Prova
Indução Matemática Teoria de Conjuntos
Lógica de Primeira Ordem
Técnicas de Prova
Indução e Recursão
Lógica aplicada à computação
4
Porque estudar MD
O conceito central da computação é o de
ALGORITMO.
Matemática Discreta ajuda a entender…
ferramentas para a construção de
algoritmos
ferramentas para a análise de
complexidade de algoritmos
métodos para a prova de correção de
algoritmos
5
Outras Aplicações
Desenvolvimento de Software e Hardware

Projeto de chips, especificação de software,
geração automática de software, prova formal
de correção de programas
Teoria da Computação

Métodos de prova para estudo de propriedades
de modelos teóricos de computação
Fundamentação para LPs
Inteligência Artificial
Bancos de Dados
6
Avaliação
3 Provas: média das notas das 3 provas
Exame Especial:
Substitui a nota total do semestre
Pode ser parcial, se o aluno perder apenas
uma das provas.
7