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

Matemática Discreta - Introdução à Disciplina
Matemática Discreta - Introdução à DisciplinaMatemática Discreta - Introdução à Disciplina
Matemática Discreta - Introdução à DisciplinaRanilson Paiva
 
Relações e funções
Relações e funçõesRelações e funções
Relações e funções48470490206
 
Operações básicas da matemática
Operações básicas da matemáticaOperações básicas da matemática
Operações básicas da matemáticaEdiclei Oliveira
 
Equacoes do 1 grau
Equacoes do 1 grauEquacoes do 1 grau
Equacoes do 1 grauestrelaeia
 
Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)wilkerfilipel
 
Matrizes - Completo com exercícios
Matrizes - Completo com exercíciosMatrizes - Completo com exercícios
Matrizes - Completo com exercíciosnaathyb
 
Teoria Lista Exercicios 1.0
Teoria Lista Exercicios 1.0Teoria Lista Exercicios 1.0
Teoria Lista Exercicios 1.0Thayse
 
Medidas de tendencia central
Medidas de tendencia centralMedidas de tendencia central
Medidas de tendencia centralrosania39
 
Sistemas de Numeração e Conversão de Bases
Sistemas de Numeração e Conversão de BasesSistemas de Numeração e Conversão de Bases
Sistemas de Numeração e Conversão de BasesLeandro Costa
 
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 02thomasdacosta
 
Algoritmos de ordenação
Algoritmos de ordenaçãoAlgoritmos de ordenação
Algoritmos de ordenaçãoJonas Mendonça
 
Lista de exercicios algoritmos resolvida-
Lista de exercicios   algoritmos  resolvida-Lista de exercicios   algoritmos  resolvida-
Lista de exercicios algoritmos resolvida-Mauro Pereira
 
Teoria dos conjuntos 1º ANO - Ensino Médio
Teoria dos conjuntos 1º ANO - Ensino MédioTeoria dos conjuntos 1º ANO - Ensino Médio
Teoria dos conjuntos 1º ANO - Ensino MédioRosana Santos Quirino
 
Banco de Dados - Modelo Lógico, Chave primária e Chave estrangeira
Banco de Dados - Modelo Lógico, Chave primária e Chave estrangeiraBanco de Dados - Modelo Lógico, Chave primária e Chave estrangeira
Banco de Dados - Modelo Lógico, Chave primária e Chave estrangeiraNatanael Simões
 
Grandezas diretamente e inversamente proporcionais
Grandezas diretamente e inversamente proporcionaisGrandezas diretamente e inversamente proporcionais
Grandezas diretamente e inversamente proporcionaisHomailson Lopes
 
Lista de Exercícios - Linguagem Formais e Autômatos
Lista de Exercícios - Linguagem Formais e AutômatosLista de Exercícios - Linguagem Formais e Autômatos
Lista de Exercícios - Linguagem Formais e AutômatosTárcio Sales
 

La actualidad más candente (20)

Matemática Discreta - Introdução à Disciplina
Matemática Discreta - Introdução à DisciplinaMatemática Discreta - Introdução à Disciplina
Matemática Discreta - Introdução à Disciplina
 
Relações e funções
Relações e funçõesRelações e funções
Relações e funções
 
Operações básicas da matemática
Operações básicas da matemáticaOperações básicas da matemática
Operações básicas da matemática
 
Equacoes do 1 grau
Equacoes do 1 grauEquacoes do 1 grau
Equacoes do 1 grau
 
Função quadrática
Função quadráticaFunção quadrática
Função quadrática
 
Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)
 
Raciocínio lógico parte 1
Raciocínio lógico   parte 1Raciocínio lógico   parte 1
Raciocínio lógico parte 1
 
Matrizes - Completo com exercícios
Matrizes - Completo com exercíciosMatrizes - Completo com exercícios
Matrizes - Completo com exercícios
 
Teoria Lista Exercicios 1.0
Teoria Lista Exercicios 1.0Teoria Lista Exercicios 1.0
Teoria Lista Exercicios 1.0
 
Medidas de tendencia central
Medidas de tendencia centralMedidas de tendencia central
Medidas de tendencia central
 
Sistemas de Numeração e Conversão de Bases
Sistemas de Numeração e Conversão de BasesSistemas de Numeração e Conversão de Bases
Sistemas de Numeração e Conversão de Bases
 
Polinômios..
Polinômios..Polinômios..
Polinômios..
 
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
 
Algoritmos de ordenação
Algoritmos de ordenaçãoAlgoritmos de ordenação
Algoritmos de ordenação
 
Lista de exercicios algoritmos resolvida-
Lista de exercicios   algoritmos  resolvida-Lista de exercicios   algoritmos  resolvida-
Lista de exercicios algoritmos resolvida-
 
