Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Ciência da computação teórica

Índice Ciência da computação teórica

Ciência da computação teórica (TCS) é 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.

120 relações: ACM, Alan Turing, Aleatoriedade, Algoritmo, Algoritmo de Euclides, Alonzo Church, Anatomia, Análise de dados, Animação, Aprendizado de máquina, 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, Criptoanálise, Criptografia, Criptografia de chave pública, Diferenciação, Ecologia, Encyclopædia Britannica, Engenharia biológica, Engenharia de computação, Engenharia elétrica, Estatística, Estrutura de dados, Evolução, Fatoração, Fatoração polinomial, Física, ..., Genética, Geometria, Geometria computacional, Gottfried Wilhelm Leibniz, Instituto de Tecnologia de Massachusetts, Integral, Internet, Joint Photographic Experts Group, Kurt Gödel, 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, National Institute of Standards and Technology, Neurobiologia, Neurociência, NP-completo, Otimização combinatória, Peer-to-peer, 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, 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 (70 mais) »

ACM

* A Caribbean Mystery, romance policial de Agatha Christie, publicado em 1964, protagonizado pela detetive amadora Miss Marple.

Novo!!: Ciência da computação teórica e ACM · Veja mais »

Alan Turing

Alan Mathison Turing OBE (Paddington, Londres, — Cheshire East, Cheshire) foi um matemático, lógico, criptoanalista e cientista da computação 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ô. Algoritmo é uma sequência finita de instruções bem definidas e não ambíguas, cada uma das quais devendo ser executadas mecânica ou eletronicamente em um intervalo de tempo finito e com uma quantidade de esforço finita.

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") é o campo 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

Análises de dados é a atividade de transformar um conjunto de dados com o objetivo de poder verificá-los melhor dando-lhes ao mesmo tempo uma razão de ser e uma análise racional.

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 aprendizado automático, aprendizado de máquina (em inglês: "machine learning") ou aprendizagem automática é um subcampo 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 »

Autômato

Um é uma máquina ou robô que se opera de maneira automática.

Novo!!: Ciência da computação teórica e Autômato · Veja mais »

Banco de dados

são um conjunto de arquivos relacionados entre si com registros sobre pessoas, lugares ou coisas.

Novo!!: Ciência da computação teórica e Banco de dados · Veja mais »

Biofísica

A biofísica é uma ciência interdisciplinar que aplica as teorias e os métodos da física para resolver questões de biologia.

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

camomila. Biologia é a ciência que estuda 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 diz respeito à base molecular da atividade biológica entre biomoléculas nos vários sistemas de uma célula, incluindo as interações entre DNA, RNA, proteínas e sua biossíntese, bem como a regulação dessas interações.

Novo!!: Ciência da computação teórica e Biologia molecular · Veja mais »

Bioquímica

Bioquímica é a ciência e tecnologia que estuda e aplica a química da vida e os processos químicos que ocorrem nos organismos vivos.

Novo!!: Ciência da computação teórica e Bioquímica · Veja mais »

Buraco negro

para Um desenho artístico de um disco de acreção de plasma quente orbitando um buraco negro (fonte: NASA). De acordo com a Teoria da Relatividade Geral, um buraco negro é uma região do espaço da qual nada, nem mesmo partículas que se movem na velocidade da luz, podem 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 um ramo das ciências que estuda 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. Arquitetura interna de um microprocessador dedicado para processamento de imagens de ressonância magnética, a fotografia foi aumentada 600 vezes, sob luz ultravioleta para se enxergar os detalhes. Em eletrônica, um circuito integrado (em inglês, microchip ou chip), abreviadamente CI, é 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.

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 é uma noção 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 ciência da computação que estuda a transformação dos dados em imagem. Esta aplicação estende-se à recriação visual do mundo real por intermédio de fórmulas matemáticas e algoritmos complexos. 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 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 assistente pessoal digital. Um computador pessoal. Columbia, um supercomputador da NASA. Computador é uma máquina capaz de variados tipos de tratamento automático de informações ou processamento de dados.

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 »

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

chave é utilizada para cifrar e decifrar. A máquina Enigma, utilizada na cifragem e decifragem de mensagens secretas. Criptografia ou criptologia (kryptós, "escondido", e gráphein, "escrita") é o estudo e prática de 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, é uma classe de protocolos de criptografia baseados em algoritmos que requerem duas chaves, uma delas sendo secreta (ou privada) e a outra delas sendo pública.

