Acesso mais rápido do que o navegador!
127 relações: Alan Turing, Aleatoriedade, Algoritmo, Algoritmo de Euclides, Alonzo Church, Anatomia, Análise de dados, Animação, Aprendizado de máquina, Association for Computing Machinery, Autômato, Banco de dados, Biofísica, Bioinformática, Biologia, Biologia computacional, Biologia molecular, Bioquímica, Buraco negro, Ciência da computação, Ciências formais, Circuito eletrônico, Circuito integrado, Claude Shannon, Codificação de canal, Comércio eletrônico, Compilador, Complexidade, Complexidade computacional, Computação gráfica, Computação paralela, Computação quântica, Computabilidade, Computador, Computador quântico, Conjunto finito, Criptoanálise, Criptografia, Criptografia de chave pública, Detecção de anomalias, Diferenciação, Ecologia, Encyclopædia Britannica, Engenharia biológica, Engenharia de computação, Engenharia elétrica, Estatística, Estrutura de dados, Evolução, Expressão matemática, ..., Fatoração, Fatoração polinomial, Física, Genética, Geometria, Geometria computacional, Gottfried Wilhelm Leibniz, Instituto de Tecnologia de Massachusetts, Instituto Nacional de Padrões e Tecnologia, Integral, Internet, Jogo multijogador massivo online, JPEG, Kurt Gödel, Large Scale Integration, Lógica matemática, Lei de Amdahl, Leonid Levin, Linguagem de programação, Linguística, Martin Davis, Matemática, Matemática aplicada, Matemática discreta, Máquina de Turing quântica, Máximo divisor comum, Método efetivo, Mecânica quântica, Microprocessador, Mineração de dados, Motor de busca, MP3, Neurobiologia, Neurociência, NP-completo, Otimização combinatória, Peer-to-peer, Percepção, Peter Shor, Problemas em aberto da ciência da computação, Processamento de linguagem natural, Processamento de sinal, Programa, Química, Reconhecimento de padrões, Rede, Regra da cadeia, Richard Feynman, Robótica, Sânscrito, Scientific American, Semântica, Semicondutor, Service-oriented architecture, Shulba Sutras, Sistema algébrico computacional, Sistema de processamento distribuído, Software, Stephen Cook, Stephen Kleene, Telefone celular, Teoremas da incompletude de Gödel, Teoria algorítmica da informação, Teoria da computação, Teoria da computabilidade, Teoria da informação, Teoria das categorias, Teoria de códigos, Teoria dos autômatos, Teoria dos grafos, Teoria dos números, Teoria dos tipos, Visão computacional, Visualização científica, Voyager, Yuri Manin, 0 (número). Expandir índice (77 mais) »
Alan Turing
Alan Mathison Turing (Londres, 23 de junho de 1912 Wilmslow, Cheshire, 7 de junho de 1954) foi um matemático, cientista da computação, lógico, criptoanalista, filósofo e biólogo teórico britânico.
Novo!!: Ciência da computação teórica e Alan Turing · Veja mais »
Aleatoriedade
A palavra aleatoriedade exprime quebra de ordem, propósito, causa, ou imprevisibilidade em uma terminologia não científica.
Novo!!: Ciência da computação teórica e Aleatoriedade · Veja 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!!: Ciência da computação teórica e Algoritmo · Veja mais »
Algoritmo de Euclides
Animação do algoritmo de Euclides para os inteiros 252 e 105. As barras representam múltiplos de 21, o máximo divisor comum (MDC). Em cada passo, o número menor é subtraído ao maior, até um número ser reduzido a zero. O número restante é o MDC. Em matemática, o algoritmo de Euclides é um método simples e eficiente de encontrar o máximo divisor comum entre dois números inteiros diferentes de zero.
Novo!!: Ciência da computação teórica e Algoritmo de Euclides · Veja mais »
Alonzo Church
Alonzo Church (Washington, DC, 14 de junho de 1903 — Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense.
Novo!!: Ciência da computação teórica e Alonzo Church · Veja mais »
Anatomia
Anatomia (do grego ἀνατέμνω anatemnō "cortar em partes") é um ramo da biologia que estuda a organização estrutural dos seres vivos, incluindo os sistemas, órgãos e tecidos que os constituem, a aparência e posição das várias partes, as substâncias de que são feitos, a sua localização e a sua relação com outras partes do corpo.
Novo!!: Ciência da computação teórica e Anatomia · Veja mais »
Análise de dados
A análise de dados é um processo de inspeção, limpeza, transformação e modelagem de dados com o objetivo de descobrir informações úteis, informar conclusões e apoiar a tomada de decisões.
Novo!!: Ciência da computação teórica e Análise de dados · Veja mais »
Animação
Animação refere-se ao processo, segundo o qual cada fotograma de um filme é produzido individualmente, podendo ser gerado tanto por computação gráfica quanto fotografando uma imagem desenhada ou repetidamente, fazendo-se pequenas mudanças a um modelo (ver claymation e stop motion), fotografando o resultado.
Novo!!: Ciência da computação teórica e Animação · Veja mais »
Aprendizado de máquina
O ou também (em inglês: machine learning) é um subcampo da Engenharia e da ciência da computação que evoluiu do estudo de reconhecimento de padrões e da teoria do aprendizado computacional em inteligência artificial.
Novo!!: Ciência da computação teórica e Aprendizado de máquina · Veja mais »
Association for Computing Machinery
A Association for Computing Machinery (ACM; lit. Associação para Maquinaria da Computação) foi fundada em 1947 como a primeira sociedade científica e educacional dedicada à computação.
Novo!!: Ciência da computação teórica e Association for Computing Machinery · Veja mais »
Autômato
Um (do grega αὐτόματον: "agindo por vontade própria") é um mecanismo que se opera de maneira automática, imitando movimentos humanos.
Novo!!: Ciência da computação teórica e Autômato · Veja mais »
Banco de dados
são conjuntos de arquivos relacionados entre si, podendo conter registros sobre pessoas, lugares ou informações em geral.
Novo!!: Ciência da computação teórica e Banco de dados · Veja mais »
Biofísica
Biofísica é uma ciência interdisciplinar que aplica as teorias e os métodos da física para resolver questões das ciências biológicas, em quaisquer níveis: molecular, celular, morfofisiológico, ecológico, biodiversidade, reprodução e genética.
Novo!!: Ciência da computação teórica e Biofísica · 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!!: Ciência da computação teórica e Bioinformática · Veja mais »
Biologia
Biologia é a ciência natural que estuda, descreve, preserva e melhora a vida e os organismos vivos.
Novo!!: Ciência da computação teórica e Biologia · Veja mais »
Biologia computacional
Biologia Computacional é um campo de estudo interdisciplinar que aplica técnicas da ciência da computação, matemática aplicada e estatística para problemas da biologia.
Novo!!: Ciência da computação teórica e Biologia computacional · Veja mais »
Biologia molecular
Esquema da relação entre a bioquímica (''biochemistry''), a genética (''genetics'') e a biologia molecular (''molecular biology''). A biologia molecular é a área da biologia que explica os fenômenos e eventos biológicos sob o ponto de vista molecular, com especial interesse no dogma central, ou seja, as interações entre DNA, RNA e proteínas bem como a regulação dessas interações.
Novo!!: Ciência da computação teórica e Biologia molecular · Veja mais »
Bioquímica
Exemplo de proteína, uma das classes de compostos bioquímicos mais abundantesLaboratório de bioquímica. Bioquímica (química aplicada à biologia) é a ciência e tecnologia que estuda e aplica as ciências químicas ao contexto da biologia, sendo portanto uma área interdisciplinar entre a química e a biologia.
Novo!!: Ciência da computação teórica e Bioquímica · Veja mais »
Buraco negro
Buraco negro é uma região do espaço-tempo em que o campo gravitacional é tão intenso que nada — nenhuma partícula ou radiação eletromagnética como a luz — pode escapar.
Novo!!: Ciência da computação teórica e Buraco negro · 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!!: Ciência da computação teórica e Ciência da computação · Veja mais »
Ciências formais
As ciências formais são os ramos da ciência que estudam os sistemas formais, como por exemplo, a lógica, matemática, teoria dos sistemas e os aspectos teóricos da ciência computacional, teoria da informação, microeconomia, teoria da decisão, estatística e linguística.
Novo!!: Ciência da computação teórica e Ciências formais · Veja mais »
Circuito eletrônico
Esquema de um amplificador bem simples. Os circuitos eletrônicos diferem dos circuitos elétricos por possuírem interligações entre diversos componentes eletrônicos, enquanto os circuitos elétricos somente têm conexões entre componentes elétricos.
Novo!!: Ciência da computação teórica e Circuito eletrônico · Veja mais »
Circuito integrado
encapsulamento removido. Fotografia da arquitetura interna de um microprocessador de imagens de ressonância magnética aumentada 600 vezes, sob luz ultravioleta, para se enxergarem os detalhes. Em eletrônica, um circuito integrado (CI), chipe, microchipe ou nanochipe (do inglês chip, microchip e nanochip, respectivamente), é um circuito eletrônico miniaturizado (composto principalmente por dispositivos semicondutores) sobre um substrato fino de material semicondutor.
Novo!!: Ciência da computação teórica e Circuito integrado · Veja mais »
Claude Shannon
Claude Elwood Shannon (—) foi um matemático, engenheiro eletrônico e criptógrafo estadunidense, conhecido como "o pai da teoria da informação".
Novo!!: Ciência da computação teórica e Claude Shannon · Veja mais »
Codificação de canal
Em matemática, ciência da computação, telecomunicações, engenharia elétrica, estatística e teoria da informação, chama-se codificação de canal, ou detecção e correção de erros, à codificação de sinais de informação com o objetivo de diminuir a taxa de erro de símbolo e/ou de bit durante a transmissão dos mesmos através de um canal de comunicação.
Novo!!: Ciência da computação teórica e Codificação de canal · Veja mais »
Comércio eletrônico
, e-commerce, comércio virtual ou venda não-presencial (que se estende até venda por telemarketing), é um tipo de transação comercial (com ou sem fins lucrativos) feita especialmente através de um equipamento eletrônico, como, por exemplo, computadores, tablets e smartphones, baseadas em dois conceitos fundamentais o B2B (business to business) e o B2C (business to consumer).
Novo!!: Ciência da computação teórica e Comércio eletrônico · Veja mais »
Compilador
GCC versão 4.0.2 rodando em uma janela xterm. Um programa simples está sendo compilado e então executado. Um compilador é um programa de computador (ou um grupo de programas) que, a partir de um código fonte escrito em uma linguagem compilada, cria um programa semanticamente equivalente, porém escrito em outra linguagem, código objeto.
Novo!!: Ciência da computação teórica e Compilador · Veja mais »
Complexidade
Complexidade é utilizada em filosofia, epistemologia (por autores como Anthony Wilden e Edgar Morin), linguística, pedagogia, matemática, química, física, meteorologia, estatística, biologia (por Henri Atlan), sociologia, ocupação, economia, arquitetura, medicina, psicologia, informática ou em ciências da computação ou da informação.
Novo!!: Ciência da computação teórica e Complexidade · Veja mais »
Complexidade computacional
A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica e matemática que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classes entre si.
Novo!!: Ciência da computação teórica e Complexidade computacional · 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!!: Ciência da computação teórica e Computação gráfica · Veja mais »
Computação paralela
Computação paralela é uma forma de computação em que vários cálculos são realizados ao mesmo tempo, operando sob o princípio de que grandes problemas geralmente podem ser divididos em problemas menores, que então são resolvidos concorrentemente (em paralelo).
Novo!!: Ciência da computação teórica e Computação paralela · Veja mais »
Computação quântica
A computação quântica é a ciência que estuda as aplicações das teorias e propriedades da mecânica quântica na Ciência da Computação.
Novo!!: Ciência da computação teórica e Computação quântica · Veja mais »
Computabilidade
Computabilidade é a habilidade de resolver problemas de forma efetiva.
Novo!!: Ciência da computação teórica e Computabilidade · 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!!: Ciência da computação teórica e Computador · Veja mais »
Computador quântico
A esfera de Bloch é uma representação de um qubit, o bloco de construção fundamental de computadores quânticos. Um computador quântico é um dispositivo que executa cálculos fazendo uso direto de propriedades da mecânica quântica, tais como sobreposição e interferência.
Novo!!: Ciência da computação teórica e Computador quântico · Veja mais »
Conjunto finito
Intuitivamente, um conjunto é finito quando é possível contar seus elementos e a contagem termina.
Novo!!: Ciência da computação teórica e Conjunto finito · 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!!: Ciência da computação teórica 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!!: Ciência da computação teórica 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!!: Ciência da computação teórica e Criptografia de chave pública · Veja mais »
Detecção de anomalias
Em mineração de dados, a detecção de anomalias (também detecção de outliers) é a identificação de itens, eventos ou observações raros que levantam suspeitas por serem significativamente diferentes da maioria dos dados.
Novo!!: Ciência da computação teórica e Detecção de anomalias · Veja mais »
Diferenciação
O termo Diferenciação pode ser usado em várias áreas, tais como.
Novo!!: Ciência da computação teórica e Diferenciação · Veja mais »
Ecologia
260 px 95px 173px 115px 125px A ecologia abrange desde áreas como processos globais (Acima), estudos de habitats marinhos e terrestres (Meio) a interações interespecíficas como predação e polinização (Abaixo).
Novo!!: Ciência da computação teórica e Ecologia · Veja mais »
Encyclopædia Britannica
A Encyclopædia Britannica é uma enciclopédia generalista de língua inglesa publicada pela Encyclopædia Britannica, Inc., uma editora privada.
Novo!!: Ciência da computação teórica e Encyclopædia Britannica · Veja mais »
Engenharia biológica
Engenharia biológica ou bioengenharia é a aplicação dos princípios de biologia e da engenharia ao processamento de materiais, através de agentes biológicos, para prover bens e assegurar serviços.
Novo!!: Ciência da computação teórica e Engenharia biológica · Veja mais »
Engenharia de computação
A Engenharia de Computação é um curso que integra conhecimentos das áreas da Ciência da Computação e da Engenharia Eletrônica necessários para desenvolver hardware e software.
Novo!!: Ciência da computação teórica e Engenharia de computação · Veja mais »
Engenharia elétrica
Engenharia elétrica é o ramo da engenharia que trabalha com os estudos e aplicações da eletricidade, eletromagnetismo e eletrônica.
Novo!!: Ciência da computação teórica e Engenharia elétrica · Veja mais »
Estatística
Um exemplo de gráfico. Estatística é a ciência que utiliza as teorias probabilísticas para explicar a frequência da ocorrência de eventos, tanto em estudos observacionais quanto em experimentos para modelar a aleatoriedade e a incerteza de forma a estimar ou possibilitar a previsão de fenômenos futuros, conforme o caso.
Novo!!: Ciência da computação teórica e Estatística · Veja mais »
Estrutura de dados
Uma estrutura de dados (ED), em ciência da computação, é uma coleção tanto de valores (e seus relacionamentos) quanto de operações (sobre os valores e estruturas decorrentes).
Novo!!: Ciência da computação teórica e Estrutura de dados · Veja mais »
Evolução
Na biologia, Evolução (também conhecida como evolução biológica, genética ou orgânica) é a mudança das características hereditárias de uma população de seres vivos de uma geração para outra.
Novo!!: Ciência da computação teórica e Evolução · Veja mais »
Expressão matemática
Expressão matemática é uma combinação de números, operadores, variáveis livres ou ligadas e símbolos gráficos (como colchetes e parênteses), agrupados de forma significativa de modo a permitir a verificação de valores, formas, meios ou fins.
Novo!!: Ciência da computação teórica e Expressão matemática · Veja mais »
Fatoração
(AO 1945: Factorização) é o termo usado na álgebra para designar a decomposição que se faz de cada um dos elementos que integram um produto, ou seja, o resultado de uma multiplicação.
Novo!!: Ciência da computação teórica e Fatoração · Veja mais »
Fatoração polinomial
Fatoração polinomial (ou fatoração de polinômios) é um grupo de regularidades algébricas para expressar por meio de uma multiplicação indireta ou por produtos notáveis.
Novo!!: Ciência da computação teórica e Fatoração polinomial · Veja mais »
Física
Física (do grego antigo: φύσις physis "natureza") é a ciência que estuda a natureza e seus fenômenos em seus aspectos gerais.
Novo!!: Ciência da computação teórica e Física · Veja mais »
Genética
Genética (do grego antigo: γένεσις transl. génesis, lit. "origens") é o ramo da biologia especializado no estudo científico dos genes, a variação genética dos organismos e a hereditariedade, ou seja, a forma como os organismos recebem e transmitem as características biológicas de geração para geração.
Novo!!: Ciência da computação teórica e Genética · 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!!: Ciência da computação teórica 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!!: Ciência da computação teórica e Geometria computacional · Veja mais »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz (Leipzig, — Hanôver) foi um proeminente polímata e filósofo alemão e figura central na história da matemática e na história da filosofia.
Novo!!: Ciência da computação teórica e Gottfried Wilhelm Leibniz · Veja mais »
Instituto de Tecnologia de Massachusetts
Instituto de Tecnologia de Massachusetts (Massachusetts Institute of Technology) é uma universidade de pesquisa localizada em Cambridge, Massachusetts, Estados Unidos.
Novo!!: Ciência da computação teórica e Instituto de Tecnologia de Massachusetts · Veja mais »
Instituto Nacional de Padrões e Tecnologia
O National Institute of Standards and Technology (NIST) (Instituto Nacional de Padrões e Tecnologia), anteriormente conhecido como The National Bureau of Standards, é uma agência governamental não regulatória da administração de tecnologia do Departamento de Comércio dos Estados Unidos.
Novo!!: Ciência da computação teórica e Instituto Nacional de Padrões e Tecnologia · Veja mais »
Integral
No cálculo, a integral de uma função foi criada originalmente para determinar a área sob uma curva no plano cartesianoCharles Doss, An Introduction to the Lebesgue Integral, e também surge naturalmente em dezenas de problemas da física, por exemplo na determinação da posição em todos os instantes de um objeto, se for conhecida a sua velocidade instantânea em todos os instantes.
Novo!!: Ciência da computação teórica e Integral · Veja mais »
Internet
A Internet é um sistema global de redes de computadores interligadas que utilizam um conjunto próprio de protocolos (Internet Protocol Suite ou TCP/IP) com o propósito de servir progressivamente usuários no mundo inteiro.
Novo!!: Ciência da computação teórica e Internet · Veja mais »
Jogo multijogador massivo online
Um jogo multijogador massivo online (mais conhecido pela sigla MMO), em inglês Massively multiplayer online game (MMOG) é um tipo de jogo eletrônico capaz de suportar grandes quantidades de jogadores simultaneamente, conectados através da internet.
Novo!!: Ciência da computação teórica e Jogo multijogador massivo online · Veja mais »
JPEG
JPG (ou JPEG) é um método comum usado para comprimir imagens fotográficas.
Novo!!: Ciência da computação teórica e JPEG · Veja mais »
Kurt Gödel
Kurt Friedrich Gödel (Brünn, 28 de abril de 1906 — Princeton, 14 de janeiro de 1978) foi um filósofo, matemático e lógico austríaco, naturalizado norte-americano.
Novo!!: Ciência da computação teórica e Kurt Gödel · Veja mais »
Large Scale Integration
Large Scale Integration (em português, Integração em Larga Escala) é um termo técnico em inglês da área de microeletrônica.
Novo!!: Ciência da computação teórica e Large Scale Integration · 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!!: Ciência da computação teórica e Lógica matemática · Veja mais »
Lei de Amdahl
O speedup de um programa usando múltiplos processadores em computação paralela é limitado pela fração sequencial do programa. Por exemplo, se 95% do programa pode ser paralelo, teoricamente o speedup máximo usando computação paralela seria 20× como apresentado no diagrama, não importando quantos processadores estão sendo usados. A lei de Amdahl, também conhecida como argumento de Amdahl, é usada para encontrar a máxima melhora esperada para um sistema em geral quando apenas uma única parte dele é melhorada.
Novo!!: Ciência da computação teórica e Lei de Amdahl · Veja mais »
Leonid Levin
Leonid Anatolievich Levin, Леонид Анатольевич Левин; (Dnipropetrovsk, 2 de novembro de 1948) é um informático soviético-estadunidense.
Novo!!: Ciência da computação teórica e Leonid Levin · 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!!: Ciência da computação teórica e Linguagem de programação · Veja mais »
Linguística
é o estudo científico da linguagem.
Novo!!: Ciência da computação teórica e Linguística · Veja mais »
Martin Davis
Martin David Davis (Nova Iorque, - 1 de janeiro de 2023) foi um matemático estadunidense.
Novo!!: Ciência da computação teórica e Martin Davis · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Ciência da computação teórica e Matemática · Veja mais »
Matemática aplicada
Soluções eficientes para o problema de roteamento de veículos (usado para diminuir os congestionamentos, entre outros...) requerem ferramental da otimização combinatória e programação inteira A matemática aplicada é uma área da matemática no qual se trata da aplicação do conhecimento matemático a outros domínios.
Novo!!: Ciência da computação teórica e Matemática aplicada · Veja mais »
Matemática discreta
propriedades matemáticas, a sua utilidade como modelos de problemas do mundo real, e sua importância no desenvolvimento de algoritmos computacionais. Matemática discreta, também chamada matemática finita, é o estudo das estruturas algébricas que são fundamentalmente discretas, em vez de contínuas.
Novo!!: Ciência da computação teórica e Matemática discreta · Veja mais »
Máquina de Turing quântica
Uma máquina de Turing quântica, ou também computador quântico universal é uma máquina abstrata usada para modelar o efeito de um computador quântico.
Novo!!: Ciência da computação teórica e Máquina de Turing quântica · Veja mais »
Máximo divisor comum
O máximo divisor comum (abreviadamente, MDC) entre dois ou mais números reais é o maior número real que é fator de tais números.
Novo!!: Ciência da computação teórica e Máximo divisor comum · Veja mais »
Método efetivo
Em lógica e matemática - especialmente metalógica e teoria da computabilidade - método efetivo Hunter, Geoffrey, Metalogic: uma Introdução ao Metateoria de lógica de primeira ordem padrão, University of California Press, 1971 (também chamado de procedimento efetivo) é o procedimento para uma classe de problemas é um método para o qual cada passo pode ser descrito como uma operação mecânica, e que, se seguidas rigorosamente resulta em.
Novo!!: Ciência da computação teórica e Método efetivo · Veja mais »
Mecânica quântica
A mecânica quântica (também conhecida como física quântica e teoria quântica) é a teoria física que obtém sucesso no estudo dos sistemas físicos cujas dimensões são próximas ou abaixo da escala atômica, tais como moléculas, átomos, elétrons, prótons e de outras partículas subatômicas, muito embora também possa descrever fenômenos macroscópicos em diversos casos.
Novo!!: Ciência da computação teórica e Mecânica quântica · Veja mais »
Microprocessador
O microprocessador, geralmente chamado apenas de processador, é um circuito integrado que realiza as funções de cálculo e tomada de decisão de um computador.
Novo!!: Ciência da computação teórica e Microprocessador · Veja mais »
Mineração de dados
(também conhecida pelo termo inglês data mining) é o processo de explorar dados à procura de padrões consistentes, como regras de associação ou sequências temporais, para detectar relacionamentos sistemáticos entre variáveis, detectando assim novos subconjuntos de dados.
Novo!!: Ciência da computação teórica e Mineração de dados · Veja mais »
Motor de busca
ou buscador (search engine) é um programa desenhado para procurar palavras-chave fornecidas pelo utilizador em documentos e bases de dados.
Novo!!: Ciência da computação teórica e Motor de busca · Veja mais »
MP3
O MP3 (MPEG-1/2 Audio Layer 3) é um dos primeiros tipos de compressão de áudio com perdas quase imperceptíveis ao ouvido humano.
Novo!!: Ciência da computação teórica e MP3 · Veja mais »
Neurobiologia
Neurobiologia é o estudo das células do sistema nervoso e da organização dessas células dentro de circuitos funcionais que processam a informação e medeiam o comportamento.
Novo!!: Ciência da computação teórica e Neurobiologia · Veja mais »
Neurociência
Gravura de Santiago Ramón y Cajal (1899) de neurônios no cerebelo de um pombo. Neurociência é o estudo científico do sistema nervoso.
Novo!!: Ciência da computação teórica e Neurociência · Veja mais »
NP-completo
Na teoria da complexidade computacional, a classe de complexidade é o subconjunto dos problemas NP de tal modo que todo problema em NP se pode reduzir, com uma redução de tempo polinomial, a um dos problemas NP-completo.
Novo!!: Ciência da computação teórica e NP-completo · Veja mais »
Otimização combinatória
A Otimização Combinatória é um ramo da ciência da computação e da matemática aplicada que estuda problemas de otimização em conjuntos finitos.
Novo!!: Ciência da computação teórica e Otimização combinatória · Veja mais »
Peer-to-peer
Um sistema P2P sem uma infraestrutura central. Disposição de uma rede usual centralizada, baseada em servidores. Peer-to-peer (em português, par a par, ou simplesmente ponto a ponto) ou P2P é uma arquitetura de redes de computadores onde cada um dos pontos ou nós da rede funciona tanto como cliente quanto como servidor, permitindo compartilhamentos de serviços e dados sem a necessidade de um servidor central ou hierárquica, mudando um paradigma existente.
Novo!!: Ciência da computação teórica e Peer-to-peer · Veja mais »
Percepção
O cubo de Necker e o vaso de Rubin podem ser percebidos de mais de uma maneira urlmorta.
Novo!!: Ciência da computação teórica e Percepção · Veja mais »
Peter Shor
Peter Williston Shor (Nova Iorque) é um matemático estadunidense.
Novo!!: Ciência da computação teórica e Peter Shor · Veja mais »
Problemas em aberto da ciência da computação
Este artigo é uma lista de problemas em aberto na Ciência da computação.
Novo!!: Ciência da computação teórica e Problemas em aberto da ciência da computação · Veja mais »
Processamento de linguagem natural
10.1145/1643823.1643908 Processamento de língua natural (PLN) é uma subárea da ciência da computação, inteligência artificial e da linguística que estuda os problemas da geração e compreensão automática de línguas humanas naturais.
Novo!!: Ciência da computação teórica e Processamento de linguagem natural · Veja mais »
Processamento de sinal
Transmissão de sinal usando processamento de sinal eletronico. Transdutores convertem os sinais em forma de onda para correntes elétricas ou voltagens em forma de onda, que então são processadas, transmitidas como ondas eletromagnéticas, recebidas e convertidas por um outro transdutor para a forma final. O Processamento de Sinais consiste na análise e/ou modificação de sinais utilizando teoria fundamental, aplicações e algoritmos, de forma a extrair informações dos mesmos e/ou torná-los mais apropriados para alguma aplicação específica.
Novo!!: Ciência da computação teórica e Processamento de sinal · Veja mais »
Programa
Programa pode referir-se a.
Novo!!: Ciência da computação teórica e Programa · Veja mais »
Química
Química é o estudo científico das propriedades e transformações da matéria.
Novo!!: Ciência da computação teórica e Química · Veja mais »
Reconhecimento de padrões
Reconhecimento de padrões é uma área da ciência cujo objetivo é a classificação de objetos dentro de um número de categorias ou classes.
Novo!!: Ciência da computação teórica e Reconhecimento de padrões · Veja mais »
Rede
* Rede de descanso — rede utilizada por seres humanos para descanso.
Novo!!: Ciência da computação teórica e Rede · Veja mais »
Regra da cadeia
Em cálculo, a regra da cadeia é uma fórmula para a derivada da função composta de duas funções.
Novo!!: Ciência da computação teórica e Regra da cadeia · Veja mais »
Richard Feynman
Richard Phillips Feynman (Nova Iorque, — Los Angeles) foi um físico teórico norte-americano do século XX, foi um dos pioneiros da eletrodinâmica quântica e ficou conhecido pelos seus trabalhos no ramo da formulação integral da mecânica quântica.
Novo!!: Ciência da computação teórica e Richard Feynman · Veja mais »
Robótica
Curiosity, astromóvel-robô empregado na exploração de MarteRobótica é um ramo educacional e tecnológico que trata de sistemas compostos por partes mecânicas automáticas em conjunto com circuitos integrados, tornando sistemas mecânicos motorizados controlados por circuitos elétricos e inteligência computacional.
Novo!!: Ciência da computação teórica e Robótica · Veja mais »
Sânscrito
O sânscrito ou língua sânscrita (संस्कृत; transcrito em IAST) é uma língua ancestral do Nepal e da Índia.
Novo!!: Ciência da computação teórica e Sânscrito · Veja mais »
Scientific American
Scientific American (informalmente abreviado, SciAm) é uma revista de divulgação científica dos Estados Unidos.
Novo!!: Ciência da computação teórica e Scientific American · Veja mais »
Semântica
Rede semântica em língua portuguesa Semântica (do grego σημαντικός, sēmantiká, plural neutro de sēmantikós, derivado de sema, sinal) é o estudo do significado.
Novo!!: Ciência da computação teórica e Semântica · Veja mais »
Semicondutor
Os semicondutores são sólidos geralmente cristalinos de condutividade elétrica variável, podendo transitar com certa facilidade entre os estados de condutores e isolantes elétricos em função de parâmetros ambientais.
Novo!!: Ciência da computação teórica e Semicondutor · Veja mais »
Service-oriented architecture
SOA é o acrônimo de Service-Oriented Architecture (em português: Arquitetura Orientada a Serviços) é um padrão de projeto de software, ou padrão de arquitetura de software de baixo acoplamento, onde as funcionalidades implementadas nas aplicações devem ser disponibilizadas na forma de serviços, acessíveis normalmente via web services, é baseada nos princípios da computação distribuída, que utiliza o paradigma request/reply para estabelecer a comunicação entre os sistemas clientes e os sistemas dos serviços.
Novo!!: Ciência da computação teórica e Service-oriented architecture · Veja mais »
Shulba Sutras
Os Śulba Sūtras são vários textos do tipo sūtra, que pertencem aos rituais śrauta.
Novo!!: Ciência da computação teórica e Shulba Sutras · Veja mais »
Sistema algébrico computacional
Um sistema algébrico computacional (computer algebra system) é um programa de computador que facilita o cálculo na matemática simbólica.
Novo!!: Ciência da computação teórica e Sistema algébrico computacional · Veja mais »
Sistema de processamento distribuído
Um sistema de processamento distribuído ou paralelo é um sistema que interliga vários nós de processamento (computadores individuais, não necessariamente homogéneos) de maneira que um processo de grande consumo seja executado no nó "mais disponível", ou mesmo subdividido por vários nós.
Novo!!: Ciência da computação teórica e Sistema de processamento distribuído · Veja mais »
Software
OpenOffice.org ''writer'' Software é um termo técnico que foi traduzido para a língua portuguesa como suporte lógico e trata-se de uma sequência de instruções a serem seguidas e/ou executadas, na manipulação, redirecionamento ou modificação de um dado (informação) ou acontecimento.
Novo!!: Ciência da computação teórica e Software · Veja mais »
Stephen Cook
Stephen Arthur Cook, (Buffalo) é um cientista da computação e matemático estadunidense-canadense, que teve maior contribuição no campo da teoria da complexidade e complexidade de prova.
Novo!!: Ciência da computação teórica e Stephen Cook · Veja mais »
Stephen Kleene
Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.
Novo!!: Ciência da computação teórica e Stephen Kleene · Veja mais »
Telefone celular
é um aparelho de comunicação por ondas eletromagnéticas que permite a transmissão bidirecional de voz e dados utilizáveis em uma área geográfica que se encontra dividida em células (de onde provém a nomenclatura celular), cada uma delas servida por um transmissor/receptor.
Novo!!: Ciência da computação teórica e Telefone celular · Veja mais »
Teoremas da incompletude de Gödel
Os teoremas da incompletude de Gödel são dois teoremas da lógica matemática que estabelecem limitações inerentes a quase todos os sistemas axiomáticos, exceto aos mais triviais.
Novo!!: Ciência da computação teórica e Teoremas da incompletude de Gödel · Veja mais »
Teoria algorítmica da informação
A teoria algorítmica da informação é um subcampo da teoria da informação e da ciência da computação que se preocupa com a relação entre computação e informação.
Novo!!: Ciência da computação teórica e Teoria algorítmica da informação · 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!!: Ciência da computação teórica e Teoria da computação · Veja mais »
Teoria da computabilidade
A teoria da computabilidade, também chamada de teoria da recursão, é um ramo da lógica matemática que foi originado na década de 1930 com o estudo das funções computáveis e do grau de Turing.
Novo!!: Ciência da computação teórica e Teoria da computabilidade · 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!!: Ciência da computação teórica e Teoria da informação · Veja mais »
Teoria das categorias
Na matemática, a teoria das categorias provê uma linguagem interdisciplinar capaz de delinear resultados e construções gerais, separando-os dos específicos a cada área, possibilitando a simplificação e clarificação de demonstrações.
Novo!!: Ciência da computação teórica e Teoria das categorias · Veja mais »
Teoria de códigos
A teoria de códigos é o estudo das propriedades dos códigos e sua adequação para uma aplicação específica.
Novo!!: Ciência da computação teórica e Teoria de códigos · Veja mais »
Teoria dos autômatos
Teoria dos autômatos é o estudo das máquinas abstratas ou autômatos, bem como problemas computacionais que podem ser resolvidos usando esses objetos.
Novo!!: Ciência da computação teórica e Teoria dos autômatos · 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!!: Ciência da computação teórica e Teoria dos grafos · 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!!: Ciência da computação teórica e Teoria dos números · Veja mais »
Teoria dos tipos
Teoria dos tipos é o ramo da matemática e da lógica que se preocupa com a classificação de entidades em conjuntos chamados tipos.
Novo!!: Ciência da computação teórica e Teoria dos tipos · Veja mais »
Visão computacional
Visão computacional é a ciência e tecnologia das máquinas que enxergam.
Novo!!: Ciência da computação teórica e Visão computacional · Veja mais »
Visualização científica
instabilidade de Rayleigh–Taylor causada pela mistura de dois fluidoshttps://wci.llnl.gov/codes/visit/gallery.html Visualização criada usando o VisIt. at wci.llnl.gov. Updated: November 8, 2007 Visualização científica é uma área dedicada à geração de imagens que auxiliam seus usuários na compreensão de dados e processos.
Novo!!: Ciência da computação teórica e Visualização científica · Veja mais »
Voyager
*Programa Voyager - um programa espacial da NASA.
Novo!!: Ciência da computação teórica e Voyager · Veja mais »
Yuri Manin
Yuri Ivanovitch Manin (Ю́рий Ива́нович Ма́нин; Simferopol, – 7 de janeiro de 2023) foi um matemático russo, conhecido por seu trabalho em geometria algébrica e geometria diofantina, e muitos trabalhos expositivos que vão da lógica, matemática à física teórica.
Novo!!: Ciência da computação teórica e Yuri Manin · Veja mais »
0 (número)
O zero (0) é um númeroBertrand Russell (2009).
Novo!!: Ciência da computação teórica e 0 (número) · Veja mais »
Redireciona aqui:
Teoria da ciência da computação.