Teoria dos conjuntos 1º ANO - Ensino Médio
Teoria dos conjuntos 1º ANO - Ensino MédioTeoria dos conjuntos 1º ANO - Ensino Médio
Teoria dos conjuntos 1º ANO - Ensino Médio
 
Banco de Dados - Modelo Lógico, Chave primária e Chave estrangeira
Banco de Dados - Modelo Lógico, Chave primária e Chave estrangeiraBanco de Dados - Modelo Lógico, Chave primária e Chave estrangeira
Banco de Dados - Modelo Lógico, Chave primária e Chave estrangeira
 
Grandezas diretamente e inversamente proporcionais
Grandezas diretamente e inversamente proporcionaisGrandezas diretamente e inversamente proporcionais
Grandezas diretamente e inversamente proporcionais
 
Matematica Basica
Matematica BasicaMatematica Basica
Matematica Basica
 
Lista de Exercícios - Linguagem Formais e Autômatos
Lista de Exercícios - Linguagem Formais e AutômatosLista de Exercícios - Linguagem Formais e Autômatos
Lista de Exercícios - Linguagem Formais e Autômatos
 

Destacado

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
 
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
 
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çõesUlrich 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
 
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ébricasUlrich Schiel
 
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
 

Destacado (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
 
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
 
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
 
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
 
Demonstrações
DemonstraçõesDemonstrações
Demonstrações
 
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
 

Último

ÁREA DE FIGURAS PLANAS - DESCRITOR DE MATEMATICA D12 ENSINO MEDIO.pptx
ÁREA DE FIGURAS PLANAS - DESCRITOR DE MATEMATICA D12 ENSINO MEDIO.pptxÁREA DE FIGURAS PLANAS - DESCRITOR DE MATEMATICA D12 ENSINO MEDIO.pptx
ÁREA DE FIGURAS PLANAS - DESCRITOR DE MATEMATICA D12 ENSINO MEDIO.pptxDeyvidBriel
 
QUARTA - 1EM SOCIOLOGIA - Aprender a pesquisar.pptx
QUARTA - 1EM SOCIOLOGIA - Aprender a pesquisar.pptxQUARTA - 1EM SOCIOLOGIA - Aprender a pesquisar.pptx
QUARTA - 1EM SOCIOLOGIA - Aprender a pesquisar.pptxIsabellaGomes58
 
Slide de exemplo sobre o Sítio do Pica Pau Amarelo.pptx
Slide de exemplo sobre o Sítio do Pica Pau Amarelo.pptxSlide de exemplo sobre o Sítio do Pica Pau Amarelo.pptx
Slide de exemplo sobre o Sítio do Pica Pau Amarelo.pptxconcelhovdragons
 
Cartilha 1º Ano Alfabetização _ 1º Ano Ensino Fundamental
Cartilha 1º Ano Alfabetização _ 1º Ano Ensino FundamentalCartilha 1º Ano Alfabetização _ 1º Ano Ensino Fundamental
Cartilha 1º Ano Alfabetização _ 1º Ano Ensino Fundamentalgeone480617
 
Sociologia Contemporânea - Uma Abordagem dos principais autores
Sociologia Contemporânea - Uma Abordagem dos principais autoresSociologia Contemporânea - Uma Abordagem dos principais autores
Sociologia Contemporânea - Uma Abordagem dos principais autoresaulasgege
 
HORA DO CONTO4_BECRE D. CARLOS I_2023_2024
HORA DO CONTO4_BECRE D. CARLOS I_2023_2024HORA DO CONTO4_BECRE D. CARLOS I_2023_2024
HORA DO CONTO4_BECRE D. CARLOS I_2023_2024Sandra Pratas
 
HABILIDADES ESSENCIAIS - MATEMÁTICA 4º ANO.pdf
HABILIDADES ESSENCIAIS  - MATEMÁTICA 4º ANO.pdfHABILIDADES ESSENCIAIS  - MATEMÁTICA 4º ANO.pdf
HABILIDADES ESSENCIAIS - MATEMÁTICA 4º ANO.pdfdio7ff
 
Cultura e Sociedade - Texto de Apoio.pdf
Cultura e Sociedade - Texto de Apoio.pdfCultura e Sociedade - Texto de Apoio.pdf
Cultura e Sociedade - Texto de Apoio.pdfaulasgege
 
QUIZ DE MATEMATICA SHOW DO MILHÃO PREPARAÇÃO ÇPARA AVALIAÇÕES EXTERNAS
QUIZ DE MATEMATICA SHOW DO MILHÃO PREPARAÇÃO ÇPARA AVALIAÇÕES EXTERNASQUIZ DE MATEMATICA SHOW DO MILHÃO PREPARAÇÃO ÇPARA AVALIAÇÕES EXTERNAS
QUIZ DE MATEMATICA SHOW DO MILHÃO PREPARAÇÃO ÇPARA AVALIAÇÕES EXTERNASEdinardo Aguiar
 
Apostila da CONQUISTA_ para o 6ANO_LP_UNI1.pptx
Apostila da CONQUISTA_ para o 6ANO_LP_UNI1.pptxApostila da CONQUISTA_ para o 6ANO_LP_UNI1.pptx
Apostila da CONQUISTA_ para o 6ANO_LP_UNI1.pptxIsabelaRafael2
 
Bingo da potenciação e radiciação de números inteiros
Bingo da potenciação e radiciação de números inteirosBingo da potenciação e radiciação de números inteiros
Bingo da potenciação e radiciação de números inteirosAntnyoAllysson
 
Dança Contemporânea na arte da dança primeira parte
Dança Contemporânea na arte da dança primeira parteDança Contemporânea na arte da dança primeira parte
Dança Contemporânea na arte da dança primeira partecoletivoddois
 
Aula - 2º Ano - Cultura e Sociedade - Conceitos-chave
Aula - 2º Ano - Cultura e Sociedade - Conceitos-chaveAula - 2º Ano - Cultura e Sociedade - Conceitos-chave
Aula - 2º Ano - Cultura e Sociedade - Conceitos-chaveaulasgege
 
Empreendedorismo: O que é ser empreendedor?
Empreendedorismo: O que é ser empreendedor?Empreendedorismo: O que é ser empreendedor?
Empreendedorismo: O que é ser empreendedor?MrciaRocha48
 
Slides Lição 4, CPAD, Como se Conduzir na Caminhada, 2Tr24.pptx
Slides Lição 4, CPAD, Como se Conduzir na Caminhada, 2Tr24.pptxSlides Lição 4, CPAD, Como se Conduzir na Caminhada, 2Tr24.pptx
Slides Lição 4, CPAD, Como se Conduzir na Caminhada, 2Tr24.pptxLuizHenriquedeAlmeid6
 
geografia 7 ano - relevo, altitude, topos do mundo
geografia 7 ano - relevo, altitude, topos do mundogeografia 7 ano - relevo, altitude, topos do mundo
geografia 7 ano - relevo, altitude, topos do mundonialb
 
Baladão sobre Variação Linguistica para o spaece.pptx
Baladão sobre Variação Linguistica para o spaece.pptxBaladão sobre Variação Linguistica para o spaece.pptx
Baladão sobre Variação Linguistica para o spaece.pptxacaciocarmo1
 
19 de abril - Dia dos povos indigenas brasileiros
19 de abril - Dia dos povos indigenas brasileiros19 de abril - Dia dos povos indigenas brasileiros
19 de abril - Dia dos povos indigenas brasileirosMary Alvarenga
 
Geometria 5to Educacion Primaria EDU Ccesa007.pdf
Geometria  5to Educacion Primaria EDU  Ccesa007.pdfGeometria  5to Educacion Primaria EDU  Ccesa007.pdf
Geometria 5to Educacion Primaria EDU Ccesa007.pdfDemetrio Ccesa Rayme
 

Último (20)

ÁREA DE FIGURAS PLANAS - DESCRITOR DE MATEMATICA D12 ENSINO MEDIO.pptx
ÁREA DE FIGURAS PLANAS - DESCRITOR DE MATEMATICA D12 ENSINO MEDIO.pptxÁREA DE FIGURAS PLANAS - DESCRITOR DE MATEMATICA D12 ENSINO MEDIO.pptx
ÁREA DE FIGURAS PLANAS - DESCRITOR DE MATEMATICA D12 ENSINO MEDIO.pptx
 
QUARTA - 1EM SOCIOLOGIA - Aprender a pesquisar.pptx
QUARTA - 1EM SOCIOLOGIA - Aprender a pesquisar.pptxQUARTA - 1EM SOCIOLOGIA - Aprender a pesquisar.pptx
QUARTA - 1EM SOCIOLOGIA - Aprender a pesquisar.pptx
 
Slide de exemplo sobre o Sítio do Pica Pau Amarelo.pptx
Slide de exemplo sobre o Sítio do Pica Pau Amarelo.pptxSlide de exemplo sobre o Sítio do Pica Pau Amarelo.pptx
Slide de exemplo sobre o Sítio do Pica Pau Amarelo.pptx
 
Cartilha 1º Ano Alfabetização _ 1º Ano Ensino Fundamental
Cartilha 1º Ano Alfabetização _ 1º Ano Ensino FundamentalCartilha 1º Ano Alfabetização _ 1º Ano Ensino Fundamental
Cartilha 1º Ano Alfabetização _ 1º Ano Ensino Fundamental
 
treinamento brigada incendio 2024 no.ppt
treinamento brigada incendio 2024 no.ppttreinamento brigada incendio 2024 no.ppt
treinamento brigada incendio 2024 no.ppt
 
Sociologia Contemporânea - Uma Abordagem dos principais autores
Sociologia Contemporânea - Uma Abordagem dos principais autoresSociologia Contemporânea - Uma Abordagem dos principais autores
Sociologia Contemporânea - Uma Abordagem dos principais autores
 
HORA DO CONTO4_BECRE D. CARLOS I_2023_2024
HORA DO CONTO4_BECRE D. CARLOS I_2023_2024HORA DO CONTO4_BECRE D. CARLOS I_2023_2024
HORA DO CONTO4_BECRE D. CARLOS I_2023_2024
 
HABILIDADES ESSENCIAIS - MATEMÁTICA 4º ANO.pdf
HABILIDADES ESSENCIAIS  - MATEMÁTICA 4º ANO.pdfHABILIDADES ESSENCIAIS  - MATEMÁTICA 4º ANO.pdf
HABILIDADES ESSENCIAIS - MATEMÁTICA 4º ANO.pdf
 
Cultura e Sociedade - Texto de Apoio.pdf
Cultura e Sociedade - Texto de Apoio.pdfCultura e Sociedade - Texto de Apoio.pdf
Cultura e Sociedade - Texto de Apoio.pdf
 
QUIZ DE MATEMATICA SHOW DO MILHÃO PREPARAÇÃO ÇPARA AVALIAÇÕES EXTERNAS
QUIZ DE MATEMATICA SHOW DO MILHÃO PREPARAÇÃO ÇPARA AVALIAÇÕES EXTERNASQUIZ DE MATEMATICA SHOW DO MILHÃO PREPARAÇÃO ÇPARA AVALIAÇÕES EXTERNAS
QUIZ DE MATEMATICA SHOW DO MILHÃO PREPARAÇÃO ÇPARA AVALIAÇÕES EXTERNAS
 
Apostila da CONQUISTA_ para o 6ANO_LP_UNI1.pptx
Apostila da CONQUISTA_ para o 6ANO_LP_UNI1.pptxApostila da CONQUISTA_ para o 6ANO_LP_UNI1.pptx
Apostila da CONQUISTA_ para o 6ANO_LP_UNI1.pptx
 
Bingo da potenciação e radiciação de números inteiros
Bingo da potenciação e radiciação de números inteirosBingo da potenciação e radiciação de números inteiros
Bingo da potenciação e radiciação de números inteiros
 
Dança Contemporânea na arte da dança primeira parte
Dança Contemporânea na arte da dança primeira parteDança Contemporânea na arte da dança primeira parte
Dança Contemporânea na arte da dança primeira parte
 
Aula - 2º Ano - Cultura e Sociedade - Conceitos-chave
Aula - 2º Ano - Cultura e Sociedade - Conceitos-chaveAula - 2º Ano - Cultura e Sociedade - Conceitos-chave
Aula - 2º Ano - Cultura e Sociedade - Conceitos-chave
 
Empreendedorismo: O que é ser empreendedor?
Empreendedorismo: O que é ser empreendedor?Empreendedorismo: O que é ser empreendedor?
Empreendedorismo: O que é ser empreendedor?
 
Slides Lição 4, CPAD, Como se Conduzir na Caminhada, 2Tr24.pptx
Slides Lição 4, CPAD, Como se Conduzir na Caminhada, 2Tr24.pptxSlides Lição 4, CPAD, Como se Conduzir na Caminhada, 2Tr24.pptx
Slides Lição 4, CPAD, Como se Conduzir na Caminhada, 2Tr24.pptx
 
geografia 7 ano - relevo, altitude, topos do mundo
geografia 7 ano - relevo, altitude, topos do mundogeografia 7 ano - relevo, altitude, topos do mundo
geografia 7 ano - relevo, altitude, topos do mundo
 
Baladão sobre Variação Linguistica para o spaece.pptx
Baladão sobre Variação Linguistica para o spaece.pptxBaladão sobre Variação Linguistica para o spaece.pptx
Baladão sobre Variação Linguistica para o spaece.pptx
 
19 de abril - Dia dos povos indigenas brasileiros
19 de abril - Dia dos povos indigenas brasileiros19 de abril - Dia dos povos indigenas brasileiros
19 de abril - Dia dos povos indigenas brasileiros
 
Geometria 5to Educacion Primaria EDU Ccesa007.pdf
Geometria  5to Educacion Primaria EDU  Ccesa007.pdfGeometria  5to Educacion Primaria EDU  Ccesa007.pdf
Geometria 5to Educacion Primaria EDU Ccesa007.pdf
 

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?

Notas del editor

  1. {}