Matemática Discreta I BCC101 Introdução. 2 Bibliografia, Slides, Exercícios etc Bibliografia: Richard Hammack: Book of Proof Velemann: How to Prove it.

Apresentação em tema: "Matemática Discreta I BCC101 Introdução. 2 Bibliografia, Slides, Exercícios etc Bibliografia: Richard Hammack: Book of Proof Velemann: How to Prove it."— Transcrição da apresentação:

1 Matemática Discreta I BCC101 Introdução

2 2 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

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

4 4 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

5 5 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

6 6 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

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