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!
E sem anúncios!

Charles Antony Richard Hoare

Charles Antony Richard Hoare, também conhecido como Tony Hoare ou C. A. R. Hoare (Colombo), é um informático britânico.

45 relações: Algoritmo, Algoritmo de ordenação, Association for Computing Machinery, Bacharelato, Belfast, 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, Nashville, Occam (linguagem de programação), Ole-Johan Dahl, Oxford, Prêmio Friedrich L. Bauer, Prêmio Kyoto, Prêmio Pioneiro da Computação, Prêmio Turing, Professor emérito, 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ô. 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!!: Charles Antony Richard Hoare e Algoritmo · Veja mais »

Algoritmo de ordenação

Algoritmo de ordenação em ciência da computação é um algoritmo 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 (lit. Associação para Maquinaria da Computação) ou ACM, foi fundada em 1947 como a primeira sociedade cientifica e educacional dedicada a computação.

Novo!!: Charles Antony Richard Hoare e Association for Computing Machinery · Veja mais »

Bacharelato

O é um grau académico com diferentes caraterí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) é uma cidade do Reino Unido.

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

Cambridge

Cambridge (aportuguesado para Cantabrígia ou Cambrígia) é uma antiga cidade universitária inglesa, 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 (em cingalês:,; em tâmil: கொழும்பு) é a maior cidade do Sri Lanka e o principal centro financeiro, corporativo, econômico e cultural do país.

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 Escola Politécnica Federal de Lausana (EPFL) - em francês École polytechnique fédérale de Lausanne - é uma escola de engenheiros de Lausanne, na Suíça fundada em 1853 com o nome de Escola Especial de Lausanne.

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

Fellow

Um fellow ("companheiro", "camarada", em inglês), em sentido amplo, é alguém que é um igual ou um camarada.

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 (em inglês: 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 (Alberta, 17 de dezembro de 1920 — Toronto, 19 de outubro de 2004) 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. Uma linguagem de programação é um método padronizado para comunicar instruções para um 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 americana 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 »

Nashville

;Topônimos.

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", também aportuguesado para Oxónia) é 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 1984.

Novo!!: Charles Antony Richard Hoare e Prêmio Kyoto · 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. O prêmio é concedido a pessoas de destaque cujas principais contribuições aos conceitos e desenvolvimento do campo dos computadores foi feita no mínimo a mais de quinze anos.

Novo!!: Charles Antony Richard Hoare e Prêmio Pioneiro da Computação · Veja mais »

Prêmio Turing

O Prêmio Turing é concedido anualmente pela Associação para Maquinaria da Computação (Association for Computing Machinery, ou 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 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

Rússia (Россия), oficialmente Federação Russa (Российская Федерация) é um país localizado no norte da Eurásia.

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

Reino Unido

Reino Unido (United Kingdom - UK), oficialmente Reino Unido da Grã-Bretanha e Irlanda do Norte(), é um Estado soberano 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 Real Sociedade de Londres para o Melhoramento do Conhecimento Natural (em inglês, The Royal Society of London for the Improvement of Natural Knowledge) é uma instituição destinada à promoção do conhecimento científico.

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

Sri Lanka

O Sri Lanka ou Sri 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. Tem costas para a baía de Bengala a leste, oceano Índico a sul e a oeste, e o estreito de Palk a noroeste, que o separa da Índia. A sua capital é Sri Jayawardenapura Kotte (ou simplesmente Kotte), subúrbio da antiga capital Colombo, desde a inauguração do novo edifício do parlamento, em 1982. A história documentada do Sri Lanka se estende por 3000 anos, com evidências de assentamentos humanos pré-históricos que remontam a pelo menos 125 mil anos. A sua localização geográfica e portos profundos tornou de grande importância estratégica desde o tempo da antiga Rota da Seda até a Segunda Guerra Mundial. O Sri Lanka era conhecido desde o início do domínio colonial britânico até 1972 como Ceilão. A história recente do país tem sido marcada por uma guerra civil que durou trinta anos, que decisivamente terminou quando os militares do Sri Lanka derrotaram os Tigres de Liberação do Tamil Eelam (LTTE) em 2009. Um país diversificado e multicultural, o Sri Lanka é o lar de muitas religiões, etnias e línguas. Além da maioria cingalesa, é o lar de grandes grupos de tâmeis indianos, mouros, burgheres, malaios, cafres e o aborígene Vedda. O Sri Lanka tem uma rica herança budista, e os primeiros escritos budistas conhecidos do Sri Lanka, o Cânone Páli, remonta ao Quarto Concílio Budista em 29 a.C. O governo se caracteriza como uma república e um Estado unitário governado por um sistema semipresidencial. A capital legislativa, Kotte, é um subúrbio da capital comercial e maior cidade, Colombo. O Sri Lanka tem uma longa história de envolvimento internacional, como um dos membros fundadores da Associação Sul-Asiática para a Cooperação Regional (SAARC), e um membro da Organização das Nações Unidas, da Commonwealth, do G77 e do Movimento dos Países Não-Alinhados. Junto com as Maldivas, o Sri Lanka é um dos dois países no sul da Ásia que estão atualmente classificados com um nível alto de Índice de Desenvolvimento Humano.

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

Tennessee

O Tennessee ou, nas suas formas em português, 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 (em inglês: University of Oxford) é uma instituição de ensino superior pública britânica, situada na cidade de Oxford, sendo uma das mais importantes instituições de ensino do Reino Unido.

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! »