SlideShare ist ein Scribd-Unternehmen logo
1 von 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?

Weitere ähnliche Inhalte

Was ist angesagt?

Matemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosMatemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosUlrich Schiel
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidosHAROLDO MIRANDA DA COSTA JR
 
Tautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasTautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasAristóteles Meneses
 
Matemática Discreta - 05 Listas e Fatorial
Matemática Discreta - 05 Listas e FatorialMatemática Discreta - 05 Listas e Fatorial
Matemática Discreta - 05 Listas e FatorialRanilson Paiva
 
Probabilidade. 3º ano
Probabilidade. 3º anoProbabilidade. 3º ano
Probabilidade. 3º anowelixon
 
Aula estatística descritiva básica
Aula estatística descritiva básicaAula estatística descritiva básica
Aula estatística descritiva básicaHoracimar Cotrim
 

Was ist angesagt? (20)

Demonstrações
DemonstraçõesDemonstrações
Demonstrações
 
Matemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosMatemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntos
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos
 
Noções de estatística 3º ano
Noções de estatística 3º anoNoções de estatística 3º ano
Noções de estatística 3º ano
 
Raciocínio lógico parte 1
Raciocínio lógico   parte 1Raciocínio lógico   parte 1
Raciocínio lógico parte 1
 
TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS
 
Aula 2 matrizes
Aula 2   matrizesAula 2   matrizes
Aula 2 matrizes
 
Aula 22 probabilidade - parte 1
Aula 22   probabilidade - parte 1Aula 22   probabilidade - parte 1
Aula 22 probabilidade - parte 1
 
C++ Funções
 C++ Funções C++ Funções
C++ Funções
 
Tautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasTautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalências
 
Matemática Discreta - 05 Listas e Fatorial
Matemática Discreta - 05 Listas e FatorialMatemática Discreta - 05 Listas e Fatorial
Matemática Discreta - 05 Listas e Fatorial
 
Equação do 2º grau
Equação do 2º grauEquação do 2º grau
Equação do 2º grau
 
Probabilidade. 3º ano
Probabilidade. 3º anoProbabilidade. 3º ano
Probabilidade. 3º ano
 
Aula estatística descritiva básica
Aula estatística descritiva básicaAula estatística descritiva básica
Aula estatística descritiva básica
 
Numeros complexos
Numeros complexosNumeros complexos
Numeros complexos
 
Estatística básica
Estatística básicaEstatística básica
Estatística básica
 
Aula 12 medidas de dispersão
Aula 12   medidas de dispersãoAula 12   medidas de dispersão
Aula 12 medidas de dispersão
 
Linguagem C - Vetores
Linguagem C - VetoresLinguagem C - Vetores
Linguagem C - Vetores
 
Teoria dos Conjuntos
Teoria dos Conjuntos   Teoria dos Conjuntos
Teoria dos Conjuntos
 
Tabelas e gráficos
Tabelas e gráficosTabelas e gráficos
Tabelas e gráficos
 

Andere mochten auch

Matemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasMatemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasUlrich Schiel
 
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 scheinermanArtur Câncio
 
Trabalho 01 Trigonometria - Aluno
Trabalho 01   Trigonometria - AlunoTrabalho 01   Trigonometria - Aluno
Trabalho 01 Trigonometria - AlunoAna Paula Silva
 
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?Ulrich Schiel
 
Md9 estruturas algébricas
Md9 estruturas algébricasMd9 estruturas algébricas
Md9 estruturas algébricasUlrich Schiel
 
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çãoUlrich Schiel
 
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 DadosUlrich Schiel
 
Matematica discreta fasciculo_1_v7
Matematica discreta fasciculo_1_v7Matematica discreta fasciculo_1_v7
Matematica discreta fasciculo_1_v7CLEAN LOURENÇO
 
Aula 9 inducao matematica ii
Aula 9   inducao matematica iiAula 9   inducao matematica ii
Aula 9 inducao matematica iiwab030
 
Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipiowab030
 
Trabalho sobre Trigonometria no Ciclo
Trabalho sobre Trigonometria no CicloTrabalho sobre Trigonometria no Ciclo
Trabalho sobre Trigonometria no CicloEdinei Reis
 
Aula 6 - Análise Combinatória
Aula 6 - Análise CombinatóriaAula 6 - Análise Combinatória
Aula 6 - Análise CombinatóriaLuciana Martino
 
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 2Felipe Cavalcante
 
Matemática - Conjuntos
Matemática - ConjuntosMatemática - Conjuntos
Matemática - ConjuntosArkanjo2001
 

Andere mochten auch (20)

Matemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasMatemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivas
 
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
 
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
 

Kürzlich hochgeladen

ABRIL VERDE.pptx Slide sobre abril ver 2024
ABRIL VERDE.pptx Slide sobre abril ver 2024ABRIL VERDE.pptx Slide sobre abril ver 2024
ABRIL VERDE.pptx Slide sobre abril ver 2024Jeanoliveira597523
 
Apresentação | Eleições Europeias 2024-2029
Apresentação | Eleições Europeias 2024-2029Apresentação | Eleições Europeias 2024-2029
Apresentação | Eleições Europeias 2024-2029Centro Jacques Delors
 
Cenários de Aprendizagem - Estratégia para implementação de práticas pedagógicas
Cenários de Aprendizagem - Estratégia para implementação de práticas pedagógicasCenários de Aprendizagem - Estratégia para implementação de práticas pedagógicas
Cenários de Aprendizagem - Estratégia para implementação de práticas pedagógicasRosalina Simão Nunes
 
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃOLEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃOColégio Santa Teresinha
 
Programa de Intervenção com Habilidades Motoras
Programa de Intervenção com Habilidades MotorasPrograma de Intervenção com Habilidades Motoras
Programa de Intervenção com Habilidades MotorasCassio Meira Jr.
 
GÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - CartumGÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - CartumAugusto Costa
 
Simulado 2 Etapa - 2024 Proximo Passo.pdf
Simulado 2 Etapa  - 2024 Proximo Passo.pdfSimulado 2 Etapa  - 2024 Proximo Passo.pdf
Simulado 2 Etapa - 2024 Proximo Passo.pdfEditoraEnovus
 
A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.silves15
 
Slides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptx
Slides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptxSlides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptx
Slides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptxLuizHenriquedeAlmeid6
 
trabalho wanda rocha ditadura
trabalho wanda rocha ditaduratrabalho wanda rocha ditadura
trabalho wanda rocha ditaduraAdryan Luiz
 
Simulado 1 Etapa - 2024 Proximo Passo.pdf
Simulado 1 Etapa - 2024 Proximo Passo.pdfSimulado 1 Etapa - 2024 Proximo Passo.pdf
Simulado 1 Etapa - 2024 Proximo Passo.pdfEditoraEnovus
 
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptxATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptxOsnilReis1
 
Recurso Casa das Ciências: Sistemas de Partículas
Recurso Casa das Ciências: Sistemas de PartículasRecurso Casa das Ciências: Sistemas de Partículas
Recurso Casa das Ciências: Sistemas de PartículasCasa Ciências
 
Habilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e EspecíficasHabilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e EspecíficasCassio Meira Jr.
 
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptxAD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptxkarinedarozabatista
 
William J. Bennett - O livro das virtudes para Crianças.pdf
William J. Bennett - O livro das virtudes para Crianças.pdfWilliam J. Bennett - O livro das virtudes para Crianças.pdf
William J. Bennett - O livro das virtudes para Crianças.pdfAdrianaCunha84
 
DESAFIO LITERÁRIO - 2024 - EASB/ÁRVORE -
DESAFIO LITERÁRIO - 2024 - EASB/ÁRVORE -DESAFIO LITERÁRIO - 2024 - EASB/ÁRVORE -
DESAFIO LITERÁRIO - 2024 - EASB/ÁRVORE -Aline Santana
 

Kürzlich hochgeladen (20)

ABRIL VERDE.pptx Slide sobre abril ver 2024
ABRIL VERDE.pptx Slide sobre abril ver 2024ABRIL VERDE.pptx Slide sobre abril ver 2024
ABRIL VERDE.pptx Slide sobre abril ver 2024
 
Apresentação | Eleições Europeias 2024-2029
Apresentação | Eleições Europeias 2024-2029Apresentação | Eleições Europeias 2024-2029
Apresentação | Eleições Europeias 2024-2029
 
Cenários de Aprendizagem - Estratégia para implementação de práticas pedagógicas
Cenários de Aprendizagem - Estratégia para implementação de práticas pedagógicasCenários de Aprendizagem - Estratégia para implementação de práticas pedagógicas
Cenários de Aprendizagem - Estratégia para implementação de práticas pedagógicas
 
Em tempo de Quaresma .
Em tempo de Quaresma                            .Em tempo de Quaresma                            .
Em tempo de Quaresma .
 
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃOLEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
 
Programa de Intervenção com Habilidades Motoras
Programa de Intervenção com Habilidades MotorasPrograma de Intervenção com Habilidades Motoras
Programa de Intervenção com Habilidades Motoras
 
GÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - CartumGÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
 
Simulado 2 Etapa - 2024 Proximo Passo.pdf
Simulado 2 Etapa  - 2024 Proximo Passo.pdfSimulado 2 Etapa  - 2024 Proximo Passo.pdf
Simulado 2 Etapa - 2024 Proximo Passo.pdf
 
A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.
 
Slides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptx
Slides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptxSlides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptx
Slides Lição 03, Central Gospel, O Arrebatamento, 1Tr24.pptx
 
trabalho wanda rocha ditadura
trabalho wanda rocha ditaduratrabalho wanda rocha ditadura
trabalho wanda rocha ditadura
 
Simulado 1 Etapa - 2024 Proximo Passo.pdf
Simulado 1 Etapa - 2024 Proximo Passo.pdfSimulado 1 Etapa - 2024 Proximo Passo.pdf
Simulado 1 Etapa - 2024 Proximo Passo.pdf
 
Bullying, sai pra lá
Bullying,  sai pra láBullying,  sai pra lá
Bullying, sai pra lá
 
XI OLIMPÍADAS DA LÍNGUA PORTUGUESA -
XI OLIMPÍADAS DA LÍNGUA PORTUGUESA      -XI OLIMPÍADAS DA LÍNGUA PORTUGUESA      -
XI OLIMPÍADAS DA LÍNGUA PORTUGUESA -
 
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptxATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
 
Recurso Casa das Ciências: Sistemas de Partículas
Recurso Casa das Ciências: Sistemas de PartículasRecurso Casa das Ciências: Sistemas de Partículas
Recurso Casa das Ciências: Sistemas de Partículas
 
Habilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e EspecíficasHabilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e Específicas
 
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptxAD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
 
William J. Bennett - O livro das virtudes para Crianças.pdf
William J. Bennett - O livro das virtudes para Crianças.pdfWilliam J. Bennett - O livro das virtudes para Crianças.pdf
William J. Bennett - O livro das virtudes para Crianças.pdf
 
DESAFIO LITERÁRIO - 2024 - EASB/ÁRVORE -
DESAFIO LITERÁRIO - 2024 - EASB/ÁRVORE -DESAFIO LITERÁRIO - 2024 - EASB/ÁRVORE -
DESAFIO LITERÁRIO - 2024 - EASB/ÁRVORE -
 

UFCA 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?

Hinweis der Redaktion

  1. {}