Escolar Documentos
Profissional Documentos
Cultura Documentos
Em contraste com os números reais que têm a propriedade de variar Grafos como este estão entre os objetos
"suavemente", os objetos estudados na matemática discreta - como estudados pela matemática discreta, por
suas interessantes propriedades
números inteiros , grafos e afirmações lógicas [1] - não variam
matemáticas, a sua utilidade como
suavemente, desta forma, mas têm valores distintos separados.[2]] A modelos de problemas do mundo real, e
matemática discreta, portanto, exclui temas em “matemática sua importância no desenvolvimento de
contínua", como cálculo e análise . Objetos discretos muitas vezes algoritmos computacionais.
podem ser enumerados por inteiros. Mais formalmente, a matemática
discreta tem sido caracterizada como o ramo da matemática que lida com conjuntos contáveis[3] (conjuntos que
possuem a mesma cardinalidade como subconjuntos dos números naturais, incluindo números racionais, mas nem
todos números reais). No entanto, não há exato, uma definição universalmente aceita do termo "matemática
discreta".[4] De fato, a matemática discreta é descrita menos pelo que está incluído do que pelo que é excluído:
quantidades continuamente variáveis e noções de relações.
O conjunto de objetos estudados na matemática discreta pode ser finito ou infinito. O termo matemática finita é às
vezes aplicado na parte do campo da matemática discreta que lida com conjuntos finitos, particularmente em áreas
relevantes para os negócios.
As pesquisas em matemática discreta aumentaram na segunda metade do século XX, sendo parte, devido ao
desenvolvimento de computadores digitais que operam em passos discretos e armazenam dados em bits discretos. Os
conceitos e notações da matemática discreta são úteis para estudar e descrever objetos e problemas em ramos da
ciência da computação, tais como algoritmos de computador, linguagens de programação, criptografia, prova
automática de teoremas, e desenvolvimento de software. Por outro lado, implementações computacionais são
significativas na aplicação de ideias da matemática discreta para problemas do mundo real, como em pesquisas
operacionais.
Embora os principais objetos de estudo em matemática discreta sejam objetos distintos, métodos analíticos de
matemática contínua são também frequentemente utilizados. A matemática discreta tornou-se popular em décadas
recentes devido às suas aplicações na ciência da computação (devido ao desenvolvimento de computadores digitais
que funcionam em etapas discretas e ao armazenamento de dados em bits discretos). Conceitos e notações da
matemática discreta são úteis para o estudo ou a expressão de objetos ou problemas em algoritmos de computador e
linguagens de programação.
Algumas aplicações:
Índice
Grandes desafios, passado e presente
Tópicos em matemática discreta
Lógica, lógica matemática (provas, indução matemática)
Teoria dos conjuntos, relações em conjuntos, funções e grupos
Probabilidade, teoria das probabilidades e cadeias de Markov
Teoria dos números
Combinatória
Teoria dos grafos
Teoria da computação, algoritmos e recursividade
Teoria da informação
Álgebra
Cálculo de diferenças finitas, cálculo discreto ou análise discreta
Geometria
Topologia
Investigação ou pesquisa operacional
Teoria dos jogos, teoria da decisão, teoria da utilidade, teoria da escolha social
Discretização
Analogia discreta de matemática contínua
Matemática híbrida - discreta e contínua
Ver também
Referências
Bibliografia
Leitura complementar
Na lógica, o segundo problema na lista de problemas abertos de David Hilbert, apresentados em 1900, era provar que
os axiomas da aritmética são consistentes. O segundo teorema da incompletude de Gödel, provado em 1931, mostrou
que isto não era possível - pelo menos não dentro da própria aritmética. O décimo problema de Hilbert foi determinar
se uma dada equação polinomial diofantina, com coeficientes inteiros, tem uma solução inteira. Em 1970, Yuri
Matiyasevich provou que esta não poderia ser feita.
A necessidade de quebrar códigos alemães na Segunda Guerra Mundial levou a avanços em criptografia e ciência da
computação teórica, com o primeiro computador digital eletrônico programável sendo desenvolvido no Parque
Bletchley da Inglaterra. Ao mesmo tempo, os requisitos militares motivaram avanços na pesquisa operacional. A
Guerra Fria mostrou que a criptografia era importante, com os avanços
fundamentais, como a criptografia de chave pública que veio sendo desenvolvida
nas décadas seguintes. A pesquisa operacional permaneceu como uma
ferramenta importante na gestão de negócios e projetos, com o método do
caminho crítico a ser desenvolvido em 1950. A indústria de telecomunicações
também motivou os avanços na matemática discreta, particularmente em teoria
dos grafos e teoria da informação. A verificação formal de declarações de lógica
tem sido necessária para o desenvolvimento de software de sistemas de segurança
crítica, e os avanços na prova automática de teoremas tem sido impulsionada para
essa necessidade.
As fórmulas lógicas são estruturas discretas, bem como provas, que formam árvores finitos,[8] ou, mais em geral,
dirigido gráfico acíclicos estruturas [9][10] (a cada passo de inferência combina-se um ou mais ramos premissas para
dar uma única conclusão). Os valores verdade de fórmulas lógicas geralmente formam um conjunto finito, geralmente
restrito a dois valores: o verdadeiro e o falso, mas a lógica também pode ser de valor-contínuo, por exemplo, a lógica
fuzzy. Conceitos como prova infinita de árvores ou derivação infinitas de árvores também foram estudadas,[11] e. g., a
lógica infinitária.
Na matemática discreta, conjuntos contáveis (incluindo conjuntos finitos) são o foco principal. O início da teoria dos
conjuntos, como um ramo da matemática, é normalmente marcado pelo trabalho de Georg Cantor, distinguindo
diferentes tipos de conjuntos infinitos, motivados pelo estudo de séries trigonométricas, e um maior desenvolvimento
da teoria dos conjuntos infinitos está fora do escopo da matemática discreta. Por outro lado, o trabalho
contemporâneo na teoria descritiva dos conjuntos faz uso extensivo de matemática contínua tradicional.
Combinatória analítica diz respeito à enumeração (ou seja, determinar o número) de estruturas combinatórias usando
ferramentas de análise complexa e teoria da probabilidade. Em contraste com a análise combinatória enumerativa que
usa fórmulas combinatórias explícitas e funções geratrizes para descrever os resultados, a análise combinatória
analítica visa a obtenção de fórmulas assintótica.
A teoria de projetos é um estudo de modelos combinatórios, que são coleções de subconjuntos com certas propriedade
de interseção.
A teoria de partição estuda vários problemas assintóticos e de enumeração relacionados com partições inteiras, e está
intimamente relacionado com Série-Q, funções especiais e polinômios ortogonais. Originalmente uma parte da teoria
dos números e análise, a teoria da partição é considerada, atualmente, uma parte de análise combinatória ou campo
independente. A teoria da ordem é o estudo dos conjuntos parcialmente ordenados, além deste dos finitas e infinitas.
Teoria da informação
A teoria da informação envolve a quantificação de informação . Estreitamente
relacionado é teoria da codificação que é usada para desenhar eficiente e fiável a
transmissão de dados e métodos de armazenamento. A teoria da informação também
inclui temas contínuos, tais como: sinais analógicos , codificação analógicos ,
criptografia analógico .
Álgebra
Estruturas algébricas ocorrer como ambos os exemplos e exemplos discretas contínuas.
Álgebras discretos incluem: álgebra booleana usado em portas lógicas e programação; Os códigos ASCII para
álgebra relacional usado em bancos de dados ; versões discretas e finito de grupos , a palavra "Wikipedia",
anéis e campos são importantes na teoria de codificação algébrica ; discretos dado aqui em binário ,
semigrupos e monoids aparecer na teoria de linguagens formais . proporcionam uma
forma de representar a
palavra em teoria da
informação , bem como
Cálculo de diferenças finitas, cálculo discreto ou análise
para o processamento
discreta de informações
algoritmos.
Uma função definida num intervalo de números inteiros é normalmente chamado de sequência . Uma sequência pode
ser uma sequência finita a partir de uma fonte de dados, ou uma sequência infinita de um sistema dinâmico discreto .
Tal função discreta pode ser definido explicitamente por uma lista (se o domínio é finito), ou por uma fórmula para o
seu termo geral, ou pode ser dada implicitamente por uma relação de recorrência ou equação de diferença . Equações
de diferenças são semelhantes a um equações diferenciais , mas substitua diferenciação tomando a diferença entre os
termos adjacentes, pois eles podem ser usados para equações diferenciais aproximados ou (mais frequentemente)
estudados em seu próprio direito. Muitas perguntas e métodos relacionados com equações diferenciais têm
contrapartidas para equações de diferença. Por exemplo, onde há transformadas integrais em análise harmônica para
o estudo de funções contínuas ou sinais analógicos, há transformações discretas para funções discretas ou sinais
digitais. Bem como a métrica discreta há mais gerais discretos ou finitos espaços métricos e finitos espaços topológicos
.
Geometria
Geometria discreta e geometria combinatória são cerca propriedades combinatórias de
coleções de objetos geométricos discretos. Um tópico de longa data na geometria
discreta é a telha do avião . Geometria computacional aplica algoritmos para
problemas geométricos.
Topologia
Apesar de topologia é o campo da matemática que formaliza e generaliza a noção
intuitiva de "deformação contínua" de objetos, que dá origem a muitos temas distintos, Geometria
o que pode ser atribuído em parte ao foco na invariantes topológicos, que normalmente computacional
levam-se valores discretos. Veja topologia combinatória, teoria dos grafos topológica, computador aplica
combinatória topológicos, topologia computacional, espaço topológico discreto, espaço algoritmos para as
representações de
topológico finito, topologia (química).
geométricos objetos.
Matriz de payoff para o dilema do prisioneiro, um exemplo comum em teoria dos jogos. Um jogador escolhe uma
linha, o outro uma coluna, o par resultante dá seus retornos 0, -10 -5, -5
A teoria da decisão está relacionada com a identificação de valores, incertezas e outras questões relevantes em uma
dada decisão, sua racionalidade, e a decisão resultante ideal.
Teoria da utilidade é sobre medidas da relação econômica de satisfação, ou conveniência de, consumo de bens e
serviços diversos.
Teoria da escolha social é de cerca de votação. Uma abordagem mais puzzle baseado a votação é teoria votação .
Teoria dos jogos lida com situações onde o sucesso depende das escolhas dos outros, o que torna a escolha do melhor
curso de ação mais complexa. Há jogos mesmo contínuas, ver jogo diferencial . Os tópicos incluem a teoria dos leilões
e divisão justa .
Discretização
Discretização diz respeito ao processo de transferência de modelos contínuos e equações em homólogos discretos,
muitas vezes para fins de fazer cálculos mais fácil usando aproximações. análise numérica fornece um exemplo
importante.
Em matemática aplicada , modelagem discreta é o análogo discreto de modelagem contínua . Na modelagem discreta,
fórmulas discreto estão aptos a dados . Um método comum neste tipo de modelagem é a utilização de relação de
recorrência .
Ver também
Função contínua
Topologia (matemática)
Análise matemática
Referências
1. Richard Johnsonbaugh, Discrete Mathematics, Prentice Hall, 2008.
2. Eric W. Weisstein, Discrete mathematics (http://mathworld.wolfram.com/DiscreteMathematics.html) em MathWorld
3. Norman L. Biggs, Discrete mathematics, Oxford University Press, 2002.
4. Brian Hopkins, Resources for Teaching Discrete Mathematics, Mathematical Association of America, 2008.
5. Wilson, Robin (2002). Four Colors Suffice. London: Penguin Books. ISBN 978-0-691-11533-7
6. Trevor R. Hodkinson; John A. N. Parnell (2007). Reconstruction the Tree of Life: Taxonomy And Systematics of
Large And Species Rich Taxa (http://books.google.com/?id=7GKkbJ4yOKAC&pg=PA97). [S.l.]: CRC PressINC.
p. 97. ISBN 978-0-8493-9579-6
7. «Millennium Prize Problems» (http://www.claymath.org/millennium/). 24 de maio de 2000. Consultado em 12 de
janeiro de 2008.
8. A. S. Troelstra; H. Schwichtenberg (27 de julho de 2000). Basic Proof Theory (http://books.google.com/?id=x9x6F
_4mUPgC&pg=PA186). [S.l.]: Cambridge University Press. p. 186. ISBN 978-0-521-77911-1
9. Samuel R. Buss (1998). Handbook of Proof Theory (http://books.google.com/?id=MfTMDeCq7ukC&pg=PA13).
[S.l.]: Elsevier. p. 13. ISBN 978-0-444-89840-1
10. Franz Baader; Gerhard Brewka, Thomas Eiter (16 de outubro de 2001). KI 2001: Advances in Artificial
Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings (htt
p://books.google.com/?id=27A2XJPYwIkC&pg=PA325). [S.l.]: Springer. p. 325. ISBN 978-3-540-42612-7
11. Brotherston, J.; Bornat, R.; Calcagno, C. (2008). «Cyclic proofs of program termination in separation logic». ACM
SIGPLAN Notices. 43 (1). Predefinição:Citeseerx
12. Graphs on Surfaces (http://jhupbooks.press.jhu.edu/ecom/MasterServlet/GetItemDetailsHandler?iN=9780801866
890&qty=1&viewMode=1&loggedIN=false&JavaScript=y), Bojan Mohar and Carsten Thomassen, Johns Hopkins
University press, 2001
13. HILGER, Stefan, "Analysis on measure chains - a unified approach to continuous and discrete calculus", Results
in Mathematics, 18, n° 1-2 (1990), 18-56.
14. CRUZ, Artur M. C. Brito da; RODRIGUES, Helena Sofia ; TORRES, Delfim F. M. Escalas Temporais e
Mathematica (http://arxiv.org/pdf/0911.3187.pdf)
15. SANTOS, I.L.D.; SILVA, G.N. e BARBANTI, L. Inclusões dinâmicas em escalas temporais: existência de soluções
sob a hipótese de semicontinuidade inferior (http://www.scielo.br/scielo.php?pid=S2179-84512012000200002&scr
ipt=sci_arttext). TEMA - Tend. Mat. Apl. Comput.. São Carlos, 2012, vol.13, n.2, pp. 109-120. ISSN 2179-8451.
Bibliografia
Donald E. Knuth, The Art of Computer Programming
Judith L. Gersting Fundamentos Matemáticos para a Ciência da Computação, 5a Edição, LTC Editora (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)
Kenneth H. Rosen, Discrete Mathematics and Its Applications, ISBN 0-07-119881-4 (International Edition)
Richard Johnsonbaugh, Discrete Mathematics 5th ed. Macmillan, New Jersey
Introdução à Análise Combinatória, 3a Edição, Editora Unicamp
Jaime Evaristo, Introdução à Álgebra Abstrata, Segunda Edição, Versão 02.2012, Formato Digital, disponível em
[1] (http://www.ic.ufal.br/professor/jaime)
Leitura complementar
Norman L. Biggs (19 de dezembro de 2002). Discrete Mathematics. [S.l.]: Oxford University Press. ISBN 978-0-
19-850717-8
Ronald Graham, Donald E. Knuth, Oren Patashnik, Concrete Mathematics
Donald E. Knuth (3 de março de 2011). The Art of Computer Programming, Volumes 1-4a Boxed Set. [S.l.]:
Addison-Wesley Professional. ISBN 978-0-321-75104-1
Kenneth H. Rosen; John G. Michaels (2000). Hand Book of Discrete and Combinatorial Mathematics. [S.l.]: CRC
PressI Llc. ISBN 978-0-8493-0149-0
Bojana Obrenic (29 de janeiro de 2003). Practice Problems in Discrete Mathematics. [S.l.]: Prentice Hall.
ISBN 978-0-13-045803-2
John Dwyer (2010). An Introduction to Discrete Mathematics for Business & Computing. [S.l.: s.n.] ISBN 978-1-
907934-00-1
Kenneth H. Rosen (2007). Discrete Mathematics: And Its Applications. [S.l.]: McGraw-Hill College. ISBN 978-0-
07-288008-3
Ralph P. Grimaldi (2004). Discrete and Combinatorial Mathematics: An Applied Introduction. [S.l.]: Addison
Wesley. ISBN 978-0-201-72634-3
Susanna S. Epp (4 de agosto de 2010). Discrete Mathematics With Applications. [S.l.]: Thomson Brooks/Cole.
ISBN 978-0-495-39132-6
Jiří Matoušek; Jaroslav Nešetřil (1998). Discrete Mathematics. [S.l.]: Oxford University Press. ISBN 978-0-19-
850208-1
Mathematics Archives (http://archives.math.utk.edu/topics/discreteMath.html), Discrete Mathematics links to
syllabi, tutorials, programs, etc.
Andrew Simpson (2002). Discrete Mathematics by Example. [S.l.]: McGraw-Hill Incorporated. ISBN 978-0-07-
709840-7
Obtida de "https://pt.wikipedia.org/w/index.php?title=Matemática_discreta&oldid=52436671"
Esta página foi editada pela última vez às 12h47min de 23 de junho de 2018.
Este texto é disponibilizado nos termos da licença Atribuição-CompartilhaIgual 3.0 Não Adaptada (CC BY-SA 3.0) da
Creative Commons; pode estar sujeito a condições adicionais. Para mais detalhes, consulte as condições de
utilização.