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

Charles Antony Richard Hoare

Índice 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.

49 relações: Algoritmo, Algoritmo de ordenação, Association for Computing Machinery, Bacharelato, Belfast, Britânicos, Cambridge, Ciência da computação, Colombo, Communications of the ACM, CSP, CSP (matemática), Edgar Frank Codd, Edsger Dijkstra, Escola Politécnica Federal de Lausana, Estatística, Fellow, Inglaterra, Irlanda do Norte, Kenneth Iverson, Lógica de Hoare, Linguagem de programação, Medalha Faraday, Medalha John von Neumann IEEE, Merton College (Oxford), Microsoft, Microsoft Research, Nashville, Occam (linguagem de programação), Ole-Johan Dahl, Oxford, Prêmio Friedrich L. Bauer, Prêmio Kyoto, Prêmio Memorial Harry H. Goode, Prêmio Pioneiro da Computação, Prêmio Turing, Professor emérito, Queen's University, Queen's University de Belfast, Quicksort, Rússia, Reino Unido, Royal Academy of Engineering, Royal Society, Sri Lanka, Tennessee, The Times, Universidade de Oxford, Universidade Estatal de Moscovo.

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!!: Charles Antony Richard Hoare e Algoritmo · Veja mais »

Algoritmo de ordenação

Algoritmo de ordenação em ciência da computação é um algoritmo, de manipulação de dados, que coloca os elementos de uma dada sequência em uma certa ordem -- em outras palavras, efetua sua ordenação completa ou parcial.

Novo!!: Charles Antony Richard Hoare e Algoritmo de ordenação · 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!!: Charles Antony Richard Hoare e Association for Computing Machinery · Veja mais »

Bacharelato

O é um grau académico com diferentes características conforme a época e o país.

Novo!!: Charles Antony Richard Hoare e Bacharelato · Veja mais »

Belfast

Belfast, Belfástia ou Belfaste (em irlandês Béal Feirste) é a capital da Irlanda do Norte e da província do Ulster, sendo a segunda maior cidade na ilha da Irlanda.

Novo!!: Charles Antony Richard Hoare e Belfast · 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!!: Charles Antony Richard Hoare e Britânicos · Veja mais »

Cambridge

Cambridge (aportuguesado para Cantabrígia. ou Cambrígia) é uma antiga cidade universitária no Reino Unido, sede do condado de Cambridgeshire, na região leste do país.

Novo!!: Charles Antony Richard Hoare e Cambridge · 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!!: Charles Antony Richard Hoare e Ciência da computação · Veja mais »

Colombo

Colombo ou Columbo (Koḷam̆ba,; Koḻumpu) é a maior cidade do Sri Lanka e o principal centro financeiro, empresarial, econômico e cultural do país. É uma cidade histórica e portuária, que está localizada na costa oeste da ilha, ao lado de Sri Jaiavardenapura-Cota, atual capital do Sri Lanka. Colombo é também a capital administrativa do e da Província Ocidental. É muitas vezes referida como a capital, pois Sri Jaiavardenapura-Cota é uma cidade da. Colombo é um lugar movimentado, com uma mistura de vida moderna, edifícios coloniais e ruínas. Com uma população de habitantes em 2011, e em sua região metropolitana, foi a capital do Sri Lanka antes de Sri Jaiavardenapura-Cota. Um importante porto do oceano Índico, Colombo foi uma possessão portuguesa entre 1518 e 1524 e entre 1554 e 1656. Os portugueses estabeleceram um forte na cidade para a defenderem de invasores, conforme havia sido firmado com o rei Parakramabahu VIII. Após os portugueses, passou a ser dominada pelos holandeses, que intensificaram algumas políticas coloniais na cidade. A partir do fim do, passou a ser um domínio britânico, que influenciou grandemente na arquitetura da cidade, até o país obter independência deste de forma pacífica, em 1947. É capital conjunta com a cidade de Sri Jaiavardenapura-Cota, ou seja, o Sri Lanka tem os podeers poder executivo e judiciário em Colombo, mas o poder legislativo (Parlamento do Sri Lanka) do país está em Sri Jaiavardenapura-Cota, a segunda maior cidade do país. Está situada na costa sudoeste do país, e, durante seiscentos anos foi uma das capitais. Em 1977 parte das funções de cidade capital foram transferidas para a próxima Sri Jaiavardenapura-Cota, mas Colombo continua a ser o centro económico do estado.

Novo!!: Charles Antony Richard Hoare e Colombo · Veja mais »

Communications of the ACM

Communications of the ACM é a revista mensal carro-chefe da Association for Computing Machinery (ACM).

Novo!!: Charles Antony Richard Hoare e Communications of the ACM · Veja mais »

CSP

Você pode estar procurando por.

Novo!!: Charles Antony Richard Hoare e CSP · Veja mais »

CSP (matemática)

A notação CSP foi proposta por C.A.R. Hoare.

Novo!!: Charles Antony Richard Hoare e CSP (matemática) · Veja mais »

Edgar Frank Codd

Edgar Frank Codd (Dorset, — Flórida) foi um matemático britânico.

