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

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

Matemática Discreta I BCC101

Apresentações semelhantes


Apresentação em tema: "Matemática Discreta I BCC101"— Transcrição da apresentação:

1 Matemática Discreta I BCC101
Introdução 1

2 Bibliografia, Slides, Exercícios etc
Richard Hammack: Book of Proof Velemann: How to Prove it Rosen: Matemática Discreta e Aplicações Slides, exercícios, avisos, notas: 2 2

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

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ória—problemas de contagem Análise de algoritmos Computabilidade e decidibilidade 4 4

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

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

7 Avaliação Listas de Exercícios: 2,0 pontos 3 Provas: Exame Especial:
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. 7 7


Carregar ppt "Matemática Discreta I BCC101"

Apresentações semelhantes


Anúncios Google