SlideShare una empresa de Scribd logo
1 de 21
•UNIVERSIDADE FEDERAL DE CAMPINA GRANDE
•CENTRO DE ENGENHARIA ELÉTRICA E INFORMÁTICA
•DEPARTAMENTO DE SISTEMAS E COMPUTAÇÃO
•Professor Ulrich Schiel

• Apresentação da disciplina
• Matemática – uma definição:
 É uma ciência que analisa estruturas
abstratas segundo suas propriedades
e Modelos
• Ramos da matemática:
• Geometria
• Álgebra
• Uma estrutura fundamental:
O CONJUNTO
É uma coleção de objetos a serem
estudados.
• Tipos de conjuntos
 Finitos
 Enumeráveis ou contáveis (N, Z, Q)
 Recursivamente enumerável
 Não contáveis (P(X), para X infinito)
 Contínuos ( R)
 Hipótese do contínuo – não existe
nada entre |N| e |R|
• MATEMÁTICA
Dependendo do tipo de conjuntos das
estruturas abstratas - distinguimos:
• MATEMÁTICA CONTÍNUA
• MATEMÁTICA DISCRETA
• Matemática contínua
- Conjuntos e Funções contínuas,
- Análise, cálculo, Geometria, Topologia
- R, R2, .., Rn,.., R∞
• Matemática discreta
•É o ramo da matemática que estuda
estruturas discretas, enumeráveis ou finitas.
• Matemática discreta ou finita ou
concreta
–
–
–
–
–
–

Lógica matemática
Técnicas de prova
Teoria dos conjuntos
Relações e Funções
Teoria dos números, combinatória
Teoria dos jogos

– Estruturas discretas: Grafos, reticulados, Árvores
– Álgebra. Álgebra de Boole
• Matemática discreta ou finita ou
concreta
– Algoritmos e recursão
– Complexidade e computabilidade
– Teoria da informação, criptografia
– Estatística
– Teoria das probabilidades, possibilidades,
Cadeias de Markov
– Linguagens formais e Autômatas finitos
• BIBLIOGRAFIA
- J. Gersting “Fundamentos
Matemáticos para a Ciência da
Computação – 5ª edição”, LTC
(2004)
- Paulo Blauth “Matemática Discreta para
Computação e Informática”, Sagra-Luzzato
(2004)
- R.L. Graham, D.E. Knuth e O. Patashnik,
“Matemática Concreta – Fundamentos para
a Ciência da Computação”. LTC, 1995.
• Aulas expositivas
• Exercícios (bônus na média)
• Minitestes
•Provas (0,8)

(0,2)
• Lógica simbólica (outra disciplina)
• Técnicas de Demonstração
• Definições indutivas
• Teoria dos Conjuntos
• Relações
• Funções
• Estruturas discretas: Grafos e Árvores (outra
disciplina)
• Estruturas matemáticas (Ordem, Álgebra e Topologia)
• Álgebra de Boole
http://www.dsc.ufcg.edu.br/~ulrich/disciplinas/MaDi.html
http://groups.google.com.br/group/md-l?pli=1
TURMA-1: Prof. Leandro Balby
http://www.dsc.ufcg.edu.br/~lbmarinho/md_apres_2012.2.html
https://groups.google.com/forum/?hl=pt&fromgroups#!
forum/matematica_discreta_ufcg_2012_2
Motivação – Lógica e
demontração
Motivação – Lógica e
demonstração
Motivação – Lógica e
demonstração
Principais lógicas:
• Cálculo proposicional
• (p & q) v (~p & q) → q
• Tabelas verdade
•Cálculo dos predicados
• ∀x(P(x) →Q(x)) & P(a) → ∃x (Q(x))
Motivação – Teoria dos conjuntos
• Os alunos de Cálculo I têm algo a ver
Com os alunos do curso de Ciência da
Computação?
• É possível enumerar todos conjuntos
finitos de números inteiros?
Motivação – relações
• Dado o conjunto de todos usuários do
Facebook, como modelar todos amigos
registrados?
• Como um algoritmo sugere novos
amigos?
Motivação – funções
• é possível definir uma função que
associa a cada número racional um
número inteiro?
• Como é possível combinar duas
funções?
Motivação – Álgebras e Álgebras
de Boole
• Existe uma relação entre a lógica
proposicional a teoria dos conjuntos e a
matemática computacional?
• Como resolver cálculos de números
digitais com números binários?
• O que é uma combinação entre
conjuntos, relações e funções?

