Acesso mais rápido do que o navegador!
104 relações: Algoritmo, Análise, Análise assintótica, Análise complexa, Análise matemática, Aproximação diofantina, Aritmética, Aritmética modular, Axioma, Árvore (estrutura de dados), Bioinformática, Bojan Mohar, Caminho crítico, Carl Friedrich Gauss, Carsten Thomassen, Cálculo diferencial, Cálculo infinitesimal, Ciência da computação, Ciência da computação teórica, Classe de complexidade, Clay Mathematics Institute, Colossus (computador), Combinação, Combinatória, Combinatória enumerativa, Computação gráfica, Computador, Conjunto contável, Conjunto finito, Conjunto infinito, Conjunto parcialmente ordenado, Consistência, Corpo de funções de uma variedade algébrica, Criptoanálise, Criptografia, Criptografia de chave pública, Criptologia, Dado (peça), Décimo problema de Hilbert, Dólar dos Estados Unidos, Desenho assistido por computador, Desenvolvimento de software, Distribuição de probabilidade, Distribuição normal, Donald Knuth, Enumeração, Equação diofantina, Estrutura algébrica, Fórmula bem formada, Função (matemática), ..., Função contínua, Função especial, Geometria, Geometria computacional, Georg Cantor, Guerra Fria, História da matemática, Inferência, Investigação operacional, Lógica, Lógica clássica, Lógica difusa, Lógica infinitária, Lógica intuicionista, Lógica matemática, Lei de Peirce, Linguagem de programação, Número inteiro, Número primo, Número real, Número transcendente, Permutação, Premissa, Problemas do Prémio Millennium, Programação linear, Prova automática de teoremas, Prova matemática, Regra de inferência, Relação (matemática), Relação de recorrência, Ronald Graham, Segunda Guerra Mundial, Segundo problema de Hilbert, Tabela-verdade, Teorema das quatro cores, Teorema de Matiyasevich, Teoria analítica dos números, Teoria da computação, Teoria da informação, Teoria da ordem, Teoria da prova, Teoria das filas, Teoria das probabilidades, Teoria dos conjuntos, Teoria dos grafos, Teoria dos jogos, Teoria dos nós, Teoria dos números, The Art of Computer Programming, Topologia (matemática), Topologia discreta, Topologia grosseira, Verificação formal, Yuri Matiyasevich. Expandir índice (54 mais) »
Algoritmo
Uma animação do algoritmo de ordenação quicksort de uma matriz de valores ao acaso. As barras vermelhas marcam o elemento pivô. No início da animação, estando o elemento para o lado direito, é escolhido como o pivô Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.
Novo!!: Matemática discreta e Algoritmo · Veja mais »
Análise
Análise (do grego ανάλυσις, transl. análysis, "dissolução") é o processo de decomposição de uma substância ou tópico complexo em seus diversos elementos constituintes, a fim de se obter uma melhor compreensão sua.
Novo!!: Matemática discreta e Análise · Veja mais »
Análise assintótica
Em ciência da computação e matemática aplicada, particularmente a análise de algoritmos, análise real, e engenharia, análise assintótica é um método de descrever o comportamento de limites.
Novo!!: Matemática discreta e Análise assintótica · Veja mais »
Análise complexa
A análise complexa, também conhecida como a teoria das funções de variável complexa, é o ramo da matemática que investiga as funções de números complexos.
Novo!!: Matemática discreta e Análise complexa · Veja mais »
Análise matemática
Integral como região sob a curva. Definição de limite. Análise é o ramo da matemática que lida com os conceitos introduzidos pelo cálculo diferencial e integral, medidas, limites, séries infinitas e funções analíticas.
Novo!!: Matemática discreta e Análise matemática · Veja mais »
Aproximação diofantina
Na teoria dos números, a aproximação diofantina, (nomeada assim por causa dos trabalhos do matemático Diofante de Alexandria), é um ramo da matemática que parcela os números reais para executar a sua aproximação com os números racionais.
Novo!!: Matemática discreta e Aproximação diofantina · Veja mais »
Aritmética
Tabela de adição (Tabela de Dupla Entrada em português europeu) A aritmética (da palavra grega ἀριθμός, arithmós, "número") é o ramo mais elementar e antigo da matemática, lida com as operações possíveis entre os números; é utilizada por quase todo ser humano: seja em tarefas cotidianas, seja em tarefas científicas ou negociais.
Novo!!: Matemática discreta e Aritmética · Veja mais »
Aritmética modular
Em matemática, aritmética modular (chamada também de aritmética do relógio) é um sistema de aritmética para inteiros, onde os números "retrocedem" quando atingem um certo valor, o módulo.
Novo!!: Matemática discreta e Aritmética modular · Veja mais »
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Matemática discreta e Axioma · Veja mais »
Árvore (estrutura de dados)
Árvore, no contexto da programação, engenharia de software e ciência da computação, é uma das mais importantes estruturas de dados não lineares.
Novo!!: Matemática discreta e Árvore (estrutura de dados) · Veja mais »
Bioinformática
Mapa do cromossomo X humano (a partir do site NCBI). O mapeamento do genoma humano é uma das maiores conquistas da bioinformática Bioinformática é um campo interdisciplinar que corresponde à aplicação das técnicas da informática, no sentido de análise da informação, nas áreas de estudo da biologia.
Novo!!: Matemática discreta e Bioinformática · Veja mais »
Bojan Mohar
Bojan Mohar (Novo Mesto, Eslovênia) é um matemático esloveno, que trabalha com teoria dos grafos.
Novo!!: Matemática discreta e Bojan Mohar · Veja mais »
Caminho crítico
O método do caminho crítico (CPM), ou análise do caminho crítico (CPA), é um algoritmo para agendar um conjunto de atividades do projeto.
Novo!!: Matemática discreta e Caminho crítico · Veja mais »
Carl Friedrich Gauss
Johann Carl Friedrich Gauss (ou Gauß) (Braunschweig, — Göttingen) foi um matemático, astrônomo e físico alemão que contribuiu muito em diversas áreas da ciência, dentre elas a teoria dos números, estatística, análise matemática, geometria diferencial, geodésia, geofísica, eletroestática, astronomia e óptica.
Novo!!: Matemática discreta e Carl Friedrich Gauss · Veja mais »
Carsten Thomassen
Carsten Thomassen (Grindsted) é um matemático dinamarquês.
Novo!!: Matemática discreta e Carsten Thomassen · Veja mais »
Cálculo diferencial
Na matemática, o cálculo diferencial é um subcampo do cálculo que estuda as taxas nas quais as quantidades mudam.
Novo!!: Matemática discreta e Cálculo diferencial · Veja mais »
Cálculo infinitesimal
O cálculo infinitesimal, também conhecido como cálculo diferencial e integral ou simplesmente cálculo, é um ramo importante da matemática, desenvolvido a partir da Álgebra e da Geometria, que se dedica ao estudo de taxas de variação de grandezas (como a inclinação de uma reta) e a acumulação de quantidades (como a área debaixo de uma curva ou o volume de um sólido).
Novo!!: Matemática discreta e Cálculo infinitesimal · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Matemática discreta e Ciência da computação · Veja mais »
Ciência da computação teórica
Ciência da computação teórica (TCS) ou informática teórica é uma divisão ou subconjunto de ciências da computação e matemática que incide sobre os aspectos mais abstratos ou matemáticos da computação e inclui a teoria da computação.
Novo!!: Matemática discreta e Ciência da computação teórica · Veja mais »
Classe de complexidade
Na Teoria da Complexidade Computacional, uma Classe de Complexidade é um conjunto de problemas.
Novo!!: Matemática discreta e Classe de complexidade · Veja mais »
Clay Mathematics Institute
O Clay Mathematics Institute (CMI) é uma fundação privada sem fins lucrativos, baseada em Cambridge, Massachusetts.
Novo!!: Matemática discreta e Clay Mathematics Institute · Veja mais »
Colossus (computador)
Colossus foi um conjunto de computadores desenvolvidos por decifradores britânicos nos anos de 1943 a 1945 para ajudar na criptoanálise da cifra de Lorenz.
Novo!!: Matemática discreta e Colossus (computador) · Veja mais »
Combinação
Uma combinação sem repetição, em análise combinatória, é um subconjunto com s elementos em um conjunto \mathbb, com n elementos.
Novo!!: Matemática discreta e Combinação · Veja mais »
Combinatória
A combinatória é um ramo da matemática que estuda coleções finitas de elementos que satisfazem critérios específicos determinados e se preocupa, em particular, com a "contagem" de elementos nessas coleções (combinatória enumerativa), com decidir se certo objeto "ótimo" existe (combinatória extremal) e com estruturas "algébricas" que esses objetos possam ter (combinatória algébrica).
Novo!!: Matemática discreta e Combinatória · Veja mais »
Combinatória enumerativa
Combinatória enumerativa é uma área de combinatória que lida com o número de maneiras que certos padrões podem ser formados.
Novo!!: Matemática discreta e Combinatória enumerativa · Veja mais »
Computação gráfica
A computação gráfica é a área da computação destinada à geração de imagens em geral — em forma de representação de dados e informação, ou em forma de arte e recriação do mundo real.
Novo!!: Matemática discreta e Computação gráfica · Veja mais »
Computador
Um computador pessoal. Columbia, um supercomputador da NASA. Um assistente pessoal digital. Na tecnologia, o computador é um dispositivo eletroeletrônico formado por um conjunto de componentes eletrônicos capaz de executar variados tipos de tratamento de informações (processamento de dados) e de algoritmos.
Novo!!: Matemática discreta e Computador · Veja mais »
Conjunto contável
Na matemática, um conjunto contável é um conjunto de mesma cardinalidade (número de elementos) de um subconjunto qualquer do conjunto dos números naturais.
Novo!!: Matemática discreta e Conjunto contável · Veja mais »
Conjunto finito
Intuitivamente, um conjunto é finito quando é possível contar seus elementos e a contagem termina.
Novo!!: Matemática discreta e Conjunto finito · Veja mais »
Conjunto infinito
Na teoria dos conjuntos, um conjunto é infinito se possui uma correspondência biunívoca com um dos seus subconjuntos próprios.
Novo!!: Matemática discreta e Conjunto infinito · Veja mais »
Conjunto parcialmente ordenado
Na matemática, especialmente na Teoria da ordem, um conjunto parcialmente ordenado (poset, em inglês partially ordered set) é um conjunto equipado com uma relação binária de ordem parcial.
Novo!!: Matemática discreta e Conjunto parcialmente ordenado · Veja mais »
Consistência
Na lógica clássica dedutiva, uma teoria é chamada de consistente se não contém contradição.
Novo!!: Matemática discreta e Consistência · Veja mais »
Corpo de funções de uma variedade algébrica
Em geometria algébrica, o corpo de funções de uma variedade algébrica V consiste de objetos os quais são interpretados como funções racionais sobre V. Em geometria algébrica complexa existem funções meromorfas e suas análogas de dimensões mais altas; em geometria algébrica clássica elas são razões entre polinômios; em geometria algébrica moderna elas são elementos de algum corpo de frações.
Novo!!: Matemática discreta e Corpo de funções de uma variedade algébrica · Veja mais »
Criptoanálise
A máquina Enigma, utilizada na cifragem e decifragem de mensagens secretas. A criptoanálise é a arte de tentar descobrir o texto cifrado e/ou a lógica utilizada em sua encriptação (chave).
Novo!!: Matemática discreta e Criptoanálise · Veja mais »
Criptografia
Enigma, uma máquina utilizada na cifragem e decifragem de mensagens criptografadas. chave é utilizada para cifrar e decifrar. Criptografia (kryptós, "escondido", e gráphein, "escrita") é uma área da criptologia que estuda e pratica princípios e técnicas para comunicação segura na presença de terceiros, chamados "adversários".
Novo!!: Matemática discreta e Criptografia · Veja mais »
Criptografia de chave pública
Um número imprevisível (tipicamente grande e aleatório) é usado para começar a geração de um par de chaves adequado para uso por um algoritmo de chave assimétrica. Em um esquema de encriptação de chave assimétrica, qualquer um pode encriptar mensagens usando a chave pública, mas apenas o detentor da chave privada pareada pode decriptar. Segurança depende do sigilo da chave privada No esquema de troca de chaves Diffie-Hellman, cada parte gera um par de chaves pública/privada e distribui a chave pública. Depois de obter uma cópia autenticada de cada chave pública dos outros, Alice e Bob podem computar um segredo compartilhado offline. O segredo compartilhado pode ser usado, por exemplo, como a chave para uma cifra simétrica. Criptografia de chave pública, também conhecida como criptografia assimétrica, é qualquer sistema criptográfico que usa pares de chaves: chaves públicas, que podem ser amplamente disseminadas, e chaves privadas que são conhecidas apenas pelo proprietário.
Novo!!: Matemática discreta e Criptografia de chave pública · Veja mais »
Criptologia
Criptologia é a disciplina científica que reúne e estuda os conhecimentos (matemáticos, computacionais, psicológicos, filológicos, etc.) e técnicas necessários à criptoanálise (solução de criptogramas) e à criptografia (escrita codificada).
Novo!!: Matemática discreta e Criptologia · Veja mais »
Dado (peça)
Os dados são pequenos poliedros gravados com determinadas instruções.
Novo!!: Matemática discreta e Dado (peça) · Veja mais »
Décimo problema de Hilbert
O Décimo Problema de Hilbert é um dos 23 problemas propostos pelo matemático alemão David Hilbert em 1900.
Novo!!: Matemática discreta e Décimo problema de Hilbert · Veja mais »
Dólar dos Estados Unidos
O dólar dos Estados Unidos (United States dollar), também conhecido como dólar estadunidense ou dólar americano é a moeda oficial dos Estados Unidos e utilizada no mundo inteiro, tanto em reservas internacionais, como em livre circulação em alguns países.
Novo!!: Matemática discreta e Dólar dos Estados Unidos · Veja mais »
Desenho assistido por computador
Desenho assistido por computador (DAC; computer aided design - CAD) é o nome genérico de sistemas computacionais (software) utilizados pela engenharia, geologia, geografia, arquitetura e design para facilitar o projeto e desenho técnicos.
Novo!!: Matemática discreta e Desenho assistido por computador · Veja mais »
Desenvolvimento de software
Na computação, o desenvolvimento de software é o ato de elaborar e implementar um sistema computacional, isto é, transformar a necessidade de um utilizador ou de um mercado em um produto de software.
Novo!!: Matemática discreta e Desenvolvimento de software · Veja mais »
Distribuição de probabilidade
Em teoria da probabilidade e em estatística, uma distribuição de probabilidade descreve o comportamento aleatório de um fenômeno dependente do acaso.
Novo!!: Matemática discreta e Distribuição de probabilidade · Veja mais »
Distribuição normal
Em probabilidade e estatística, a distribuição normal é uma das distribuições de probabilidade mais utilizadas para modelar fenômenos naturais.
Novo!!: Matemática discreta e Distribuição normal · Veja mais »
Donald Knuth
Donald Ervin Knuth (Milwaukee) é um cientista computacional de renome e professor emérito da Universidade de Stanford.
Novo!!: Matemática discreta e Donald Knuth · Veja mais »
Enumeração
Em matemática e ciência da computação teórica, a enumeração é a repetiçao de diversas palavras seguidas de virgula.
Novo!!: Matemática discreta e Enumeração · Veja mais »
Equação diofantina
Na matemática, uma equação Diofantina é uma equação polinomial que permite a duas ou mais variáveis assumirem apenas valores inteiros.
Novo!!: Matemática discreta e Equação diofantina · Veja mais »
Estrutura algébrica
Em álgebra abstracta, uma estrutura algébrica consiste num conjunto associado a uma ou mais operações sobre o conjunto que satisfazem certos axiomas.
Novo!!: Matemática discreta e Estrutura algébrica · Veja mais »
Fórmula bem formada
formulações sem sentido ou fórmulas bem formadas. Uma linguagem formal pode ser interpretada como sendo o conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em teoremas e não-teoremas. Em lógica matemática, uma fórmula bem formada, abreviadamente fbf, é uma expressão (por exemplo, uma sequência finita de símbolos de determinado alfabeto) que é parte de uma Linguagem formal.
Novo!!: Matemática discreta e Fórmula bem formada · Veja mais »
Função (matemática)
Uma função não injetiva e não sobrejetiva do domínio X para o contradomínio Y. A função é não injetova pois há dois elementos do domínio ligados a um mesmo elemento do contradomínio (cor vermelha). A função é não sobrejetiva pois há elementos de Y sem correspondentes em X (cores azul e lilás). Uma função é uma relação de um conjunto A com um conjunto B. Denotamos uma função por f:A\to B, y.
Novo!!: Matemática discreta e Função (matemática) · Veja mais »
Função contínua
"...
Novo!!: Matemática discreta e Função contínua · Veja mais »
Função especial
Uma função especial é uma função matemática particular, que por sua importância no campo da análise matemática, análise funcional, física e outras aplicações, possui nomes e designações mais ou menos estabelecidas.
Novo!!: Matemática discreta e Função especial · Veja mais »
Geometria
projetiva (P.Oxy. I 29) mostrando um fragmento dos Elementos de Euclides A geometria (γεωμετρία; geo- "terra", -metria "medida") é um ramo da matemática preocupado com questões de forma, tamanho e posição relativa de figuras e com as propriedades dos espaços.
Novo!!: Matemática discreta e Geometria · Veja mais »
Geometria computacional
Geometria Computacional é um ramo da Ciência da Computação que estuda algoritmos e estruturas de dados para a resolução computacional de problemas geométricos.
Novo!!: Matemática discreta e Geometria computacional · Veja mais »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (São Petersburgo, 3 de março de 1845 – Halle, 6 de janeiro de 1918) foi um matemático alemão nascido no Império Russo.
Novo!!: Matemática discreta e Georg Cantor · Veja mais »
Guerra Fria
Guerra Fria foi um período de tensão geopolítica entre a União Soviética e os Estados Unidos e seus respectivos aliados, o Bloco Oriental e o Bloco Ocidental, após a Segunda Guerra Mundial.
Novo!!: Matemática discreta e Guerra Fria · Veja mais »
História da matemática
loc.
Novo!!: Matemática discreta e História da matemática · Veja mais »
Inferência
Em Lógica, inferência ou ilação é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras.
Novo!!: Matemática discreta e Inferência · Veja mais »
Investigação operacional
A pesquisa operacional (PO), ou investigação operacional (IO), é um ramo interdisciplinar da matemática aplicada que faz uso de modelos matemáticos, estatísticos e de algoritmos na ajuda à tomada de decisão.
Novo!!: Matemática discreta e Investigação operacional · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Matemática discreta e Lógica · Veja mais »
Lógica clássica
Lógica clássica identifica uma classe de Lógica matemática que têm sido mais intensamente estudado e mais amplamente utilizado.
Novo!!: Matemática discreta e Lógica clássica · Veja mais »
Lógica difusa
A lógica difusa ou lógica fuzzy é a forma de lógica multivalorada, na qual os valores verdade das variáveis podem ser qualquer número real entre 0 (correspondente ao valor falso) e 1 (correspondente ao valor verdadeiro), diferentemente do que se verifica na lógica booliana (também chamada, às vezes, lógica nítida), segundo a qual os valores lógicos podem ser apenas 0 ou 1.
Novo!!: Matemática discreta e Lógica difusa · Veja mais »
Lógica infinitária
Uma lógica infinitária é uma lógica que permite declarações infinitamente longas e/ou provas infinitamente longas.
Novo!!: Matemática discreta e Lógica infinitária · Veja mais »
Lógica intuicionista
Lógica intuicionista, ou lógica construtivista, é o sistema de lógica simbólica desenvolvido por Arend Heyting para prover uma base formal para o intuicionismo de Brouwer.
Novo!!: Matemática discreta e Lógica intuicionista · Veja mais »
Lógica matemática
A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.
Novo!!: Matemática discreta e Lógica matemática · Veja mais »
Lei de Peirce
A Lei de Peirce no cálculo proposicional diz que ((A \to B) \to A) \to A onde \to é o símbolo de implicação.
Novo!!: Matemática discreta e Lei de Peirce · Veja mais »
Linguagem de programação
C. A linguagem de programação é um método padronizado, formado por um conjunto de regras sintáticas e semânticas, de implementação de um código fonte - que pode ser compilado e transformado em um programa de computador, ou usado como script interpretado - que informará instruções de processamento ao computador.
Novo!!: Matemática discreta e Linguagem de programação · Veja mais »
Número inteiro
Um número inteiro é um número que pode ser escrito sem um componente fracional.
Novo!!: Matemática discreta e Número inteiro · Veja mais »
Número primo
Números primos são os números naturais maiores que um que não são produtos de dois números naturais menores Número primo é qualquer número p cujo conjunto dos divisores não inversíveis não é vazio, e todos os seus elementos são produtos de p por números inteiros inversíveis.
Novo!!: Matemática discreta e Número primo · Veja mais »
Número real
Um número real é um valor que representa uma quantidade (nula, positiva ou negativa) ao longo de uma linha contínua, ou seja um ponto sobre uma linha reta infinita, chamada de reta numérica ou reta real, onde os pontos correspondentes aos números inteiros são igualmente espaçados.
Novo!!: Matemática discreta e Número real · Veja mais »
Número transcendente
Um número transcendente (ou transcendental) é um número real ou complexo que não é raiz de nenhuma equação polinomial a coeficientes inteiros.
Novo!!: Matemática discreta e Número transcendente · Veja mais »
Permutação
Em matemática, especialmente na álgebra abstrata e áreas relacionadas, uma permutação é uma bijeção, de um conjunto finito X nele mesmo.
Novo!!: Matemática discreta e Permutação · Veja mais »
Premissa
Em Lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência.
Novo!!: Matemática discreta e Premissa · Veja mais »
Problemas do Prémio Millennium
Os Prêmios dos Problemas do Milênio (em inglês: Millennium Prize Problems) são sete problemas matemáticos estabelecidos pelo Instituto Clay de Matemática.
Novo!!: Matemática discreta e Problemas do Prémio Millennium · Veja mais »
Programação linear
Exemplo de poliedro (bidimensional) resultante das condições de um problema de programação linear. Em matemática, problemas de Programação Linear (PL) são problemas de optimização nos quais a função objetivo e as restrições são todas lineares.
Novo!!: Matemática discreta e Programação linear · Veja mais »
Prova automática de teoremas
agda2 Prova automática de teoremas (PAT) ou dedução automática (DA) é a prova de teoremas matemáticos por um programa de computador.
Novo!!: Matemática discreta e Prova automática de teoremas · Veja mais »
Prova matemática
Prova do teorema de Euclides. Em matemática, uma prova é uma demonstração de que, dados certos axiomas, algum enunciado de interesse é necessariamente verdadeiro.
Novo!!: Matemática discreta e Prova matemática · Veja mais »
Regra de inferência
Inferência é o processo pelo qual se chega a uma proposição, firmada na base de uma ou outras mais proposições aceitas como ponto de partida do processo.
Novo!!: Matemática discreta e Regra de inferência · Veja mais »
Relação (matemática)
Em matemática, uma relação é uma correspondência (ou associação) entre elementos de dois conjuntos não vazios.
Novo!!: Matemática discreta e Relação (matemática) · Veja mais »
Relação de recorrência
Relação de recorrência (ou passo recorrente) é uma técnica matemática que permite definir sequências, conjuntos, operações ou até mesmo algoritmos partindo de problemas particulares para problemas genéricos.
Novo!!: Matemática discreta e Relação de recorrência · Veja mais »
Ronald Graham
Ronald Lewis Graham (Taft, — San Diego, 6 de julho de 2020) foi um matemático estadunidense.
Novo!!: Matemática discreta e Ronald Graham · Veja mais »
Segunda Guerra Mundial
A Segunda Guerra Mundial foi um conflito militar global que durou de 1939 a 1945, envolvendo a maioria das nações do mundo — incluindo todas as grandes potências — organizadas em duas alianças militares opostas: os Aliados e o Eixo.
Novo!!: Matemática discreta e Segunda Guerra Mundial · Veja mais »
Segundo problema de Hilbert
Na matemática, o segundo problema de Hilbert foi proposto por David Hilbert em 1900, sendo esse um dos seus 23 problemas.
Novo!!: Matemática discreta e Segundo problema de Hilbert · Veja mais »
Tabela-verdade
Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em lógica para determinar se uma fórmula é válida ou se um sequente é correto.
Novo!!: Matemática discreta e Tabela-verdade · Veja mais »
Teorema das quatro cores
Abstração de um mapa com 4 cores usando grafos Mapa dos Estados Unidos desenhado com 4 cores; observe que até em estados que fazem fronteira com mais outros 3 estados não acabam coincidindo suas cores Em matemática, o teorema das quatro cores, ou teorema do mapa das quatro cores, afirma que não mais do que quatro cores são necessárias para colorir as regiões de qualquer mapa, de modo que duas regiões adjacentes não tenham a mesma cor.
Novo!!: Matemática discreta e Teorema das quatro cores · Veja mais »
Teorema de Matiyasevich
O Teorema de Matiyasevich, provado em 1970 por Yuri Matiyasevich, implica que o décimo problema de Hilbert é irresolúvel.
Novo!!: Matemática discreta e Teorema de Matiyasevich · Veja mais »
Teoria analítica dos números
Teoria analítica dos números é o ramo da teoria dos números que usa métodos para análises matemáticas.
Novo!!: Matemática discreta e Teoria analítica dos números · Veja mais »
Teoria da computação
A teoria da computação é um subcampo da ciência da computação e matemática que busca determinar quais problemas podem ser computados em um dado modelo de computação.
Novo!!: Matemática discreta e Teoria da computação · Veja mais »
Teoria da informação
A teoria matemática da informação estuda a quantificação, armazenamento e comunicação da informação.
Novo!!: Matemática discreta e Teoria da informação · Veja mais »
Teoria da ordem
Teoria da ordem é um ramo da matemática que estuda vários tipos de relações binárias que capturam a noção intuitiva de ordem matemática.
Novo!!: Matemática discreta e Teoria da ordem · Veja mais »
Teoria da prova
A teoria das provas, teoria da prova ou teoria da demonstração é um ramo importante da lógica matemática que representa provas como objetos matemáticos, facilitando sua análise por técnicas matemáticas.
Novo!!: Matemática discreta e Teoria da prova · Veja mais »
Teoria das filas
Exemplo de fila de banco: ''Open House London'', na Inglaterra A teoria das filas é um ramo da probabilidade que estuda a formação de filas, através de análises matemáticas precisas e propriedades mensuráveis das filas.
Novo!!: Matemática discreta e Teoria das filas · Veja mais »
Teoria das probabilidades
A teoria das probabilidades é o estudo matemático das probabilidades.
Novo!!: Matemática discreta e Teoria das probabilidades · Veja mais »
Teoria dos conjuntos
conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.
Novo!!: Matemática discreta e Teoria dos conjuntos · Veja mais »
Teoria dos grafos
Grafo com quatro vértices e 6 arestas. É um grafo completo, conexo e planar. A teoria dos grafos ou de grafos é um ramo da matemática que estuda as relações entre os objetos de um determinado conjunto.
Novo!!: Matemática discreta e Teoria dos grafos · Veja mais »
Teoria dos jogos
Teoria dos jogos ou Teoria de jogos é um ramo da matemática aplicada que estuda situações estratégicas onde jogadores escolhem diferentes ações na tentativa de melhorar seu retorno.
Novo!!: Matemática discreta e Teoria dos jogos · Veja mais »
Teoria dos nós
trivial mais simples Um diagrama de nó do nó de trevo. Em topologia, a teoria dos nós é o estudo dos nós matemáticos.
Novo!!: Matemática discreta e Teoria dos nós · Veja mais »
Teoria dos números
números primos, observamos um intrigante e não totalmente explicado padrão, chamado espiral de Ulam. A teoria dos números é o ramo da matemática pura que estuda propriedades dos números em geral, e em particular dos números inteiros, bem como a larga classe de problemas que surge no seu estudo.
Novo!!: Matemática discreta e Teoria dos números · Veja mais »
The Art of Computer Programming
The Art of Computer Programming (A Arte da Programação de Computador, em tradução livre) é uma série de livros escritos por Donald E. Knuth que aborda a construção de algoritmos.
Novo!!: Matemática discreta e The Art of Computer Programming · Veja mais »
Topologia (matemática)
Topologia (do grego topos, "lugar", e logos, "estudo") é o ramo da matemática que estuda os espaços topológicos, sendo considerado como uma extensão da geometria.
Novo!!: Matemática discreta e Topologia (matemática) · Veja mais »
Topologia discreta
Em topologia, um espaço topológico diz-se discreto se todos conjuntos são abertos.
Novo!!: Matemática discreta e Topologia discreta · Veja mais »
Topologia grosseira
Em topologia, um espaço topológico diz-se grosseiro,Na literatura matemática em inglês, coarse.
Novo!!: Matemática discreta e Topologia grosseira · Veja mais »
Verificação formal
Verificação formal é a prova matemática da conformidade de um algoritmo a certa especificação formal ou propriedade, usando métodos formais.
Novo!!: Matemática discreta e Verificação formal · Veja mais »
Yuri Matiyasevich
Yuri Vladimirovich Matiyasevich (Ю́рий Влади́мирович Матиясе́вич; São Petersburgo) é um matemático e cientista da computação russo.
Novo!!: Matemática discreta e Yuri Matiyasevich · Veja mais »
Redireciona aqui:
Discreta, Matemática Discreta, Quantidade discreta.
