• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • C.A.R. Hoare

    Przeczytaj także...
    Biblioteka Narodowa (BN) – polska biblioteka narodowa w Warszawie, na Ochocie, na Polu Mokotowskim, narodowa instytucja kultury założona w 1928.Sortowanie szybkie (ang. quicksort) – jeden z popularnych algorytmów sortowania działających na zasadzie "dziel i zwyciężaj".
    Logika Hoare’a – formalizm matematyczny służący do opisu poprawności algorytmów. Wprowadzony został przez brytyjskiego naukowca Charlesa A.R. Hoare’a w roku 1969.

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

    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.

    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.

    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.).

    Zobacz też[ | edytuj kod]

  • Logika Hoare’a.\
  • Algorytm quicksort
  • 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 oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

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

    Reklama

    Czas generowania strony: 0.033 sek.