Novo!!: Charles Antony Richard Hoare e Edgar Frank Codd · 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!!: Charles Antony Richard Hoare e Edsger Dijkstra · Veja mais »

Escola Politécnica Federal de Lausana

A École polytechnique fédérale de Lausanne (Em português: Escola Politécnica Federal de Lausana; Em inglês: Swiss Federal Institute of Technology in Lausanne) é uma prestigiada universidade pública de Lausanne, na Suíça.

Novo!!: Charles Antony Richard Hoare e Escola Politécnica Federal de Lausana · Veja mais »

Estatística

Um exemplo de gráfico. Estatística é a ciência que utiliza as teorias probabilísticas para explicar a frequência da ocorrência de eventos, tanto em estudos observacionais quanto em experimentos para modelar a aleatoriedade e a incerteza de forma a estimar ou possibilitar a previsão de fenômenos futuros, conforme o caso.

Novo!!: Charles Antony Richard Hoare e Estatística · Veja mais »

Fellow

Em países de língua inglesa, um fellow é um membro de um grupo de professores de alto nível de uma faculdade ou universidade (academia) ou de sociedades acadêmicas em particular (sociedade científica).

Novo!!: Charles Antony Richard Hoare e Fellow · Veja mais »

Inglaterra

Inglaterra (England) é uma das nações constituintes do Reino Unido.

Novo!!: Charles Antony Richard Hoare e Inglaterra · Veja mais »

Irlanda do Norte

Irlanda do Norte (Northern Ireland; em irlandês: Tuaisceart Éireann; em scots de Ulster: Norlin Airlann) é uma nação constituinte do Reino Unido, a única não situada na Grã-Bretanha.

Novo!!: Charles Antony Richard Hoare e Irlanda do Norte · Veja mais »

Kenneth Iverson

Kenneth Eugene Iverson (Camrose, Alberta, — Toronto) foi um matemático canadense.

Novo!!: Charles Antony Richard Hoare e Kenneth Iverson · Veja mais »

Lógica de Hoare

Lógica de Hoare (também conhecida como lógica de Floyd–Hoare ou regras de Hoare) é um sistema formal com um conjunto de regras lógicas para um raciocínio rigoroso sobre a corretude na computação.

Novo!!: Charles Antony Richard Hoare e Lógica de Hoare · 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!!: Charles Antony Richard Hoare e Linguagem de programação · Veja mais »

Medalha Faraday

A Medalha Faraday da Institution of Electrical Engineers (IEE) é um prêmio anual para notáveis avanços científicos ou industriais na área técnica ou pela promoção da ciência e tecnologia.

Novo!!: Charles Antony Richard Hoare e Medalha Faraday · Veja mais »

Medalha John von Neumann IEEE

A Medalha John von Neumann IEEE IEEE John von Neumann Medal foi estabelecida pela direção do Instituto de Engenheiros Eletricistas e Eletrônicos em 1990.

Novo!!: Charles Antony Richard Hoare e Medalha John von Neumann IEEE · Veja mais »

Merton College (Oxford)

Vista de um pátio de Merton College Merton College é uma das faculdades constituintes da Universidade de Oxford, no Reino Unido.

Novo!!: Charles Antony Richard Hoare e Merton College (Oxford) · Veja mais »

Microsoft

Microsoft Corporation é uma empresa transnacional dos Estados Unidos com sede em Redmond, Washington, que desenvolve, fabrica, licencia, apoia e vende softwares de computador, produtos eletrônicos, computadores e serviços pessoais.

Novo!!: Charles Antony Richard Hoare e Microsoft · Veja mais »

Microsoft Research

Microsoft Research é a subsidiária de pesquisas da Microsoft.

Novo!!: Charles Antony Richard Hoare e Microsoft Research · Veja mais »

Nashville

Nashville é a capital e também a cidade mais populosa do estado norte-americano do Tennessee.

Novo!!: Charles Antony Richard Hoare e Nashville · Veja mais »

Occam (linguagem de programação)

occam (de William de Ockham, da Navalha de Occam) é uma linguagem de programação utilizada em computação paralela que constrói uma seqüência de processos seqüenciais de comunicação (CSPs) que compartilham muitas de suas características INMOS document 72 occ 45 03.

Novo!!: Charles Antony Richard Hoare e Occam (linguagem de programação) · 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!!: Charles Antony Richard Hoare e Ole-Johan Dahl · Veja mais »

Oxford

Oxford (do inglês "vau de bois"), em português chamada ou Oxforde, é uma cidade e distrito de governo local do condado de Oxfordshire, Inglaterra, Reino Unido, com uma população de 134 248 habitantes (censo de 2001).

Novo!!: Charles Antony Richard Hoare e Oxford · Veja mais »

Prêmio Friedrich L. Bauer

O Prêmio Friedrich L. Bauer (Friedrich L. Bauer-Preis) da Universidade Técnica de Munique, é um prêmio de informática concedido em memória de Friedrich Ludwig Bauer.

Novo!!: Charles Antony Richard Hoare e Prêmio Friedrich L. Bauer · Veja mais »

Prêmio Kyoto