Más contenido relacionado

La actualidad más candente

Aula introdução à lógica matemática
Aula introdução à lógica matemáticaAula introdução à lógica matemática
Aula introdução à lógica matemática
Aristóteles Meneses
 
Matemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesMatemática Discreta - Parte V relações
Matemática Discreta - Parte V relações
Ulrich Schiel
 
Matemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funçõesMatemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funções
Ulrich Schiel
 
Java orientação a objetos (associacao, composicao, agregacao)
Java   orientação a objetos (associacao, composicao, agregacao)Java   orientação a objetos (associacao, composicao, agregacao)
Java orientação a objetos (associacao, composicao, agregacao)
Armando Daniel
 

La actualidad más candente (20)

Matemática Discreta - Fundamentos
Matemática Discreta - FundamentosMatemática Discreta - Fundamentos
Matemática Discreta - Fundamentos
 
Aula introdução à lógica matemática
Aula introdução à lógica matemáticaAula introdução à lógica matemática
Aula introdução à lógica matemática
 
Matemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesMatemática Discreta - Parte V relações
Matemática Discreta - Parte V relações
 
Lógica e Matemática Computacional - Aula 02
Lógica e Matemática Computacional - Aula 02Lógica e Matemática Computacional - Aula 02
Lógica e Matemática Computacional - Aula 02
 
Funções
FunçõesFunções
Funções
 
Matrizes
MatrizesMatrizes
Matrizes
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Teoria dos Conjuntos
Teoria dos ConjuntosTeoria dos Conjuntos
Teoria dos Conjuntos
 
Polinômios
PolinômiosPolinômios
Polinômios
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Plano de aula
Plano de aulaPlano de aula
Plano de aula
 
Lógica e Matemática Computacional - Exercícios 02
Lógica e Matemática Computacional - Exercícios 02Lógica e Matemática Computacional - Exercícios 02
Lógica e Matemática Computacional - Exercícios 02
 
Matemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funçõesMatemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funções
 
Teoria dos conjuntos.ppt
Teoria dos conjuntos.pptTeoria dos conjuntos.ppt
Teoria dos conjuntos.ppt
 
Lógica e Matemática Computacional - Aula 01
Lógica e Matemática Computacional - Aula 01Lógica e Matemática Computacional - Aula 01
Lógica e Matemática Computacional - Aula 01
 
Plano de aula
Plano de aulaPlano de aula
Plano de aula
 
Operações com frações
Operações com fraçõesOperações com frações
Operações com frações
 
Aula 22 probabilidade - parte 1
Aula 22   probabilidade - parte 1Aula 22   probabilidade - parte 1
Aula 22 probabilidade - parte 1
 
Teoria de conjuntos fichas de exercícios
Teoria de conjuntos   fichas de exercícios Teoria de conjuntos   fichas de exercícios
Teoria de conjuntos fichas de exercícios
 
Java orientação a objetos (associacao, composicao, agregacao)
Java   orientação a objetos (associacao, composicao, agregacao)Java   orientação a objetos (associacao, composicao, agregacao)
Java orientação a objetos (associacao, composicao, agregacao)
 

Destacado

Matematica discreta uma introducao edward r scheinerman
Matematica discreta uma introducao   edward r scheinermanMatematica discreta uma introducao   edward r scheinerman
Matematica discreta uma introducao edward r scheinerman
Artur Câncio
 
Matemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricasMatemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricas
Ulrich Schiel
 
Md9 estruturas algébricas
Md9 estruturas algébricasMd9 estruturas algébricas
Md9 estruturas algébricas
Ulrich Schiel
 
Matematica discreta fasciculo_1_v7
Matematica discreta fasciculo_1_v7Matematica discreta fasciculo_1_v7
Matematica discreta fasciculo_1_v7
CLEAN LOURENÇO
 
Aula 9 inducao matematica ii
Aula 9   inducao matematica iiAula 9   inducao matematica ii
Aula 9 inducao matematica ii
wab030
 
Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipio
wab030
 
Trabalho sobre Trigonometria no Ciclo
Trabalho sobre Trigonometria no CicloTrabalho sobre Trigonometria no Ciclo
Trabalho sobre Trigonometria no Ciclo
Edinei Reis
 

