33 relações: Bacharelato, Buffalo, Ciência da computação, Complexidade computacional, Complexidade de prova, Computabilidade, Dennis Ritchie, Doutor em filosofia, Edgar Frank Codd, Informática, Ken Thompson, Lógica, Leonid Levin, Mark Braverman, Matemático, Medalha de Ouro Gerhard Herzberg, Mestrado, NP-completo, Povo dos Estados Unidos, Prêmio CRM-Fields-PIMS, Prêmio Izaak-Walton-Killam, Prêmio John L. Synge, Prêmio Turing, Prêmios Fundação BBVA Fronteiras do Conhecimento, Richard Karp, Teorema de Cook-Levin, Teoria da computação, Toniann Pitassi, Universidade da Califórnia em Berkeley, Universidade de Michigan, Universidade de Toronto, Universidade Harvard, Walter Savitch.
Bacharelato
O é um grau académico com diferentes características conforme a época e o país.
Novo!!: Stephen Cook e Bacharelato · Veja mais »
Buffalo
Buffalo é uma cidade dos Estados Unidos, a segunda mais populosa do estado de Nova Iorque.
Novo!!: Stephen Cook e Buffalo · 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!!: Stephen Cook e Ciência da computação · 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!!: Stephen Cook e Complexidade computacional · Veja mais »
Complexidade de prova
Em ciência da computação, complexidade de prova é a medida da eficiência dos métodos de prova de teoremas automatizados que é baseado no tamanho das provas que produzem.
Novo!!: Stephen Cook e Complexidade de prova · Veja mais »
Computabilidade
Computabilidade é a habilidade de resolver problemas de forma efetiva.
Novo!!: Stephen Cook e Computabilidade · Veja mais »
Dennis Ritchie
Dennis MacAlistair Ritchie (Bronxville, – Berkeley Heights) foi um cientista da computação estadunidense, notável pela sua influência em linguagens de programação como ALTRAN, B, BCPL e C, e em sistemas operacionais como o Multics e o UNIX.
Novo!!: Stephen Cook e Dennis Ritchie · Veja mais »
Doutor em filosofia
Um Doutor, abreviado nos países anglófonos: PhD, Ph.D., DPhil (do latim philosophiae doctor ou doctor philosophiae: "doutor em filosofia"), é um título fornecido pelas universidades reconhecido como grau terminal nos países de língua inglesa.
Novo!!: Stephen Cook e Doutor em filosofia · Veja mais »
Edgar Frank Codd
Edgar Frank Codd (Dorset, — Flórida) foi um matemático britânico.
Novo!!: Stephen Cook e Edgar Frank Codd · Veja mais »
Informática
Informática (do frances: "informatique", do alemã "informatik"; composição: "informação" e "automática") é um termo usado para descrever o conjunto das ciências relacionadas à coleta, armazenamento, transmissão e processamento de informações nos meios digitais, estando incluídas neste grupo: a ciência da computação, os sistemas de informação, a teoria da informação, o processo de cálculo, a análise numérica e, os métodos teóricos da representação dos conhecimentos e da modelagem dos problemas.
Novo!!: Stephen Cook e Informática · Veja mais »
Ken Thompson
Thompson (sentado) e Ritchie trabalhando em um PDP-11 Kenneth Thompson (Nova Orleães, 4 de fevereiro de 1943) é um cientista da computação, conhecido pela sua influência na criação do sistema operacional UNIX, pela invenção da linguagem de programação B, antecessora da linguagem de programação C. Originalmente contratado em 1966 para trabalhar no projeto Multics da Bell Labs, Thompson conheceu Dennis Ritchie e trabalhou junto com Ritchie para criar o sistema operacional UNIX.
Novo!!: Stephen Cook e Ken Thompson · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Stephen Cook e Lógica · Veja mais »
Leonid Levin
Leonid Anatolievich Levin, Леонид Анатольевич Левин; (Dnipropetrovsk, 2 de novembro de 1948) é um informático soviético-estadunidense.
Novo!!: Stephen Cook e Leonid Levin · Veja mais »
Mark Braverman
Mark Braverman é um matemático e cientista da computação israelense.
Novo!!: Stephen Cook e Mark Braverman · Veja mais »
Matemático
Arquimedes foi um dos maiores matemáticos da antiguidade Matemático é alguém que usa um amplo conhecimento de matemática em seu trabalho, normalmente para resolver problemas matemáticos.
Novo!!: Stephen Cook e Matemático · Veja mais »
Medalha de Ouro Gerhard Herzberg
A Medalha de Ouro Gerhard Herzberg (Gerhard Herzberg Canada Gold Medal for Science and Engineering) é um prêmio em pesquisa do Natural Sciences and Engineering Research Council (NSERC) do Canadá.
Novo!!: Stephen Cook e Medalha de Ouro Gerhard Herzberg · Veja mais »
Mestrado
O mestrado é um grau académico atribuído por uma instituição de ensino superior.
Novo!!: Stephen Cook e Mestrado · 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!!: Stephen Cook e NP-completo · Veja mais »
Povo dos Estados Unidos
Americanos ou norte-americanos, também denominados no Brasil por estadunidenses ou estado-unidenses, são os cidadãos nascidos ou naturalizados nos Estados Unidos da América.
Novo!!: Stephen Cook e Povo dos Estados Unidos · Veja mais »
Prêmio CRM-Fields-PIMS
O Prêmio CRM-Fields-PIMS (CRM-Fields-PIMS prize) é concedido anualmente pelo Centre de Recherches Mathématiques (CRM) e pelo Instituto Fields desde 1994.
Novo!!: Stephen Cook e Prêmio CRM-Fields-PIMS · Veja mais »
Prêmio Izaak-Walton-Killam
O Prêmio Izaak-Walton-Killam (Izaak-Walton-Killam Award) foi estabelecido de acordo com o testamento de Dorothy J. Killam em memória de seu marido Izaak Walton Killam.
Novo!!: Stephen Cook e Prêmio Izaak-Walton-Killam · Veja mais »
Prêmio John L. Synge
O Prêmio John L. Synge, instituído em 1986, é uma distinção concedida pela Sociedade Real do Canadá em reconhecimento a pesquisas relevantes em qualquer domínio das ciências matemáticas.
Novo!!: Stephen Cook e Prêmio John L. Synge · Veja mais »
Prêmio Turing
O Prêmio Turing é concedido anualmente pela Association for Computing Machinery (ACM) para uma pessoa selecionada por contribuições à computação.
Novo!!: Stephen Cook e Prêmio Turing · Veja mais »
Prêmios Fundação BBVA Fronteiras do Conhecimento
Os Prêmios Fundação BBVA Fronteiras do Conhecimento (Premios Fundación BBVA Fronteras del Conocimiento) são uma família de condecorações de caráter internacional que reconhecem contribuições significativas nas áreas da investigação científica e da criação cultural.
Novo!!: Stephen Cook e Prêmios Fundação BBVA Fronteiras do Conhecimento · Veja mais »
Richard Karp
Richard Manning Karp (Boston) é um cientista da computação e teórico computacional da Universidade da California, Berkeley, reconhecido pela sua pesquisa sobre teoria dos algoritmos, pelo qual recebeu um Prêmio Turing em 1985, Medalha Benjamin Franklin em Computação e Ciência Cognitiva em 2004, e o Prêmio Kyoto em 2008.
Novo!!: Stephen Cook e Richard Karp · Veja mais »
Teorema de Cook-Levin
Na teoria da complexidade computacional, o teorema de Cook-Levin, também conhecido como teorema de Cook, afirma que o problema de satisfatibilidade booleana é NP-completo.
Novo!!: Stephen Cook e Teorema de Cook-Levin · 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!!: Stephen Cook e Teoria da computação · Veja mais »
Toniann Pitassi
Toniann Pitassi (Pittsburgh) é uma matemática e cientista da computação estadunidense-canadense, especialista em complexidade computacional.
Novo!!: Stephen Cook e Toniann Pitassi · Veja mais »
Universidade da Califórnia em Berkeley
Campus da Universidade da Califórnia, Berkeley (ao fundo, a Sather Tower). A Universidade da Califórnia em Berkeley (University of California, Berkeley; abreviação: UC Berkeley) é uma universidade pública e uma das mais importantes e prestigiadas universidades do mundo.
Novo!!: Stephen Cook e Universidade da Califórnia em Berkeley · Veja mais »
Universidade de Michigan
A Universidade de Michigan ou do Michigan (em inglês: University of Michigan) ou UM é uma universidade coeducacional e pública, localizada na cidade de Ann Arbor, no estado de Michigan, nos Estados Unidos da América.
Novo!!: Stephen Cook e Universidade de Michigan · Veja mais »
Universidade de Toronto
A Universidade de Toronto (em inglês: University of Toronto, comumente abreviado como U of T) é uma universidade pública em Toronto, Ontário, Canadá, situado ao norte do Financial District, nas áreas que circundam o Queen's Park.
Novo!!: Stephen Cook e Universidade de Toronto · Veja mais »
Universidade Harvard
Universidade Harvard (Harvard University) é uma universidade privada situada na cidade de Cambridge, estado de Massachusetts, nos Estados Unidos.
Novo!!: Stephen Cook e Universidade Harvard · Veja mais »
Walter Savitch
Walter John Savitch é comumente conhecido por descobrir a classe de complexidade NL (espaço logarítmico não-determinístico), e pelo Teorema de Savitch que define uma relação entre as classes de complexidade NSPACE e DSPACE.
Novo!!: Stephen Cook e Walter Savitch · Veja mais »