O Prêmio Kyoto (京都賞) é concedido anualmente pela Fundação Inamori, desde 1985.

Novo!!: Charles Antony Richard Hoare e Prêmio Kyoto · Veja mais »

Prêmio Memorial Harry H. Goode

O Prêmio Memorial Harry H. Goode (Harry H. Goode Memorial Award) é um prêmio anual da IEEE Computer Society em memória de Harry H. Goode por conquistas na área de processamento da informação, consideradas tanto como uma simples contribuição à teoria, projeto ou técnica de considerável significância ou à acumulação de contribuições significativas sobre a teoria ou prática sobre um período estendido de tempo, o total dos quais representando uma conbtribuição significativa.

Novo!!: Charles Antony Richard Hoare e Prêmio Memorial Harry H. Goode · Veja mais »

Prêmio Pioneiro da Computação

O Prêmio Pioneiro da Computação (Computer Pioneer Award) foi estabelecido em 1981 pelo "Board of Governors" da IEEE Computer Society para o reconhecimento e honra daquelas pessoas cujos esforços resultaram na criação e vitalidade contínua da indústria de computadores.

Novo!!: Charles Antony Richard Hoare e Prêmio Pioneiro da Computação · 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!!: Charles Antony Richard Hoare e Prêmio Turing · Veja mais »

Professor emérito

Professor emérito é um título conferido por uma entidade de ensino a seus professores já aposentados, que atingiram alto grau de projeção no exercício de sua atividade acadêmica.

Novo!!: Charles Antony Richard Hoare e Professor emérito · Veja mais »

Queen's University

Campus da universidade Queen's University in Kingston (comumente abreviado para Queen's University ou Queen's) é uma universidade pública de pesquisa em Kingston, Ontário, Canadá.

Novo!!: Charles Antony Richard Hoare e Queen's University · Veja mais »

Queen's University de Belfast

Queen's University Belfast é uma universidade pública da cidade de Belfast, na Irlanda do Norte.

Novo!!: Charles Antony Richard Hoare e Queen's University de Belfast · Veja mais »

Quicksort

O algoritmo quicksort é um método de ordenação muito rápido e eficiente, inventado por C.A.R. Hoare em 1960, quando visitou a Universidade de Moscovo como estudante.

Novo!!: Charles Antony Richard Hoare e Quicksort · Veja mais »

Rússia

A Federação da Rússia (Российская Федерация), ou simplesmente chamada de Rússia (áudio), é um país localizado no norte da Eurásia, com área de quilómetros quadrados.

Novo!!: Charles Antony Richard Hoare e Rússia · Veja mais »

Reino Unido

O Reino Unido (United Kingdom, UK), oficialmente Reino Unido da Grã-Bretanha e Irlanda do Norte, é um país insular localizado em frente à costa noroeste do continente europeu.

Novo!!: Charles Antony Richard Hoare e Reino Unido · Veja mais »

Royal Academy of Engineering

A Royal Academy of Engineering é uma sociedade científica do Reino Unido envolvida com engenharia.

Novo!!: Charles Antony Richard Hoare e Royal Academy of Engineering · Veja mais »

Royal Society

Sede da ''Royal Society'' em Londres A Royal Society, formalmente The Royal Society of London for Improving Natural Knowledge, é uma sociedade científica e a academia nacional de ciências do Reino Unido.

Novo!!: Charles Antony Richard Hoare e Royal Society · Veja mais »

Sri Lanka

O Sri Lanka, Sri Lanca ou Seri Lanca, oficialmente República Democrática Socialista do Sri Lanka; conhecido pela forma portuguesa equivalente Ceilão, adotada pelo país até 1972; era chamado de Taprobana na Antiguidade e na Idade Média, é um país insular asiático, localizado ao largo da extremidade sul do subcontinente indiano.

Novo!!: Charles Antony Richard Hoare e Sri Lanka · Veja mais »

Tennessee

O Tennessee ou, em suas formas aportuguesadas, Tenessi ou Tenesi é um dos 50 estados dos Estados Unidos, localizado na região sudeste do país.

Novo!!: Charles Antony Richard Hoare e Tennessee · Veja mais »

The Times

The Times ("Os Tempos", em inglês) é um jornal britânico nacional com sede em Londres, Reino Unido.

Novo!!: Charles Antony Richard Hoare e The Times · Veja mais »

Universidade de Oxford

Universidade de Oxford (University of Oxford), em português chamada ou Oxforde, é uma instituição de ensino superior pública situada na cidade de Oxford.

Novo!!: Charles Antony Richard Hoare e Universidade de Oxford · Veja mais »

Universidade Estatal de Moscovo

Universidade Estatal de, (em russo: Московский Государственный Университет имени М. В. Ломоносова) é uma das universidades mais antigas e renomadas da Rússia, ao lado da Universidade Russa da Amizade dos Povos e da Universidade Estatal de São Petersburgo.

Novo!!: Charles Antony Richard Hoare e Universidade Estatal de Moscovo · Veja mais »

Redireciona aqui:

C. A. R. Hoare, C.A.R. Hoare.

CessanteEntrada
Ei! Agora estamos em Facebook! »