Destacado (20)

Matematica discreta uma introducao edward r scheinerman
Matematica discreta uma introducao   edward r scheinermanMatematica discreta uma introducao   edward r scheinerman
Matematica discreta uma introducao edward r scheinerman
 
Apostila matemática discreta
Apostila matemática discretaApostila matemática discreta
Apostila matemática discreta
 
Matemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricasMatemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricas
 
Md7 banco dados
Md7 banco dadosMd7 banco dados
Md7 banco dados
 
Matematica discreta
Matematica discretaMatematica discreta
Matematica discreta
 
Trabalho 01 Trigonometria - Aluno
Trabalho 01   Trigonometria - AlunoTrabalho 01   Trigonometria - Aluno
Trabalho 01 Trigonometria - Aluno
 
Musica
MusicaMusica
Musica
 
Informação+Sistemas=Sistemas de Informação?
Informação+Sistemas=Sistemas de Informação?Informação+Sistemas=Sistemas de Informação?
Informação+Sistemas=Sistemas de Informação?
 
Md9 estruturas algébricas
Md9 estruturas algébricasMd9 estruturas algébricas
Md9 estruturas algébricas
 
MODELOS DE DADOS - Parte 1 introdução
MODELOS DE DADOS - Parte 1 introduçãoMODELOS DE DADOS - Parte 1 introdução
MODELOS DE DADOS - Parte 1 introdução
 
Lógica temporal
Lógica temporalLógica temporal
Lógica temporal
 
MODELOS DE DADOS - Parte 3 Bancos de Dados
MODELOS DE DADOS - Parte 3 Bancos de DadosMODELOS DE DADOS - Parte 3 Bancos de Dados
MODELOS DE DADOS - Parte 3 Bancos de Dados
 
Matematica discreta fasciculo_1_v7
Matematica discreta fasciculo_1_v7Matematica discreta fasciculo_1_v7
Matematica discreta fasciculo_1_v7
 
Aula 9 inducao matematica ii
Aula 9   inducao matematica iiAula 9   inducao matematica ii
Aula 9 inducao matematica ii
 
Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipio
 
Trabalho sobre Trigonometria no Ciclo
Trabalho sobre Trigonometria no CicloTrabalho sobre Trigonometria no Ciclo
Trabalho sobre Trigonometria no Ciclo
 
Aula 6 - Análise Combinatória
Aula 6 - Análise CombinatóriaAula 6 - Análise Combinatória
Aula 6 - Análise Combinatória
 
Resumo MA14 - Aritmética - Unidades 1 e 2
Resumo MA14 - Aritmética - Unidades 1 e 2Resumo MA14 - Aritmética - Unidades 1 e 2
Resumo MA14 - Aritmética - Unidades 1 e 2
 
Matemática - Conjuntos
Matemática - ConjuntosMatemática - Conjuntos
Matemática - Conjuntos
 
Método de estudo
Método de estudoMétodo de estudo
Método de estudo
 

Último

Artigo Científico - Estrutura e Formatação.ppt
Artigo Científico - Estrutura e Formatação.pptArtigo Científico - Estrutura e Formatação.ppt
Artigo Científico - Estrutura e Formatação.ppt
RogrioGonalves41
 
Os editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxOs editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptx
TailsonSantos1
 
19- Pedagogia (60 mapas mentais) - Amostra.pdf
19- Pedagogia (60 mapas mentais) - Amostra.pdf19- Pedagogia (60 mapas mentais) - Amostra.pdf
19- Pedagogia (60 mapas mentais) - Amostra.pdf
marlene54545
 
Expansão Marítima- Descobrimentos Portugueses século XV
Expansão Marítima- Descobrimentos Portugueses século XVExpansão Marítima- Descobrimentos Portugueses século XV
Expansão Marítima- Descobrimentos Portugueses século XV
lenapinto
 
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
azulassessoria9
 

Último (20)

LENDA DA MANDIOCA - leitura e interpretação
LENDA DA MANDIOCA - leitura e interpretaçãoLENDA DA MANDIOCA - leitura e interpretação
LENDA DA MANDIOCA - leitura e interpretação
 
