C.A.R. Hoare

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

Charles Antony Richard Hoare (Tony Hoare, ur. 11 stycznia 1934 w Kolombo, Sri Lanka) – brytyjski informatyk, znany jako twórca algorytmu sortowania quicksort.

International Standard Name Identifier (ISNI) – unikalny identyfikator służący wystandaryzowanej identyfikacji obiektów, podmiotów, autorów dzieł, utworów i publikacji. The Nagroda Kioto (jap. 京都賞, Kyōto-shō) jest przyznawana co roku od 1985 przez Fundację Inamori, japońska nagroda została ufundowana przez Kazuo Inamori i jest odpowiednikiem Nagrody Nobla w dziedzinach filozofii, sztuki, nauki i technologii. Nagroda jest przyznawana nie tylko najlepszym przedstawicielom, lecz również osobom prezentującym wkład do humanizmu w swojej pracy.

Stworzył także logikę Hoare’a służącą do weryfikowania poprawności programów oraz stworzył język formalny Communicating Sequential Processes (CSP) używany do specyfikowania interakcji współbieżnych procesów (zob. problem ucztujących filozofów). Przyczynił się także do powstania języka programowania Occam.

Nagroda Turinga — nagroda przyznawana corocznie za wybitne osiągnięcia w dziedzinie informatyki przez Association for Computing Machinery.Communicating Sequential Processes (CSP) – formalny język służący do opisywania wzorców interakcji w równoległych systemach obliczeniowych. CSP został po raz pierwszy opisany przez C. A. R. Hoare jednakże od czasu pierwszej publikacji został bardzo rozbudowany. CSP znajduje praktyczne zastosowanie jako narzędzie do określania i weryfikowania różnych aspektów funkcjonowania systemów równoległych. CSP jest cały czas przedmiotem aktywnych badań, w tym także pracy mającej na celu zwiększenie zakresu praktycznego zastosowania CSP (np. zwiększenie ilości systemów, które mogą być za jego pomocą analizowane).

W 1980 roku, w dowód uznania za wkład w rozwój języków programowania otrzymał nagrodę Turinga. Laureat Nagrody Kioto w dziedznie zaawansowanych technologii w 2000 roku.

Przypisy[ | edytuj kod]

  1. Antony Hoare, Kyoto Prize [dostęp 2020-03-21] (ang.).
Library of Congress Control Number (LCCN) – numer nadawany elementom skatalogowanym przez Bibliotekę Kongresu wykorzystywany przez amerykańskie biblioteki do wyszukiwania rekordów bibliograficznych w bazach danych i zamawiania kart katalogowych w Bibliotece Kongresu lub u innych komercyjnych dostawców. WorldCat – katalog rozproszony łączący zbiory 71 000 bibliotek ze 112 krajów, które są uczestnikami serwisu Online Computer Library Center. Katalog jest tworzony i prowadzony przez biblioteki, których zbiory są w nim ujęte.




Warto wiedzieć że... beta

Virtual International Authority File (VIAF) – międzynarodowa kartoteka haseł wzorcowych. Jej celem jest ujednolicenie zapisu nazw osobowych (haseł), dlatego zbiera z bibliotek z całego świata – ich różne wersje i prezentuje je razem, pod jednym, unikatowym identyfikatorem numerycznym. Pozwala to obniżyć koszty i zwiększyć użyteczność danych gromadzonych przez biblioteki. Informacje po dopasowaniu i połączaniu są udostępniane online bibliotekom na całym świecie.
Problem ucztujących filozofów (znany też jako problem pięciu filozofów) jest przykładem klasycznego dla informatyki zadania synchronizacji procesów.
Sri Lanka (Demokratyczno-Socjalistyczna Republika Sri Lanki; syng. ශ්‍රී ලංකා ප්‍රජාතාන්ත්‍රික සමාජවාදී ජනරජය, trl. Śrī Laжkā Prajātantrika Samājavādi Janarājya, trb. Sri Lanka Pradźatantrika Samadźawadi Dźanaradźja; tamilski இலங்கை சனநாயக சோஷலிசக் குடியரசு, trb. Ilangaj Dźananajaka Soszalisak Kudijarasu) – państwo w Azji Południowej, na wyspie Cejlon (pod tą nazwą znane do 1972) wraz z mniejszymi przybrzeżnymi wyspami. Oddzielone od Półwyspu Indyjskiego cieśniną Palk i zatoką Mannar. Od wschodu oblewane przez Zatokę Bengalską, od południa otwartym Oceanem Indyjskim. Największe miasta kraju to: Kolombo, Dehiwala, Moratuwa, Dżafna, Kandy, Galle, Kalmunai.
Język programowania – zbiór zasad określających, kiedy ciąg symboli tworzy program komputerowy oraz jakie obliczenia opisuje.
Kolombo (w j. syngaleskim Kolamba, IPA: /ˈkoləmbə/, ang.: Colombo) - stolica Sri Lanki do 29 kwietnia 1982. Obecne nadal największe miasto tego kraju - 647 tys. mieszkańców (2001), stolica biznesowa, a także siedziba przedstawicielstw dyplomatycznych i wielu urzędów państwowych.
Wielka Encyklopedia Rosyjska (ros. Большая российская энциклопедия, БРЭ) – jedna z największych encyklopedii uniwersalnych w języku rosyjskim, wydana w 36 tomach w latach 2004–2017. Wydana przez spółkę wydawniczą o tej samej nazwie, pod auspicjami Rosyjskiej Akademii Nauk, na mocy dekretu prezydenckiego Władimira Putina nr 1156 z 2002 roku
Informatyk (łac. informare, -atum: obrazowo opisać) – osoba, która wykształciła się na specjalistę w dziedzinie nauk komputerowych, posiadającego wiedzę i umiejętności na temat ogółu metod tworzenia, przetwarzania i przekazu informacji oraz znającego budowę i zasady działania urządzeń komputerowych, a także potrafiącego tworzyć, przekształcać i przekazywać dane za pomocą programów komputerowych, wykorzystujących umieszczone w nich informacje do określonych działań. Zwykle jest to osoba o wysokim stopniu świadomości ogólnych i szczegółowych zasad tworzenia urządzeń i tworzenia oprogramowania, znająca języki programowania i potrafiąca stosować wiedzę teoretyczną w praktyce.

Reklama