A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

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ções semelhantes


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:

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 Teoria de Conjuntos Lógica de Primeira Ordem Técnicas de Prova Indução e Recursão Outras estruturas discretas: relações, funções, árvores, grafos Teoria de números propriedades de inteiros Combinatóriaproblemas de contagem Análise de algoritmos Computabilidade e decidibilidade

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 Listas de Exercícios: 2,0 pontos 3 Provas: Prova 1: 2,5 pontos Prova 2: 2,5 pontos Prova 3: 3,0 pontos Exame Especial: Substitui a nota total do semestre Pode ser parcial, se o aluno perder apenas uma das provas.


Carregar ppt "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ções semelhantes


Anúncios Google