APRESENTAÇÃO - BEHAVIORISMO - TEORIA DA APRENDIZAGEM.pdf
APRESENTAÇÃO - BEHAVIORISMO - TEORIA DA APRENDIZAGEM.pdfAPRESENTAÇÃO - BEHAVIORISMO - TEORIA DA APRENDIZAGEM.pdf
APRESENTAÇÃO - BEHAVIORISMO - TEORIA DA APRENDIZAGEM.pdf
 
Artigo Científico - Estrutura e Formatação.ppt
Artigo Científico - Estrutura e Formatação.pptArtigo Científico - Estrutura e Formatação.ppt
Artigo Científico - Estrutura e Formatação.ppt
 
Introdução às Funções 9º ano: Diagrama de flexas, Valor numérico de uma funçã...
Introdução às Funções 9º ano: Diagrama de flexas, Valor numérico de uma funçã...Introdução às Funções 9º ano: Diagrama de flexas, Valor numérico de uma funçã...
Introdução às Funções 9º ano: Diagrama de flexas, Valor numérico de uma funçã...
 
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptxSlides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
 
Os editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxOs editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptx
 
19- Pedagogia (60 mapas mentais) - Amostra.pdf
19- Pedagogia (60 mapas mentais) - Amostra.pdf19- Pedagogia (60 mapas mentais) - Amostra.pdf
19- Pedagogia (60 mapas mentais) - Amostra.pdf
 
Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!
Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!
Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!
 
Aula 1 - Psicologia Cognitiva, aula .ppt
Aula 1 - Psicologia Cognitiva, aula .pptAula 1 - Psicologia Cognitiva, aula .ppt
Aula 1 - Psicologia Cognitiva, aula .ppt
 
P P P 2024 - *CIEJA Santana / Tucuruvi*
P P P 2024  - *CIEJA Santana / Tucuruvi*P P P 2024  - *CIEJA Santana / Tucuruvi*
P P P 2024 - *CIEJA Santana / Tucuruvi*
 
GUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.doc
GUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.docGUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.doc
GUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.doc
 
Expansão Marítima- Descobrimentos Portugueses século XV
Expansão Marítima- Descobrimentos Portugueses século XVExpansão Marítima- Descobrimentos Portugueses século XV
Expansão Marítima- Descobrimentos Portugueses século XV
 
Cópia de AULA 2- ENSINO FUNDAMENTAL ANOS INICIAIS - LÍNGUA PORTUGUESA.pptx
Cópia de AULA 2- ENSINO FUNDAMENTAL ANOS INICIAIS - LÍNGUA PORTUGUESA.pptxCópia de AULA 2- ENSINO FUNDAMENTAL ANOS INICIAIS - LÍNGUA PORTUGUESA.pptx
Cópia de AULA 2- ENSINO FUNDAMENTAL ANOS INICIAIS - LÍNGUA PORTUGUESA.pptx
 
M0 Atendimento – Definição, Importância .pptx
M0 Atendimento – Definição, Importância .pptxM0 Atendimento – Definição, Importância .pptx
M0 Atendimento – Definição, Importância .pptx
 
Polígonos, Diagonais de um Polígono, SOMA DOS ANGULOS INTERNOS DE UM POLÍGON...
Polígonos, Diagonais de um Polígono, SOMA DOS ANGULOS INTERNOS DE UM  POLÍGON...Polígonos, Diagonais de um Polígono, SOMA DOS ANGULOS INTERNOS DE UM  POLÍGON...
Polígonos, Diagonais de um Polígono, SOMA DOS ANGULOS INTERNOS DE UM POLÍGON...
 
classe gramatical Substantivo apresentação..pptx
classe gramatical Substantivo apresentação..pptxclasse gramatical Substantivo apresentação..pptx
classe gramatical Substantivo apresentação..pptx
 
Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...
Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...
Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...
 
Conflitos entre: ISRAEL E PALESTINA.pdf
Conflitos entre:  ISRAEL E PALESTINA.pdfConflitos entre:  ISRAEL E PALESTINA.pdf
Conflitos entre: ISRAEL E PALESTINA.pdf
 
Historia de Portugal - Quarto Ano - 2024
Historia de Portugal - Quarto Ano - 2024Historia de Portugal - Quarto Ano - 2024
Historia de Portugal - Quarto Ano - 2024
 
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
 

