16 kontakty: Cambridge, Communicating Sequential Processes, Informatyk, Język programowania, Kolombo, Logika Hoare’a, Merton College, Moskiewski Uniwersytet Państwowy im. M.W. Łomonosowa, Nagroda Kioto, Nagroda Turinga, Occam, Problem ucztujących filozofów, Sortowanie szybkie, Sri Lanka, 11 stycznia, 1934.
Cambridge
Cambridge (wym., staropol. Kantabrygia) – miasto (city) i dystrykt niemetropolitalny we wschodniej Anglii (Wielka Brytania), stolica hrabstwa Cambridgeshire, położone nad rzekąCam, około 80 km na północny wschód od Londynu.
Nowy!!: C.A.R. Hoare i Cambridge · Zobacz więcej »
Communicating Sequential Processes
Communicating Sequential Processes (CSP) – formalny język służący do opisywania wzorców interakcji w równoległych systemach obliczeniowych.
Nowy!!: C.A.R. Hoare i Communicating Sequential Processes · Zobacz więcej »
Informatyk
Duński informatyk Bjarne Stroustrup, twórca C++ Informatyk – osoba wykonująca jeden z zawodów informatycznych, prowadządza badania naukowe w dziedzinie informatyki, lub nauczająca informatyki.
Nowy!!: C.A.R. Hoare i Informatyk · Zobacz więcej »
Język programowania
Język programowania – zbiór zasad określających, kiedy ciąg symboli tworzy program komputerowy oraz jakie obliczenia opisuje.
Nowy!!: C.A.R. Hoare i Język programowania · Zobacz więcej »
Kolombo
Kolombo (Kolamba,, IPA: /ˈkoləmbə/) – stolica Sri Lanki do 29 kwietnia 1982.
Nowy!!: C.A.R. Hoare i Kolombo · Zobacz więcej »
Logika Hoare’a
Logika Hoare’a – formalizm matematyczny służący do opisu poprawności algorytmów.
Nowy!!: C.A.R. Hoare i Logika Hoare’a · Zobacz więcej »
Merton College
Merton College (pełna nazwa: The House or College of Scholars of Merton in the University of Oxford) – jedna z trzech formalnych uczelni Uniwersytetu Oksfordzkiego w Anglii.
Nowy!!: C.A.R. Hoare i Merton College · Zobacz więcej »
Moskiewski Uniwersytet Państwowy im. M.W. Łomonosowa
Moskiewski Uniwersytet Państwowy im.
Nowy!!: C.A.R. Hoare i Moskiewski Uniwersytet Państwowy im. M.W. Łomonosowa · Zobacz więcej »
Nagroda Kioto
– japońska nagroda ufundowana w 1985 przez Kazuo Inamoriego (1932–2022), założyciela firmy Kyocera i przyznawana co roku przez powołanąw tym celu Fundację Inamori.
Nowy!!: C.A.R. Hoare i Nagroda Kioto · Zobacz więcej »
Nagroda Turinga
Nagroda Turinga – nagroda przyznawana corocznie od 1966 za wybitne osiągnięcia w dziedzinie informatyki przez Association for Computing Machinery (ACM).
Nowy!!: C.A.R. Hoare i Nagroda Turinga · Zobacz więcej »
Occam
occam – język programowania, opracowany w roku 1983 przez firmę INMOS, a będący praktycznąimplementacjąformalizmu CSP (z ang. Communicating Sequential Processes).
Nowy!!: C.A.R. Hoare i Occam · Zobacz więcej »
Problem ucztujących filozofów
Ilustracja problemu Problem ucztujących filozofów (znany też jako problem pięciu filozofów) – przykład klasycznego dla informatyki zadania synchronizacji procesów.
Nowy!!: C.A.R. Hoare i Problem ucztujących filozofów · Zobacz więcej »
Sortowanie szybkie
Sortowanie szybkie (ang. quicksort) – jeden z popularnych algorytmów sortowania działających na zasadzie „dziel i zwyciężaj”.
Nowy!!: C.A.R. Hoare i Sortowanie szybkie · Zobacz więcej »
Sri Lanka
Sri Lanka (syng. ශ්රී ලංකාව, tamil. இலங்கை, ang. Sri Lanka), oficjalnie Demokratyczno-Socjalistyczna Republika Sri Lanki (ang. Democratic Socialist Republic of Sri Lanka) – państwo w Azji Południowej, na wyspie Cejlon (pod tąnazwąznane do 1972) wraz z mniejszymi przybrzeżnymi wyspami.
Nowy!!: C.A.R. Hoare i Sri Lanka · Zobacz więcej »
11 stycznia
Bez opisu.
Nowy!!: C.A.R. Hoare i 11 stycznia · Zobacz więcej »
1934
Bez opisu.
Nowy!!: C.A.R. Hoare i 1934 · Zobacz więcej »