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

    Przeczytaj także...
    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.
    Nagroda Turinga — nagroda przyznawana corocznie za wybitne osiągnięcia w dziedzinie informatyki przez Association for Computing Machinery.
    Tony Hoare

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

    Rozwinął 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.

    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).Biblioteka Kongresu Stanów Zjednoczonych (ang.: Library of Congress) – największa biblioteka świata. Gromadzi ponad 142 mln różnego rodzaju dokumentów, ponad 29 mln książek, 58 mln rękopisów, 4,8 mln map i atlasów, 12 mln fotografii, 6 mln mikrofilmów, 3,5 mln dokumentów muzycznych, 500.000 filmów; wszystko w ponad 460 językach. 7% zbiorów to dokumenty w językach słowiańskich, w tym największy w USA zbiór polskich książek. Całość zajmuje 856 km półek. Biblioteka dysponuje (w 3 budynkach) 22 czytelniami ogólnymi, 3 wydzielonymi czytelniami dla kongresmenów oraz biblioteką sztuki (John F. Kennedy Center). Zatrudnia 5 tysięcy pracowników. Wyposażona jest w system komputerowy o pojemności 13 mln rekordów oraz w 3000 terminali. Pełni funkcję biblioteki narodowej.

    W 1980 roku, w dowód uznania za wkład w rozwój języków programowania otrzymał nagrodę Turinga.

    Zobacz też[]

  • Logika Hoare’a.
  • Algorytm quicksort



  • w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    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.
    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.
    occam – język programowania, opracowany w roku 1983 przez firmę INMOS, a będący praktyczną implementacją formalizmu CSP (z ang. Communicating Sequential Processes). Język opracowany został i był przede wszystkim wykorzystywany jako narzędzie programowania transputerów. Nazwa pochodzi od nazwiska Williama Ockhama, kojarzonego z "brzytwą Ockhama".
    Kontrola autorytatywna – w terminologii bibliotekoznawczej określenie procedur zapewniających utrzymanie w sposób konsekwentny haseł (nazw, ujednoliconych tytułów, tytułów serii i haseł przedmiotowych) w katalogach bibliotecznych przez zastosowanie wykazu autorytatywnego zwanego kartoteką wzorcową.

    Reklama