Matemática Discreta - Introdução

  • 1. •UNIVERSIDADE FEDERAL DE CAMPINA GRANDE •CENTRO DE ENGENHARIA ELÉTRICA E INFORMÁTICA •DEPARTAMENTO DE SISTEMAS E COMPUTAÇÃO •Professor Ulrich Schiel • Apresentação da disciplina
  • 2. • Matemática – uma definição:  É uma ciência que analisa estruturas abstratas segundo suas propriedades e Modelos • Ramos da matemática: • Geometria • Álgebra
  • 3. • Uma estrutura fundamental: O CONJUNTO É uma coleção de objetos a serem estudados.
  • 4. • Tipos de conjuntos  Finitos  Enumeráveis ou contáveis (N, Z, Q)  Recursivamente enumerável  Não contáveis (P(X), para X infinito)  Contínuos ( R)  Hipótese do contínuo – não existe nada entre |N| e |R|
  • 5. • MATEMÁTICA Dependendo do tipo de conjuntos das estruturas abstratas - distinguimos: • MATEMÁTICA CONTÍNUA • MATEMÁTICA DISCRETA
  • 6. • Matemática contínua - Conjuntos e Funções contínuas, - Análise, cálculo, Geometria, Topologia - R, R2, .., Rn,.., R∞
  • 7. • Matemática discreta •É o ramo da matemática que estuda estruturas discretas, enumeráveis ou finitas.
  • 8. • Matemática discreta ou finita ou concreta – – – – – – Lógica matemática Técnicas de prova Teoria dos conjuntos Relações e Funções Teoria dos números, combinatória Teoria dos jogos – Estruturas discretas: Grafos, reticulados, Árvores – Álgebra. Álgebra de Boole
  • 9. • Matemática discreta ou finita ou concreta – Algoritmos e recursão – Complexidade e computabilidade – Teoria da informação, criptografia – Estatística – Teoria das probabilidades, possibilidades, Cadeias de Markov – Linguagens formais e Autômatas finitos
  • 10. • BIBLIOGRAFIA - J. Gersting “Fundamentos Matemáticos para a Ciência da Computação – 5ª edição”, LTC (2004) - Paulo Blauth “Matemática Discreta para Computação e Informática”, Sagra-Luzzato (2004) - R.L. Graham, D.E. Knuth e O. Patashnik, “Matemática Concreta – Fundamentos para a Ciência da Computação”. LTC, 1995.
  • 11. • Aulas expositivas • Exercícios (bônus na média) • Minitestes •Provas (0,8) (0,2)
  • 12. • Lógica simbólica (outra disciplina) • Técnicas de Demonstração • Definições indutivas • Teoria dos Conjuntos • Relações • Funções • Estruturas discretas: Grafos e Árvores (outra disciplina) • Estruturas matemáticas (Ordem, Álgebra e Topologia) • Álgebra de Boole
  • 14. TURMA-1: Prof. Leandro Balby http://www.dsc.ufcg.edu.br/~lbmarinho/md_apres_2012.2.html https://groups.google.com/forum/?hl=pt&fromgroups#! forum/matematica_discreta_ufcg_2012_2
  • 15. Motivação – Lógica e demontração
  • 16. Motivação – Lógica e demonstração
  • 17. Motivação – Lógica e demonstração Principais lógicas: • Cálculo proposicional • (p & q) v (~p & q) → q • Tabelas verdade •Cálculo dos predicados • ∀x(P(x) →Q(x)) & P(a) → ∃x (Q(x))
  • 18. Motivação – Teoria dos conjuntos • Os alunos de Cálculo I têm algo a ver Com os alunos do curso de Ciência da Computação? • É possível enumerar todos conjuntos finitos de números inteiros?
  • 19. Motivação – relações • Dado o conjunto de todos usuários do Facebook, como modelar todos amigos registrados? • Como um algoritmo sugere novos amigos?
  • 20. Motivação – funções • é possível definir uma função que associa a cada número racional um número inteiro? • Como é possível combinar duas funções?
  • 21. Motivação – Álgebras e Álgebras de Boole • Existe uma relação entre a lógica proposicional a teoria dos conjuntos e a matemática computacional? • Como resolver cálculos de números digitais com números binários? • O que é uma combinação entre conjuntos, relações e funções?

Notas del editor

  1. {}