Acesso mais rápido do que o navegador!
152 relações: Adi Shamir, Alan Kay, Alan Perlis, Alan Turing, Alfred Aho, ALGOL, Algoritmo, Allen Newell, Amir Pnueli, Análise de algoritmos, Análise numérica, Análise sintática (computação), Andrew Chi-Chih Yao, APL (linguagem de programação), Aprendizagem profunda, Arquitetura de computadores, Association for Computing Machinery, Banco de dados, Barbara Liskov, Biblioteca (computação), Bletchley Park, Britânicos, Butler Lampson, Charles Antony Richard Hoare, Charles Bachman, Charles Thacker, Ciência da computação, Cliff Shaw, Code Composer Studio, Compatible Time-Sharing System, Compilador, Complexidade computacional, Complexidade de comunicação, Computação, Computação de alto desempenho, Computação gráfica, Criptografia, Criptografia de chave pública, Dana Scott, David A. Patterson, David Wheeler, Dólar dos Estados Unidos, Dennis Ritchie, Donald Knuth, Douglas Engelbart, Edgar Frank Codd, Edmund Clarke, EDSAC, Edsger Dijkstra, Edward Feigenbaum, ..., Edwin Catmull, Engenharia de software, Ernest Allen Emerson, Escalabilidade, Estação de trabalho, Ethernet, Fernando Corbató, Fortran, Frances Allen, Fred Brooks, Geoffrey Hinton, Gerador de números pseudoaleatórios, Google, Hardware, Herbert Simon, Intel, Inteligência artificial, Interligação de redes, Internet, Ivan Sutherland, Jack Dongarra, James Gray, James Hardy Wilkinson, Jeffrey Ullman, John Backus, John Cocke, John Hopcroft, John LeRoy Hennessy, John McCarthy, Joseph Sifakis, Judea Pearl, Juris Hartmanis, Ken Thompson, Kenneth Iverson, Kristen Nygaard, Lógica temporal, Leonard Adleman, Leslie Lamport, Leslie Valiant, Linguagem de programação, Manuel Blum, Martin Hellman, Marvin Minsky, Matemático, Maurice Vincent Wilkes, Máquina de estados finitos não determinística, Michael Rabin, Michael Stonebraker, ML (linguagem de programação), Modula, Multics, Navegador web, Niklaus Wirth, NP-completo, Ole-Johan Dahl, Orientação a objetos, Pascal (linguagem de programação), Pat Hanrahan, Peter Naur, Povo dos Estados Unidos, Prêmio Nobel, Programa de computador, Protocolo (ciência da computação), Raj Reddy, RAND Corporation, Rede de computadores, Richard Hamming, Richard Karp, Richard Stearns, RISC, Robert Floyd, Robert Kahn, Robert Metcalfe, Robert Tarjan, Robin Milner, Ronald Rivest, Segurança de computadores, Shafrira Goldwasser, Silvio Micali, Simula, Simula 67, Sistema de processamento distribuído, Sistema operativo, Sketchpad, Smalltalk, Software, Stephen Cook, TCP/IP, Tempo compartilhado, Teoria da computação, The Art of Computer Programming, Tim Berners-Lee, Universidade Carnegie Mellon, Unix, Verificação de modelos, Vint Cerf, Whitfield Diffie, William Kahan, World Wide Web, Yann LeCun, Yoshua Bengio, 1949. Expandir índice (102 mais) »
Adi Shamir
Adi Shamir (Tel Aviv) é um criptógrafo israelita.
Novo!!: Prêmio Turing e Adi Shamir · Veja mais »
Alan Kay
Alan Curtis Kay (Springfield, 17 de maio de 1940) é um informático estadunidense.
Novo!!: Prêmio Turing e Alan Kay · Veja mais »
Alan Perlis
Alan Jay Perlis (Pittsburgh, — New Haven) foi um cientista da computação estadunidense.
Novo!!: Prêmio Turing e Alan Perlis · Veja 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!!: Prêmio Turing e Alan Turing · Veja mais »
Alfred Aho
Alfred Vaino Aho (Timmins, 9 de agosto de 1941) é um cientista da computação canadense, mais conhecido por seu trabalho em linguagens de programação, compiladores e algoritmos relacionados, e seus livros sobre a arte e a ciência da programação de computadores.
Novo!!: Prêmio Turing e Alfred Aho · Veja mais »
ALGOL
O ALGOL é uma família de linguagens de programação de alto nível voltadas principalmente para aplicações científicas.
Novo!!: Prêmio Turing e ALGOL · 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!!: Prêmio Turing e Algoritmo · Veja mais »
Allen Newell
Allen Newell (São Francisco, — Pittsburgh) foi um pesquisador da ciência da computação e psicólogo cognitivo estadunidense formado na RAND Corporation e na Faculdade de Ciência da Computação, Tepper School of Business, e do Departamento de Psicologia da Universidade Carnegie Mellon.
Novo!!: Prêmio Turing e Allen Newell · Veja mais »
Amir Pnueli
Amir Pnueli (Nahalal, 22 de abril de 1941 — Nova Iorque, 2 de novembro de 2009) foi um informático israelense.
Novo!!: Prêmio Turing e Amir Pnueli · Veja mais »
Análise de algoritmos
Em ciência da computação, a análise de algoritmos tem como função determinar os recursos necessários para executar um dado algoritmo.
Novo!!: Prêmio Turing e Análise de algoritmos · Veja mais »
Análise numérica
''Clay tablet'' Babilônio YBC 7289(c. 1800–1600 BCE) http://www.math.ubc.ca/~cass/Euclid/ybc/ybc.html com anotações. (Imagem por Bill Casselman) A análise numérica é o estudo de algoritmos de aproximação para a solução de problemas matemáticos.
Novo!!: Prêmio Turing e Análise numérica · Veja mais »
Análise sintática (computação)
árvore da expressão Em ciência da computação e linguística, a análise sintática (do inglês: parsing) é um processo de um compilador (de uma linguagem de programação), é a segunda fase da compilação onde se analisa uma sequência que foi dada entrada (via um arquivo de computador ou via teclado, por exemplo) para verificar sua estrutura gramatical segundo uma determinada gramática formal.
Novo!!: Prêmio Turing e Análise sintática (computação) · Veja mais »
Andrew Chi-Chih Yao
Andrew Yao (em chinês: Yao Chi-Chih, 姚期智, Yáo Qīzhì) (Xangai, 24 de dezembro de 1946) é um informático chinês.
Novo!!: Prêmio Turing e Andrew Chi-Chih Yao · Veja mais »
APL (linguagem de programação)
APL é uma linguagem de programação destinada a operações matemáticas.
Novo!!: Prêmio Turing e APL (linguagem de programação) · Veja mais »
Aprendizagem profunda
A aprendizagem profunda, do inglês Deep Learning (também conhecida como aprendizado estruturado profundo, aprendizado hierárquico ou aprendizado de máquina profundo) é um ramo de aprendizado de máquina (''Machine Learning'') baseado em um conjunto de algoritmos que tentam modelar abstrações de alto nível de dados usando um grafo profundo com várias camadas de processamento, compostas de várias transformações lineares e não lineares.
Novo!!: Prêmio Turing e Aprendizagem profunda · Veja mais »
Arquitetura de computadores
A arquitetura de computadores é a forma como os diversos componentes de um computador são organizados, determina aspectos relacionados à qualidade, ao desempenho e à aplicação para a qual o dispositivo vai ser orientado.
Novo!!: Prêmio Turing e Arquitetura de computadores · 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!!: Prêmio Turing e Association for Computing Machinery · 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!!: Prêmio Turing e Banco de dados · Veja mais »
Barbara Liskov
Barbara Liskov, nascida Barbara Jane Huberman (Los Angeles, 7 de novembro de 19392), é uma cientista da computação estadunidense conhecida por criar o Princípio da Substituição de Liskov, por ser a primeira mulher a obter um PhD em Ciência da Computação nos Estados Unidos e por inventar o Tipo Abstrato de Dado (TAD).
Novo!!: Prêmio Turing e Barbara Liskov · Veja mais »
Biblioteca (computação)
Na ciência da computação, biblioteca ou library é uma coleção de subprogramas utilizados no desenvolvimento de software.
Novo!!: Prêmio Turing e Biblioteca (computação) · Veja mais »
Bletchley Park
Bletchley Park, também conhecido como Station X, é uma antiga instalação militar secreta localizada em Bletchley (perto de Milton Keynes, Buckinghamshire, na Inglaterra, a mais ou menos 80 km ao norte de Londres), onde funcionou a Government Code and Cypher School (GC&CS), na qual se realizaram os trabalhos de decifração de códigos alemães durante a Segunda Guerra Mundial, sendo o mais conhecido a decifração da Lorenz e da Enigma.
Novo!!: Prêmio Turing e Bletchley Park · Veja mais »
Britânicos
Britânicos são os cidadãos do Reino Unido, das dependências da Coroa Britânica ou de qualquer um dos territórios britânicos ultramarinos, bem como os seus descendentes.
Novo!!: Prêmio Turing e Britânicos · Veja mais »
Butler Lampson
Butler W. Lampson (Washington, D.C.) é um cientista da computação estadunidense, mais conhecido por suas contribuições para o desenvolvimento e implementação da computação pessoal distribuída.
Novo!!: Prêmio Turing e Butler Lampson · Veja mais »
Charles Antony Richard Hoare
Charles Antony Richard Hoare, também conhecido como Tony Hoare ou C. A. R. Hoare (Colombo), é um cientista da computação britânico.
Novo!!: Prêmio Turing e Charles Antony Richard Hoare · Veja mais »
Charles Bachman
Charles Willian Bachman (Manhattan, 11 de dezembro de 1924 – Lexington, 13 de julho de 2017) foi um informático estadunidense.
Novo!!: Prêmio Turing e Charles Bachman · Veja mais »
Charles Thacker
Charles P. (Chuck) Thacker (Pasadena, 26 de fevereiro de 1943 – Palo Alto, 12 de junho de 2017) foi um engenheiro estadunidense.
Novo!!: Prêmio Turing e Charles Thacker · 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!!: Prêmio Turing e Ciência da computação · Veja mais »
Cliff Shaw
J.C. (Cliff) Shaw foi um programador de sistemas na RAND Corporation.
Novo!!: Prêmio Turing e Cliff Shaw · Veja mais »
Code Composer Studio
Code Composer Studio (CCStudio ou CCS) é um ambiente de desenvolvimento integrado (IDE) para desenvolver aplicativos para processadores embarcados da Texas Instruments (TI).
Novo!!: Prêmio Turing e Code Composer Studio · Veja mais »
Compatible Time-Sharing System
CTSS (Compatible Time-Sharing System, Sistema compatível de divisão por tempo) foi escrito por uma equipa do Centro Computacional do MIT, liderado pelo Prof.
Novo!!: Prêmio Turing e Compatible Time-Sharing System · 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!!: Prêmio Turing e Compilador · 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!!: Prêmio Turing e Complexidade computacional · Veja mais »
Complexidade de comunicação
A noção de complexidade de comunicação foi introduzida por Yao em 1979, que investigou o seguinte problema envolvendo duas partes (Alice e Bob).
Novo!!: Prêmio Turing e Complexidade de comunicação · Veja mais »
Computação
A computação é qualquer atividade orientada a objetivos que exija, se beneficie ou crie máquinas de computação.
Novo!!: Prêmio Turing e Computação · Veja mais »
Computação de alto desempenho
Computação de alto desempenho ou HPC (do High-performance computing), em ciência da computação, se refere às tecnologias utilizadas por computadores em cluster para criar sistemas de processamento capazes de fornecer um desempenho muito alto, alcançando petaflops, normalmente usando computação paralela.
Novo!!: Prêmio Turing e Computação de alto desempenho · 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!!: Prêmio Turing e Computação gráfica · 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!!: Prêmio Turing 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!!: Prêmio Turing e Criptografia de chave pública · Veja mais »
Dana Scott
Dana Stewart Scott (Berkeley) é um matemático, lógico, informático e filósofo estadunidense.
Novo!!: Prêmio Turing e Dana Scott · Veja mais »
David A. Patterson
David A. Patterson (Evergreen Park) é um informático estadunidense.
Novo!!: Prêmio Turing e David A. Patterson · Veja mais »
David Wheeler
David John Wheeler FRS (Birmingham, — Cambridge) foi um pioneiro da computação britânico.
Novo!!: Prêmio Turing e David Wheeler · Veja mais »
Dólar dos Estados Unidos
O dólar dos Estados Unidos (United States dollar), também conhecido como dólar estadunidense ou dólar americano é a moeda oficial dos Estados Unidos e utilizada no mundo inteiro, tanto em reservas internacionais, como em livre circulação em alguns países.
Novo!!: Prêmio Turing e Dólar dos Estados Unidos · 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!!: Prêmio Turing e Dennis Ritchie · Veja mais »
Donald Knuth
Donald Ervin Knuth (Milwaukee) é um cientista computacional de renome e professor emérito da Universidade de Stanford.
Novo!!: Prêmio Turing e Donald Knuth · Veja mais »
Douglas Engelbart
Douglas C. Engelbart (Portland, – Atherton) foi um informático estadunidense.
Novo!!: Prêmio Turing e Douglas Engelbart · Veja mais »
Edgar Frank Codd
Edgar Frank Codd (Dorset, — Flórida) foi um matemático britânico.
Novo!!: Prêmio Turing e Edgar Frank Codd · Veja mais »
Edmund Clarke
Edmund Melson Clarke, Jr. (Newport News, – 22 de dezembro de 2020) foi um cientista da computação estadunidense.
Novo!!: Prêmio Turing e Edmund Clarke · Veja mais »
EDSAC
O '''Electronic Delay Storage Automatic Calculator''' em 1948. EDSAC (Electronic Delay Storage Automatic Calculator) foi um dos primeiros computadores fabricados no Reino Unido em 1949.
Novo!!: Prêmio Turing e EDSAC · Veja mais »
Edsger Dijkstra
Edsger Wybe Dijkstra (Roterdã, — Nuenen) foi um cientista da computação holandês, conhecido por suas contribuições nas áreas de desenvolvimento de algoritmos e programas, de linguagens de programação (pelo qual recebeu o Prêmio Turing de 1972 por suas contribuições fundamentais), sistemas operacionais e processamento distribuído.
Novo!!: Prêmio Turing e Edsger Dijkstra · Veja mais »
Edward Feigenbaum
Edward Albert Feigenbaum (Weehawken) é um informático estadunidense.
Novo!!: Prêmio Turing e Edward Feigenbaum · Veja mais »
Edwin Catmull
Edwin Catmull (Parkersburg) é um cientista da computação gráfica estadunidense e presidente da Pixar e Walt Disney Animation Studios.
Novo!!: Prêmio Turing e Edwin Catmull · Veja mais »
Engenharia de software
acessodata.
Novo!!: Prêmio Turing e Engenharia de software · Veja mais »
Ernest Allen Emerson
Ernest Allen Emerson (Dallas, 2 de junho de 1954) é um informático estadunidense.
Novo!!: Prêmio Turing e Ernest Allen Emerson · Veja mais »
Escalabilidade
Em telecomunicações, infraestrutura de tecnologia da informação e na engenharia de software, escalabilidade é uma característica desejável em todo o sistema, rede ou processo, que indica a capacidade de manipular uma porção crescente de trabalho de forma uniforme, ou estar preparado para crescer.
Novo!!: Prêmio Turing e Escalabilidade · Veja mais »
Estação de trabalho
Estação de trabalho (do inglês Workstation) era o nome genérico dado a computadores situados, em termos de potência de cálculo, entre o computador pessoal e o computador de grande porte, ou mainframe.
Novo!!: Prêmio Turing e Estação de trabalho · Veja mais »
Ethernet
Ethernet é uma família de tecnologias de rede de computadores com fio comumente usadas em redes de área local (LAN), redes de área metropolitana (MAN) e redes de longa distância (WAN).
Novo!!: Prêmio Turing e Ethernet · Veja mais »
Fernando Corbató
Fernando José Corbató (Oakland, - Long Beach) foi um informático estadunidense.
Novo!!: Prêmio Turing e Fernando Corbató · Veja mais »
Fortran
A família de linguagens de programação conhecida como Fortran foi desenvolvida a partir da década de 1950 e continua a ser usada hoje em dia.
Novo!!: Prêmio Turing e Fortran · Veja mais »
Frances Allen
Frances Elizabeth "Fran" Allen (Nova Iorque, – Schenectady) foi uma informática estadunidense e pioneira no campo de otimização de compiladores.
Novo!!: Prêmio Turing e Frances Allen · Veja mais »
Fred Brooks
Frederick Phillips Brooks, Jr. (Durham, - 17 de novembro de 2022) foi um engenheiro de software e informático estadunidense.
Novo!!: Prêmio Turing e Fred Brooks · Veja mais »
Geoffrey Hinton
Geoffrey Everest Hinton (Wimbledon, Londres) é um psicólogo cognitivo e cientista da computação anglo-canadense, conhecido por seu trabalho sobre redes neurais artificiais.
Novo!!: Prêmio Turing e Geoffrey Hinton · Veja mais »
Gerador de números pseudoaleatórios
Um gerador de número pseudo-aleatório (do inglês, PRNG, Pseudo-random Number Generator) é um algoritmo normalmente derivado de uma função matemática que gera uma seqüência de números, os quais são aproximadamente independentes um dos outros.
Novo!!: Prêmio Turing e Gerador de números pseudoaleatórios · Veja mais »
Google LLC é uma empresa multinacional de softwares e serviços online (baseado na nuvem) fundada em 1998 na cidade norte-americana de Menlo Park (estado da Califórnia), que lucra principalmente através da publicidade pelo AdWords.
Novo!!: Prêmio Turing e Google · Veja mais »
Hardware
Equipamentos de computadores. O hardware (pronúncia: 'rarduér') é um termo técnico (e anglicismo de engenharia eletrônica) que foi traduzido para a língua portuguesa como equipamento, e pode ser definido como um termo geral da língua inglesa, que se refere à parte física de computadores e outros sistemas microeletrônicos.
Novo!!: Prêmio Turing e Hardware · Veja mais »
Herbert Simon
Herbert Alexander Simon (Milwaukee, — Pittsburgh) foi um economista alemão, com cidadania estadunidense.
Novo!!: Prêmio Turing e Herbert Simon · Veja mais »
Intel
Intel Corporation (estilizada como Intel, acrônimo de Integrated Electronics) é uma empresa multinacional e de tecnologia sediada em Santa Clara, Califórnia, no Vale do Silício.
Novo!!: Prêmio Turing e Intel · Veja mais »
Inteligência artificial
Inteligência artificial (de sigla: IA; do inglês: artificial intelligence, de sigla: AI) é um campo de estudo multidisciplinar que abrange varias áreas do conhecimento.
Novo!!: Prêmio Turing e Inteligência artificial · Veja mais »
Interligação de redes
Interligação de redes (internetworking) é uma referência aos príncipios arquitecturais, protocolos e serviços de uma internet que tem como objectivo interligar múltiplas redes físicas de modo a formar um sistema coordenado e homogéneo.
Novo!!: Prêmio Turing e Interligação de redes · 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!!: Prêmio Turing e Internet · Veja mais »
Ivan Sutherland
Ivan Edward Sutherland (Hastings) é um informático estadunidense.
Novo!!: Prêmio Turing e Ivan Sutherland · Veja mais »
Jack Dongarra
Jack J. Dongarra (Chicago) é um cientista da computação estadunidense, University Distinguished Professor of Computer Science do Electrical Engineering and Computer Science Department da Universidade do Tennessee.
Novo!!: Prêmio Turing e Jack Dongarra · Veja mais »
James Gray
James Nicholas "Jim" Gray (São Francisco, — desaparecido no Oceano Pacífico) foi um informático estadunidense.
Novo!!: Prêmio Turing e James Gray · Veja mais »
James Hardy Wilkinson
James Hardy Wilkinson (Strood, — Londres) foi um matemático inglês.
Novo!!: Prêmio Turing e James Hardy Wilkinson · Veja mais »
Jeffrey Ullman
Jeffrey David Ullman é um cientista da computação estadunidense.
Novo!!: Prêmio Turing e Jeffrey Ullman · Veja mais »
John Backus
John Warner Backus (Filadélfia, — Ashland) foi um cientista da computação estadunidense.
Novo!!: Prêmio Turing e John Backus · Veja mais »
John Cocke
John Cocke (Charlotte, — Condado de Westchester) foi um informático estadunidense.
Novo!!: Prêmio Turing e John Cocke · Veja mais »
John Hopcroft
John Edward Hopcroft (Seattle) é um professor de ciência da computação estadunidense.
Novo!!: Prêmio Turing e John Hopcroft · Veja mais »
John LeRoy Hennessy
John LeRoy Hennessy (Huntington (Nova Iorque)) é um cientista da computação e professor universitário estadunidense.
Novo!!: Prêmio Turing e John LeRoy Hennessy · Veja mais »
John McCarthy
John McCarthy (Boston, — Stanford, Califórnia) foi um cientista da computação estadunidense.
Novo!!: Prêmio Turing e John McCarthy · Veja mais »
Joseph Sifakis
Joseph Sifakis (Ιωσήφ Σηφάκης; Heraclião) é um informático Foi laureado com o Prêmio Turing de 2007.
Novo!!: Prêmio Turing e Joseph Sifakis · Veja mais »
Judea Pearl
Judea Pearl (Tel Aviv) é um cientista da computação e filósofo israelense-estadunidense.
Novo!!: Prêmio Turing e Judea Pearl · Veja mais »
Juris Hartmanis
Juris Hartmanis (Riga, 5 de julho de 1928 - 29 de julho de 2022) foi um informático estadunidense.
Novo!!: Prêmio Turing e Juris Hartmanis · 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!!: Prêmio Turing e Ken Thompson · Veja mais »
Kenneth Iverson
Kenneth Eugene Iverson (Camrose, Alberta, — Toronto) foi um matemático canadense.
Novo!!: Prêmio Turing e Kenneth Iverson · Veja mais »
Kristen Nygaard
Kristen Nygaard (Oslo, — Oslo) foi um matemático e um pioneiro em linguagens de programação norueguês.
Novo!!: Prêmio Turing e Kristen Nygaard · Veja mais »
Lógica temporal
Em lógica, lógica temporal é qualquer sistema de regras e símbolos para representar e dissertar sobre proposições qualificadas em termos de tempo.
Novo!!: Prêmio Turing e Lógica temporal · Veja mais »
Leonard Adleman
Leonard Max Adleman (São Francisco) é um informático e biólogo molecular estadunidense.
Novo!!: Prêmio Turing e Leonard Adleman · Veja mais »
Leslie Lamport
Leslie B. Lamport é um cientista da computação estadunidense.
Novo!!: Prêmio Turing e Leslie Lamport · Veja mais »
Leslie Valiant
Leslie Gabriel Valiant (28 de março de 1949) é um informático britânico.
Novo!!: Prêmio Turing e Leslie Valiant · 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!!: Prêmio Turing e Linguagem de programação · Veja mais »
Manuel Blum
Manuel Blum (Caracas, 26 de abril de 1938) é um informático venezuelano.
Novo!!: Prêmio Turing e Manuel Blum · Veja mais »
Martin Hellman
Martin Edward Hellman (Nova Iorque, 2 de outubro de 1945) é um criptógrafo estadunidense.
Novo!!: Prêmio Turing e Martin Hellman · Veja mais »
Marvin Minsky
Marvin Lee Minsky (Nova Iorque, – Boston) foi um cientista cognitivo norte-americano.
Novo!!: Prêmio Turing e Marvin Minsky · 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!!: Prêmio Turing e Matemático · Veja mais »
Maurice Vincent Wilkes
Maurice Vincent Wilkes (Dudley, — Cambridge) foi um cientista da computação inglês.
Novo!!: Prêmio Turing e Maurice Vincent Wilkes · 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!!: Prêmio Turing e Máquina de estados finitos não determinística · Veja mais »
Michael Rabin
Michael Oser Rabin (Wrocław) é um informático israelita.
Novo!!: Prêmio Turing e Michael Rabin · Veja mais »
Michael Stonebraker
Michael Stonebraker (Milton) é um informático estadunidense.
Novo!!: Prêmio Turing e Michael Stonebraker · Veja mais »
ML (linguagem de programação)
ML é uma linguagem de programação funcional de proposta geral desenvolvida por Robin Milner e outros no final dos anos 1970 na Universidade de Edimburgo, cuja sintaxe foi inspirada pelo ISWIM.
Novo!!: Prêmio Turing e ML (linguagem de programação) · Veja mais »
Modula
Modula é uma linguagem de programação projetada e descrita por Niklaus Wirth, descontinuada.
Novo!!: Prêmio Turing e Modula · Veja mais »
Multics
O Multics (Multiplexed Information and Computing Service) foi o primeiro sistema operacional de tempo compartilhado (CTSS - Compatible Time-Sharing System).
Novo!!: Prêmio Turing e Multics · Veja mais »
Navegador web
Um navegador de rede, navegador web, navegador da internet ou simplesmente navegador (Web browser, browser), é um programa que habilita seus usuários a interagirem com documentos HTML hospedados em um servidor da rede.
Novo!!: Prêmio Turing e Navegador web · Veja mais »
Niklaus Wirth
Niklaus Emil Wirth (Winterthur) é um professor e cientista da computação suíço.
Novo!!: Prêmio Turing e Niklaus Wirth · 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!!: Prêmio Turing e NP-completo · Veja mais »
Ole-Johan Dahl
Ole-Johan Dahl (Mandal, 12 de outubro de 1931 — Oslo, 29 de junho de 2002) foi um informático norueguês.
Novo!!: Prêmio Turing e Ole-Johan Dahl · Veja mais »
Orientação a objetos
Programação Orientada a Objeto (também conhecida pela sua sigla POO) ou Modelagem Orientada ao Objeto, é um modelo/paradigma de projeto e programação de software baseado na abstração digital do mundo real, através da composição e interação entre diversas unidades chamadas de 'objetos' e as classes (representando objetos reais contendo identidade, propriedades e, métodos); baseado em quatro principais componentes da programação: abstração digital, encapsulamento, herança e, polimorfismo.
Novo!!: Prêmio Turing e Orientação a objetos · Veja mais »
Pascal (linguagem de programação)
Pascal, é uma linguagem de programação orientada por objetos, que recebeu este nome em homenagem ao matemático e físico Blaise Pascal.
Novo!!: Prêmio Turing e Pascal (linguagem de programação) · Veja mais »
Pat Hanrahan
Patrick M. Hanrahan é um cientista de computação gráfica, professor de ciência da computação e engenharia elétrica na Universidade Stanford, Califórnia.
Novo!!: Prêmio Turing e Pat Hanrahan · Veja mais »
Peter Naur
Peter Naur (Frederiksberg, — Herlev) foi um informático dinamarquês.
Novo!!: Prêmio Turing e Peter Naur · 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!!: Prêmio Turing e Povo dos Estados Unidos · Veja mais »
Prêmio Nobel
(Nobelpriset; Nobelprisen) é um conjunto de seis prêmios internacionais anuais concedidos em várias categorias por instituições suecas e norueguesas, para reconhecer pessoas ou instituições que realizaram pesquisas, descobertas ou contribuições notáveis para a humanidade no ano imediatamente anterior ou no curso de suas atividades.
Novo!!: Prêmio Turing e Prêmio Nobel · Veja mais »
Programa de computador
Um programa de computador ou programa informático é um conjunto de instruções que descrevem uma tarefa a ser realizada por um computador.
Novo!!: Prêmio Turing e Programa de computador · Veja mais »
Protocolo (ciência da computação)
Na ciência da computação, um protocolo é um padrão (conjunto de regras convencionadas) que controla e possibilita a conexão, comunicação e, transferência de dados entre dois sistemas computacionais; ou seja, em uma rede de computadores o protocolo é o responsável pela comunicação entre os computadores (a linguagem padrão de comunicação) e também responsável pela troca de dados entre eles, independente da localização e independente do sistema operacional/plataforma utilizada nesses equipamentos.
Novo!!: Prêmio Turing e Protocolo (ciência da computação) · Veja mais »
Raj Reddy
Dabbala Rajagopal Raj Reddy (13 de junho de 1937) é um informático indiano naturalizado estadunidense.
Novo!!: Prêmio Turing e Raj Reddy · Veja mais »
RAND Corporation
A RAND Corporation ("pesquisa e desenvolvimento") é um think tank norte-americana de política global sem fins lucrativos criado em 1948 pela Douglas Aircraft Company para oferecer pesquisa e análise às Forças Armadas dos Estados Unidos.
Novo!!: Prêmio Turing e RAND Corporation · Veja mais »
Rede de computadores
Rede de computadores ou redes de dados, na informática e na telecomunicação é um conjunto de dois ou mais dispositivos eletrônicos de computação (ou módulos processadores ou nós da rede) interligados por um sistema de comunicação digital (ou link de dados), guiados por um conjunto de regras (protocolo de rede) para compartilhar entre si informação, serviços e, recursos físicos e lógicos.
Novo!!: Prêmio Turing e Rede de computadores · Veja mais »
Richard Hamming
Richard Wesley Hamming (Chicago, 11 de fevereiro de 1915 — Monterey, 7 de janeiro de 1998) foi um matemático estadunidense.
Novo!!: Prêmio Turing e Richard Hamming · 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!!: Prêmio Turing e Richard Karp · Veja mais »
Richard Stearns
Richard Edwin Stearns (Caldwell 5 de julho de 1936) é um informático estadunidense.
Novo!!: Prêmio Turing e Richard Stearns · Veja mais »
RISC
RISC (acrônimo de Reduced Instruction Set Computer; em português, "Computador com um conjunto reduzido de instruções") é uma linha de arquitetura de processadores que favorece um conjunto simples e pequeno de instruções que levam aproximadamente a mesma quantidade de tempo para serem executadas.
Novo!!: Prêmio Turing e RISC · Veja mais »
Robert Floyd
Robert W Floyd (Nova Iorque, — Stanford) foi um informático estadunidense.
Novo!!: Prêmio Turing e Robert Floyd · Veja mais »
Robert Kahn
Robert Elliot Kahn (Nova Iorque) é um informático estadunidense.
Novo!!: Prêmio Turing e Robert Kahn · Veja mais »
Robert Metcalfe
Robert Melancton Metcalfe (Nova York) é um engenheiro e empresário estadunidense que contribuiu para o desenvolvimento da Internet em 1970.
Novo!!: Prêmio Turing e Robert Metcalfe · Veja mais »
Robert Tarjan
Robert Endre Tarjan (Pomona, 30 de abril de 1948) é um informático estadunidense.
Novo!!: Prêmio Turing e Robert Tarjan · Veja mais »
Robin Milner
Arthur John Robin Gorell Milner (Plymouth) é um informático britânico.
Novo!!: Prêmio Turing e Robin Milner · Veja mais »
Ronald Rivest
Ronald Linn Rivest (Schenectady) é um matemático e criptologista estadunidense.
Novo!!: Prêmio Turing e Ronald Rivest · Veja mais »
Segurança de computadores
Segurança de computadores ou cibersegurança é a proteção de sistemas de computador contra roubo ou danos ao hardware, software ou dados eletrônicos, bem como a interrupção ou desorientação dos serviços que fornecem.
Novo!!: Prêmio Turing e Segurança de computadores · Veja mais »
Shafrira Goldwasser
Shafrira Goldwasser ou Shafi Goldwasser (שפרירה גולדווסר; Nova Iorque) é uma cientista da computação israelense-estadunidense, ganhadora do prêmio Turing em 2012.
Novo!!: Prêmio Turing e Shafrira Goldwasser · Veja mais »
Silvio Micali
Silvio Micali (Palermo, 13 de outubro de 1954) é um cientista da computação italiano naturalizado estadunidense.
Novo!!: Prêmio Turing e Silvio Micali · Veja mais »
Simula
Simula é uma família de linguagens de programação, projetadas para apoiar a simulação de eventos discretos, criada entre 1962 e 1968 por Kristen Nygaard e Ole-Johan Dahl no Centro Norueguês de Computação em Oslo.
Novo!!: Prêmio Turing e Simula · Veja mais »
Simula 67
Simula 67 é uma linguagem de programação, extensão da ALGOL 60, projetada para apoiar a Simulação de Eventos Discretos, criadas entre 1962 e 1968 por Kristen Nygaard e Ole-Johan Dahl no Centro Norueguês de Computação em Oslo.
Novo!!: Prêmio Turing e Simula 67 · 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!!: Prêmio Turing e Sistema de processamento distribuído · Veja mais »
Sistema operativo
é um programa ou um conjunto de programas cuja função é gerenciar os recursos do sistema (definir qual programa recebe atenção do processador, gerenciar memória, criar um sistema de arquivos, etc.), fornecendo uma interface entre o computador e o. Embora possa ser executado imediatamente após a máquina ser ligada, a maioria dos computadores pessoais de hoje o executa através de outro programa armazenado em uma memória não-volátil ROM chamado BIOS num processo chamado "bootstrapping", conceito em inglês usado para designar processos autossustentáveis, ou seja, capazes de prosseguirem sem ajuda externa.
Novo!!: Prêmio Turing e Sistema operativo · Veja mais »
Sketchpad
Sketchpad foi um editor gráfico desenvolvido por Ivan Sutherland, no MIT, em 1963, durante o seu curso de doutorado (PhD).
Novo!!: Prêmio Turing e Sketchpad · Veja mais »
Smalltalk
Smalltalk-80, ou simplesmente Smalltalk, é uma linguagem de programação orientada a objeto dinamicamente tipada.
Novo!!: Prêmio Turing e Smalltalk · 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!!: Prêmio Turing 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!!: Prêmio Turing e Stephen Cook · Veja mais »
TCP/IP
O TCP/IP (também chamado de pilha de protocolos TCP/IP) é um conjunto de protocolos de comunicação entre computadores em rede.
Novo!!: Prêmio Turing e TCP/IP · Veja mais »
Tempo compartilhado
1.
Novo!!: Prêmio Turing e Tempo compartilhado · 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!!: Prêmio Turing e Teoria da computação · Veja mais »
The Art of Computer Programming
The Art of Computer Programming (A Arte da Programação de Computador, em tradução livre) é uma série de livros escritos por Donald E. Knuth que aborda a construção de algoritmos.
Novo!!: Prêmio Turing e The Art of Computer Programming · Veja mais »
Tim Berners-Lee
Timothy John Berners-Lee KBE, OM, FRS (TimBL ou TBL) (Londres) é um físico britânico, cientista da computação e professor do MIT.
Novo!!: Prêmio Turing e Tim Berners-Lee · Veja mais »
Universidade Carnegie Mellon
A Universidade Carnegie Mellon (Carnegie Mellon University) é uma instituição privada de ensino e pesquisa, localizada na cidade de Pittsburgh, no estado da Pensilvânia nos Estados Unidos.
Novo!!: Prêmio Turing e Universidade Carnegie Mellon · Veja mais »
Unix
Unix é um sistema operativo portável, multitarefa e multiutilizador originalmente criado por Ken Thompson, Dennis Ritchie, entre outros, que trabalhavam nos Laboratórios Bell da AT&T.
Novo!!: Prêmio Turing e Unix · Veja mais »
Verificação de modelos
No campo da ciência da computação, verificação de modelos (do inglês, Model Checking) refere-se ao problema de testar automaticamente se um modelo que representa um sistema atende a uma dada especificação.
Novo!!: Prêmio Turing e Verificação de modelos · Veja mais »
Vint Cerf
Vint Cerf redução de Vinton Gray Cerf (New Haven) é um matemático e informático estadunidense.
Novo!!: Prêmio Turing e Vint Cerf · Veja mais »
Whitfield Diffie
Bailey Whitfield 'Whit' Diffie (Washington, D.C., 5 de junho de 1944) é um matemático e criptógrafo estadunidense.
Novo!!: Prêmio Turing e Whitfield Diffie · Veja mais »
William Kahan
William Velvel Kahan (Toronto) é um matemático e informático canadense.
Novo!!: Prêmio Turing e William Kahan · Veja mais »
World Wide Web
O logo histórico da WWW, feito por Robert Cailliau A World Wide Web (tradução em português: Rede Mundial de Computadores; WWW, A Web) designa um sistema de documentos em hipermídia (ou hipermédia) que são interligados e executados na Internet.
Novo!!: Prêmio Turing e World Wide Web · Veja mais »
Yann LeCun
Yann LeCun é um cientista da computação francês, que trabalha principalmente nas áreas de aprendizado de máquina, visão computacional, robótica móvel e neurociência computacional.
Novo!!: Prêmio Turing e Yann LeCun · Veja mais »
Yoshua Bengio
Yoshua Bengio (Paris) é um cientista da computação canadense, conhecido por seu trabalho sobre redes neurais artificiais e aprendizagem profunda.
Novo!!: Prêmio Turing e Yoshua Bengio · Veja mais »
1949
República Popular da China.
Novo!!: Prêmio Turing e 1949 · Veja mais »
Redireciona aqui:
Prémio Turing, Turing Award, Turing award.
