Acesso mais rápido do que o navegador!
62 relações: Alan Turing, Algoritmo de Kleene, Aprendizado de máquina, Autômato finito determinístico, Bissimulação, Boris Trakhtenbrot, Cadeia mais próxima, Complexidade computacional, Complexidade de circuitos, Computação científica, Corretude (lógica), Corte Máximo, Domínio booliano, E (complexidade), Economia matemática, Eliminação de quantificadores, Endre Szemerédi, Erdős Lectures, Gramática de Prefixo, Gramática formal, Greta Panova, Hisao Yamada, Imre Simon, Interpretação (lógica), Jean-Éric Pin, Joan Feigenbaum, Julius Richard Büchi, Kristina Vušković, Lógica do diálogo, Lógica matemática, Linguagem regular, Linguagem sensível ao contexto, Maria-Florina Balcan, Matemática, Matemática discreta, Máquina de estados finitos não determinística, Máquina de ponteiros, Máquina de registradores, Máquina de Turing Não Ambígua, Michael Stewart Paterson, Neeraj Kayal, Neil Immerman, Noga Alon, P/polinomial, Prémio Abel, Prêmio Gödel, Prêmio Shaw, Problema do caminho mais longo, Processador Sycamore, Propriedades de normalização forte e fraca, ..., Semiautômato, Sheila Greibach, Simpósio da Teoria da Computação, Sistema de Transição, Teorema da aceleração linear, Teorema de Valiant-Vazirani, Teoria combinatória dos jogos, Teoria da complexidade estrutural, Teoria dos autômatos, Umesh Vazirani, Urmila Mahadev, Yael Tauman Kalai. Expandir índice (12 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 »
Algoritmo de Kleene
No ramo da Ciência da computação teórica, em particular na teoria das Linguagens formais, o Algoritmo de Kleene faz a transformação de um dado Autômato finito determinístico (AFD) em uma Expressão regular.
Novo!!: Ciência da computação teórica e Algoritmo de Kleene · 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 »
Autômato finito determinístico
Um exemplo de autômato finito determinístico que aceita apenas números binários múltiplos de 3. O estado ''S''0 é tanto o estado de início quanto um estado de aceitação. Na Teoria dos autômatos, um sub-tópico da Ciência da computação teórica, um autômato finito determinístico — também chamado máquina de estados finita determinística (AFD) — é uma Máquina de estados finita que aceita ou rejeita cadeias de símbolos gerando um único ramo de computação para cada cadeia de entrada.
Novo!!: Ciência da computação teórica e Autômato finito determinístico · Veja mais »
Bissimulação
Na teoria da computação uma bissimulação é uma relação binária entre sistemas de transição de estados, ou também chamados apenas de sistemas de transição (sistemas constituintes de estados e transições), associando sistemas que se comportam da mesma maneira no sentido de que um sistema simula o outro e vice-versa.
Novo!!: Ciência da computação teórica e Bissimulação · Veja mais »
Boris Trakhtenbrot
Boris (Boaz) Avraamovich Trakhtenbrot (Борис Авраамович Трахтенброт; Brichevo, –) ou Boaz (Boris) Trakhtenbrot (בועז טרכטנברוט) foi um matemático russo-israelense.
Novo!!: Ciência da computação teórica e Boris Trakhtenbrot · Veja mais »
Cadeia mais próxima
Em ciência da computação teórica, e em particular nos algoritmos textuais, a cadeia mais próxima é um problema computacional NP-difícil, que tenta encontrar o centro geométrico de um dado conjunto de cadeias de caracteres de entrada, a cadeia de distância mínima, de acordo com a distância de Hamming.
Novo!!: Ciência da computação teórica e Cadeia mais próxima · 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 »
Complexidade de circuitos
No ramo da Ciência da computação teórica, complexidade de circuitos é um ramo da Teoria da complexidade computacional onde Função booleanas são classificadas de acordo com o tamanho ou o grau dos Circuitos booleanos que as computam.
Novo!!: Ciência da computação teórica e Complexidade de circuitos · Veja mais »
Computação científica
A ciência computacional, também conhecida como computação científica, é um campo de rápido crescimento que usa recursos de computação avançados para entender e resolver problemas complexos.
Novo!!: Ciência da computação teórica e Computação científica · Veja mais »
Corretude (lógica)
Na Ciência da computação teórica, a corretude de um algoritmo pode ser afirmada quando se diz que o algoritmo é correto com respeito à determinada especificação.
Novo!!: Ciência da computação teórica e Corretude (lógica) · Veja mais »
Corte Máximo
Para um grafo, um corte máximo é um corte cujo tamanho é de pelo menos o tamanho de qualquer outro corte.
Novo!!: Ciência da computação teórica e Corte Máximo · Veja mais »
Domínio booliano
Em matemática e em álgebra abstrata, um domínio booliano é um conjunto consistindo de exatamente dois elementos, chamados boolianos, cujas interpretações incluem falso e verdadeiro.
Novo!!: Ciência da computação teórica e Domínio booliano · Veja mais »
E (complexidade)
Na teoria da complexidade computacional, a Classe de complexidade E é o conjunto de problemas de decisão que podem ser resolvidos por uma máquina de Turing determinística em tempo 2O(n) e, portanto, é igual à classe de complexidade DTIME(2O(n)).
Novo!!: Ciência da computação teórica e E (complexidade) · Veja mais »
Economia matemática
A economia matemática é a aplicação de métodos matemáticos para representar teorias econômicas e analisar problemas propostos pela economia.
Novo!!: Ciência da computação teórica e Economia matemática · Veja mais »
Eliminação de quantificadores
Eliminação de quantificadores é um conceito de simplificação usado na lógica matemática, teoria dos modelos, e ciência da computação teórica.
Novo!!: Ciência da computação teórica e Eliminação de quantificadores · Veja mais »
Endre Szemerédi
Endre Szemerédi (Budapeste) é um matemático húngaro.
Novo!!: Ciência da computação teórica e Endre Szemerédi · Veja mais »
Erdős Lectures
Erdős Lectures in Discrete Mathematics and Theoretical Computer Science é uma série de palestras na Universidade Hebraica de Jerusalém, Israel, denominadas em memória do matemático Paul Erdős.
Novo!!: Ciência da computação teórica e Erdős Lectures · Veja mais »
Gramática de Prefixo
Na Ciência da computação teórica e na teoria das linguagens formais, uma gramática de prefixo é um tipo de sistema de reescrita de cadeias que consiste de um conjunto Sistema de redução de cadeias, e similar a uma Gramática formal ou um Sistemas de Thue-Semi.
Novo!!: Ciência da computação teórica e Gramática de Prefixo · Veja mais »
Gramática formal
Em teoria das linguagens formais, uma gramática formal (algumas vezes simplesmente chamada de gramática) é um conjunto de regras de produção de cadeias em uma linguagem formal, ou seja, um objeto que permite especificar uma linguagem ou língua.
Novo!!: Ciência da computação teórica e Gramática formal · Veja mais »
Greta Panova
Greta Cvetanova Panova (Грета Цветанова Панова; Sófia) é uma matemática búlgaro-estadunidense, e suas áreas de pesquisa incluem combinatória, probabilidade e ciência da computação teórica.
Novo!!: Ciência da computação teórica e Greta Panova · Veja mais »
Hisao Yamada
 (山田 尚勇, Yamada Hisao?, 8 De Junho De 1930 – 21 De Maio De 2008) foi um cientista da computação japonês, conhecido por suas influentes contribuições para a teoria da ciência da computação, bem como para o desenvolvimento do layout de teclado japonês, um problema prático desafiador.
Novo!!: Ciência da computação teórica e Hisao Yamada · Veja mais »
Imre Simon
Imre Simon (Budapeste, Hungria, — São Paulo, Brasil) foi foi um renomado professor, pesquisador e matemático húngaro-brasileiro. Reconhecido por suas contribuições significativas no campo da ciência da computação e da matemática.
Novo!!: Ciência da computação teórica e Imre Simon · Veja mais »
Interpretação (lógica)
Uma interpretação é uma atribuição de significado para os símbolos de uma Linguagem formal.
Novo!!: Ciência da computação teórica e Interpretação (lógica) · Veja mais »
Jean-Éric Pin
Jean-Éric Pin é um Francês matemático e cientista da computação conhecido por suas contribuições para o algébrica autómatos teoria e semigrupo teoria.
Novo!!: Ciência da computação teórica e Jean-Éric Pin · Veja mais »
Joan Feigenbaum
Joan Feigenbaum (Brooklyn) é uma cientista da computação teórica com formação em matemática.
Novo!!: Ciência da computação teórica e Joan Feigenbaum · Veja mais »
Julius Richard Büchi
Julius Richard Büchi (—) foi um matemático e lógico suíço.
Novo!!: Ciência da computação teórica e Julius Richard Büchi · Veja mais »
Kristina Vušković
Kristina L. Vušković (nascida em 6 de maio de 1967) é uma matemática sérvia e cientista de computação teórica que trabalha com teoria dos grafos.
Novo!!: Ciência da computação teórica e Kristina Vušković · Veja mais »
Lógica do diálogo
Lógica do Diálogo (dialogische Logik, traduzido como ''Lógica Dialógica'') é uma abordagem para a semântica formal que fundamenta os conceitos de verdade e validade no escopo de teoria dos jogos, como a existência de uma estratégia de vitória para um jogador, que se assemelha, de certa forma, ao Diálogo socrático e à teoria das obligationes medieval.
Novo!!: Ciência da computação teórica e Lógica do diálogo · 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 »
Linguagem regular
Na teoria da ciência da computação e teoria formal de linguagem, uma linguagem regular é uma linguagem formal que pode ser expressa usando expressões regulares, ou seja, uma linguagem produzida utilizando as operações de concatenação, união e fecho de Kleene sobre os elementos de um alfabeto.
Novo!!: Ciência da computação teórica e Linguagem regular · Veja mais »
Linguagem sensível ao contexto
Na Ciência da computação teórica, a 'linguagem sensível ao contexto' é uma linguagem formal que pode ser definida por uma Gramática sensível ao contexto.
Novo!!: Ciência da computação teórica e Linguagem sensível ao contexto · Veja mais »
Maria-Florina Balcan
Maria-Florina (Nina) Balcan é uma cientista da computação romena-estadunidense cuja pesquisa investiga aprendizado de máquina, teoria algorítmica dos jogos e ciência da computação teórica, incluindo aprendizado ativo, métodos de kernel, mecanismos de amostragem aleatória e envy-free pricing.
Novo!!: Ciência da computação teórica e Maria-Florina Balcan · 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 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 estados finitos não determinística
Na teoria da computação, uma máquina de estados finita não-determinística ou um autômato finito não-determinístico (AFND) é uma máquina de estados finita onde para cada par de estado e símbolo de entrada pode haver vários próximos estados possíveis.
Novo!!: Ciência da computação teórica e Máquina de estados finitos não determinística · Veja mais »
Máquina de ponteiros
Em Ciência da computação teórica uma máquina de ponteiros é uma máquina abstrata computacional "atomística", cujo modelo é parecido com a máquina de acesso aleatório.
Novo!!: Ciência da computação teórica e Máquina de ponteiros · Veja mais »
Máquina de registradores
Na lógica matemática e na ciência da computação teórica uma máquina de registradores é uma classe genérica de máquinas abstratas usadas de uma maneira similar a máquina de Turing.
Novo!!: Ciência da computação teórica e Máquina de registradores · Veja mais »
Máquina de Turing Não Ambígua
Na computação teórica, uma máquina de Turing é um máquina teórica que é usada no experimento mental para examinar as capacidades e limitações de computadores.
Novo!!: Ciência da computação teórica e Máquina de Turing Não Ambígua · Veja mais »
Michael Stewart Paterson
Michael Stewart Paterson é um cientista da computação britânico, que foi diretor do Centre for Discrete Mathematics and its Applications (DIMAP) na Universidade de Warwick até 2007.
Novo!!: Ciência da computação teórica e Michael Stewart Paterson · Veja mais »
Neeraj Kayal
Neeraj Kayal (नीरज कयाल; Guwahati) é um cientista da computação indiano.
Novo!!: Ciência da computação teórica e Neeraj Kayal · Veja mais »
Neil Immerman
Neil Immerman (24 de novembro de 1953, cidade de Manhasset, Nova Iorque) é um teórico cientista da computação americano, professor de ciência da computação da Universidade de Massachusetts Amherst.
Novo!!: Ciência da computação teórica e Neil Immerman · Veja mais »
Noga Alon
Noga Alon (נוגה אלון; Israel) é um matemático israelense, conhecido por suas contribuições à combinatória e ciência da computação teórica.
Novo!!: Ciência da computação teórica e Noga Alon · Veja mais »
P/polinomial
Na Teoria da complexidade computacional, P/poly é a classe de complexidade das linguagens reconhecidas em tempo polinomial por uma máquina de Turing com um polynomial-bounded advice function.
Novo!!: Ciência da computação teórica e P/polinomial · Veja mais »
Prémio Abel
O Prémio Abel (Abelprisen) é um prémio de matemática atribuído anualmente pelo Rei da Noruega.
Novo!!: Ciência da computação teórica e Prémio Abel · Veja mais »
Prêmio Gödel
O Prêmio Gödel é um prêmio por artigos de destaque em teoria da ciência da computação, homenageando Kurt Gödel e concedido conjuntamente pela Associação Europeia de Ciência Computacional Teórica (EATCS) e pela ACM SIGACT.
Novo!!: Ciência da computação teórica e Prêmio Gödel · Veja mais »
Prêmio Shaw
Geoffrey Marcy, um dos ganhadores do prêmio de astronomia de 2005 Saul Perlmutter, Adam Riess e Brian Schmidt (da esquerda para a direita) ganharam conjuntamente o prêmio de astronomia de 2006 Richard Doll, um dos ganhadores do prêmio de biologia e medicina de 2004 Shiing-Shen Chern, ganhador do prêmio de matemática de 2004 Andrew John Wiles, ganhador do prêmio de matemática de 2005 Vladimir Arnold, um dos ganhadores do prêmio de matemática de 2008 O Prêmio Shaw é uma condecoração da Fundação Prêmio Shaw para conquistas nos campos da astronomia, biologia e medicina, e matemática.
Novo!!: Ciência da computação teórica e Prêmio Shaw · Veja mais »
Problema do caminho mais longo
Em teoria dos grafos e ciência da computação teórica, o problema do caminho mais longo é encontrar um caminho simples de comprimento máximo num dado grafo.
Novo!!: Ciência da computação teórica e Problema do caminho mais longo · Veja mais »
Processador Sycamore
Sycamore é um processador quântico criado pelo laboratório Quantum Artificial Intelligence Lab, da empresa Google Inc.
Novo!!: Ciência da computação teórica e Processador Sycamore · Veja mais »
Propriedades de normalização forte e fraca
Na matemática lógica e ciência da computação teórica, um Sistema de Reescrita tem a propriedade de normalização forte ou é terminante (brevemente: a propriedade da normalização ou da terminação) se todos termos são fortemente normalizantes; isto é, se todas as sequências de reescrita eventualmente terminam em um termo irredutível também chamado de forma normal.
Novo!!: Ciência da computação teórica e Propriedades de normalização forte e fraca · Veja mais »
Semiautômato
Em matemática e ciência da computação teórica, um semiautômato é um autômato finito determinístico que tem entradas mas não tem saídas.
Novo!!: Ciência da computação teórica e Semiautômato · Veja mais »
Sheila Greibach
Sheila Adele Greibach (Nova Iorque) é uma matemática estadunidense, que trabalha principalmente com ciência da computação teórica.
Novo!!: Ciência da computação teórica e Sheila Greibach · Veja mais »
Simpósio da Teoria da Computação
STOC, o Simpósio Anual da ACM de Teoria da Computação é uma conferência acadêmica no campo da teoria da ciência da computação.
Novo!!: Ciência da computação teórica e Simpósio da Teoria da Computação · Veja mais »
Sistema de Transição
Na teoria da ciência da computação, um sistema de transição é um conceito utilizado no estudo da computação.
Novo!!: Ciência da computação teórica e Sistema de Transição · Veja mais »
Teorema da aceleração linear
O teorema da aceleração linear ou speedup linear é um teorema da teoria da complexidade, um campo da teoria da computação.
Novo!!: Ciência da computação teórica e Teorema da aceleração linear · Veja mais »
Teorema de Valiant-Vazirani
O Teorema de Valiant–Vazirani é um teorema na teoria da complexidade computacional.
Novo!!: Ciência da computação teórica e Teorema de Valiant-Vazirani · Veja mais »
Teoria combinatória dos jogos
Teoria de jogos combinatórios é um ramo da matemática aplicada e ciência da computação teórica que estuda jogos sequenciais com informação perfeita, ou seja, jogos que têm uma posição em que os jogadores se revezam mudando de formas definidas ou se move para alcançar um condição onde ele é o vencedor.
Novo!!: Ciência da computação teórica e Teoria combinatória dos jogos · Veja mais »
Teoria da complexidade estrutural
Em Complexidade computacional da ciência da computação, a teoria da complexidade estrutural ou simplesmente complexidade estrutural é o estudo de classes de complexidade, ao invés da complexidade computacional de problemas individuais e algoritmos.
Novo!!: Ciência da computação teórica e Teoria da complexidade estrutural · 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 »
Umesh Vazirani
Umesh Virkumar Vazirani é um acadêmico indiano-estuadunidense, Professor Roger A. Strauch de Engenharia Elétrica e Ciência da Computação na Universidade da Califórnia em Berkeley, e diretor do Berkeley Quantum Computation Center.
Novo!!: Ciência da computação teórica e Umesh Vazirani · Veja mais »
Urmila Mahadev
Urmila Mahadev (Los Angeles) é uma matemática e cientista da computação teórica estadunidense, conhecida por seu trabalho em computação quântica e criptografia quântica.
Novo!!: Ciência da computação teórica e Urmila Mahadev · Veja mais »
Yael Tauman Kalai
Yael Tauman Kalai é uma criptografista e cientista da computação teórica que trabalha como Principal Researcher na Microsoft Research e professora adjunta no Instituto de Tecnologia de Massachusetts (MIT) no Computer Science and Artificial Intelligence Lab.
Novo!!: Ciência da computação teórica e Yael Tauman Kalai · Veja mais »
Redireciona aqui:
Teoria da ciência da computação.