Novo!!: Ciência da computação teórica e Criptografia de chave pública · 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

é o ramo da engenharia que lida com a realização de projeto e construção de computadores e de sistemas que integram hardware e software, viabilizando a produção de novas máquinas e de equipamentos computacionais para serem utilizados em diversos setores.

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-se das 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 »

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 mais gerais.

Novo!!: Ciência da computação teórica e Física · Veja mais »

Genética

Para uma introdução ao tema mais geral e menos técnica, veja Introdução à genética. Genética (do grego geno; fazer nascer) é a especialidade da biologia que estuda os genes, a hereditariedade e a variação dos organismos e a forma como estes 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 Oxyrhynchus papyrus (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 polímata, filósofo, cientista, matemático, diplomata e bibliotecário alemão.

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 - MIT) é uma universidade privada de pesquisa localizada em Cambridge, Massachusetts, Estados Unidos.

Novo!!: Ciência da computação teórica e Instituto de Tecnologia de Massachusetts · Veja mais »

Integral

No cálculo, a integralEm Portugal, a comunidade técnica utiliza integral como nome masculino.

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 »

Joint Photographic Experts Group

JPEG (ou JPG) é um método comum usado para comprimir imagens fotográficas.

Novo!!: Ciência da computação teórica e Joint Photographic Experts Group · Veja mais »

Kurt Gödel

Kurt Friedrich Gödel (Brünn, Áustria-Hungria, — Princeton, Estados Unidos) 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 »

Lógica matemática

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 do mesmo é 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. Uma linguagem de programação é um método padronizado para comunicar instruções para um computador.

Novo!!: Ciência da computação teórica e Linguagem de programação · Veja mais »

Linguística

Linguística é a área de 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) é um matemático estadunidense.

Novo!!: Ciência da computação teórica e Martin Davis · Veja mais »

Matemática

grego, representado por Rafael em A Escola de Atenas. A 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, medidas, espaços, estruturas, variações e estatísticas.

Novo!!: Ciência da computação teórica e Matemática · Veja mais »

Matemática aplicada

Há matemática avançada envolvida para resolver o problema do tráfego intenso de carros, como encontrar soluções para diminuir os congestionamentos. A matemática aplicada é um ramo 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 inteiros é o maior número inteiro 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 é 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 grandes quantidades de 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 (em inglês: 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) foi 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 »

National Institute of Standards and Technology

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 National Institute of Standards and Technology · 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 (do inglês par-a-par ou simplesmente ponto-a-ponto, com sigla 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.

Novo!!: Ciência da computação teórica e Peer-to-peer · 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 linguagem 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 de computador.

Novo!!: Ciência da computação teórica e Programa · Veja mais »

Química

Química é a ciência que estuda a composição, estrutura, propriedades da matéria, as mudanças sofridas por ela durante as reações químicas e a sua relação com a energia.

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 Philips Feynman (Nova Iorque, — Los Angeles) foi um físico norte-americano do século XX, um dos pioneiros da eletrodinâmica quântica, e Nobel de Física de 1965.

Novo!!: Ciência da computação teórica e Richard Feynman · Veja mais »

Robótica

Robótica é um ramo educacional e tecnológico que engloba computadores, robôs e computação, que trata de sistemas compostos por partes mecânicas automáticas e controladas por circuitos integrados, tornando sistemas mecânicos motorizados, controlados manualmente ou automaticamente por circuitos eléctricos.

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

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

Semicondutores são sólidos geralmente cristalinos de condutividade elétrica intermediária entre condutores e isolantes.

Novo!!: Ciência da computação teórica e Semicondutor · 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 (pronúncia: ˈsɔftwɛəɹ, ˈsɔftwæɹ), logiciário ou suporte lógico é 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 30 com o estudo das funções computáveis e dos graus 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

A teoria das categorias é uma teoria matemática que trata de forma abstrata das estruturas matemáticas e dos relacionamentos entre elas.

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

Um exemplo de autômato. O estudo de propriedades matemáticas destes autômatos é a teoria dos autômatos Na Ciência da computação teórica, teoria dos autômatos é o estudo dos objetos matemáticos chamados máquinas abstratas ou autômatos e os 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 é 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) é um matemático russo/alemão.

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.

CessanteEntrada
Ei! Agora estamos em Facebook! »