Логотип
Юніонпедія
Зв'язок
Завантажити з Google Play
Новинка! Завантажити Юніонпедія на вашому Android™ пристрої!
безкоштовно
Більш швидкий доступ, ніж браузер!
 

Тоні Гоар

Індекс Тоні Гоар

Сер Чарлз Ентоні Річард Гоар (Charles Antony Richard Hoare або Tony Hoare або C.A.R. Hoare, народився 11 січня 1934, Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка) — англійський вчений, що працює в галузі інформатики та обчислювальної техніки.

29 відносини: ALGOL, Lockheed U-2, Microsoft Research, Z-нотація, Коломбо, Комунікуючі послідовні процеси, Премія Кіото, Премія Тюрінга, Оксфордський університет, Оле-Юган Даль, Нульовий вказівник, Союз Радянських Соціалістичних Республік, Шрі-Ланка, Швидке сортування, Московський державний університет імені М. В. Ломоносова, Мова програмування, Медаль Джона фон Неймана, Британська імперія, Велика Британія, Едсгер Дейкстра, Логіка Гоара, 11 січня, 1934, 1968, 1977, 1980, 1999, 2000, 2011.

ALGOL

АЛГОЛ або ALGOL (скорочення від ALGOrithmic Language — алгоритмічна мова) — сімейство імперативних мов програмування, першу версію розроблено в середині 1950-х, і стала де факто стандартною мовою публікації алгоритмів на наступні 30 років.

Новинка!!: Тоні Гоар і ALGOL · Побачити більше »

Lockheed U-2

Lockheed U-2 — американський висотний літак-розвідник, розроблений під час Холодної війни.

Новинка!!: Тоні Гоар і Lockheed U-2 · Побачити більше »

Microsoft Research

Microsoft Research (MSR) — підрозділ корпорації Microsoft, створений у 1991 році для дослідження різноманітних питань та тем в галузі інформатики.

Новинка!!: Тоні Гоар і Microsoft Research · Побачити більше »

Z-нотація

Z-нотація (Z notation, зед) — формальна мова для написання специфікацій для інформаційних систем та модулів.

Новинка!!: Тоні Гоар і Z-нотація · Побачити більше »

Коломбо

Коло́мбо — місто в Шрі-Ланці, фактична столиця Шрі-Ланки (місцеперебування уряду і резиденція президента).

Новинка!!: Тоні Гоар і Коломбо · Побачити більше »

Комунікуючі послідовні процеси

Взаємодія послідовних процесів (Communicating Sequential Processes, CSP) — формальна мова для опису закономірностей взаємодії в рівночасних системах.

Новинка!!: Тоні Гоар і Комунікуючі послідовні процеси · Побачити більше »

Премія Кіото

Премія Кіото (京都賞) — щорічна нагорода за досягнення в науці, технології та культурі.

Новинка!!: Тоні Гоар і Премія Кіото · Побачити більше »

Премія Тюрінга

Премія Тюрінга (Turing Award) — найпрестижніша премія в галузі інформатики, щорічно присуджується Асоціацією обчислювальної техніки за видатні досягнення у цій галузі.

Новинка!!: Тоні Гоар і Премія Тюрінга · Побачити більше »

Оксфордський університет

О́ксфордський університе́т — найстаріший англомовний університет у світі, а також перший університет у Великій Британії.

Новинка!!: Тоні Гоар і Оксфордський університет · Побачити більше »

Оле-Юган Даль

Оле-Юган Даль (Ole-Johan Dahl) (12 жовтня 1931 - 29 червня 2002) - норвезький інформатик.

Новинка!!: Тоні Гоар і Оле-Юган Даль · Побачити більше »

Нульовий вказівник

Нульовий (порожній) вказівник (рідше - покажчик) — вказівник, який нікуди не вказує.

Новинка!!: Тоні Гоар і Нульовий вказівник · Побачити більше »

Союз Радянських Соціалістичних Республік

Сою́з Радя́нських Соціалісти́чних Респу́блік (скорочено — СРСР або Радянський Союз) — союзна держава, що існувала з 1923 по 1991 рік на території Східної Європи, північної частини Центральної і Східної Азії.

Новинка!!: Тоні Гоар і Союз Радянських Соціалістичних Республік · Побачити більше »

Шрі-Ланка

Демократична Соціалістична Республіка Шрі-Ланка (ශ්‍රී ලංකා, இலங்கை, до 1972 року Цейло́н) — країна і острів в північній частині Індійського океану за 31 км від південно-східного узбережжя Індії; площа 65 610 км².

Новинка!!: Тоні Гоар і Шрі-Ланка · Побачити більше »

Швидке сортування

Швидке сортування (Quick Sort) — алгоритм сортування, добре відомий, як алгоритм розроблений Тоні Гоаром (C. A. R. Hoare), який не потребує додаткової пам'яті і виконує у середньому \;O(n\log\;n) операцій.

Новинка!!: Тоні Гоар і Швидке сортування · Побачити більше »

Московський державний університет імені М. В. Ломоносова

Моско́вський держа́вний університе́т і́мені М. В. Ломоно́сова, МДУ (Московский государственный университет имени М. В. Ломоносова, МГУ) — найбільший та найстаріший університет Росії.

Новинка!!: Тоні Гоар і Московський державний університет імені М. В. Ломоносова · Побачити більше »

Мова програмування

Мо́ва програмува́ння (Programming language) — це штучна мова, створена для передачі команд машинам, зокрема комп'ютерам.

Новинка!!: Тоні Гоар і Мова програмування · Побачити більше »

Медаль Джона фон Неймана

Медаль Джона фон Неймана була започаткована як нагорода комітетом директорів IEEE в 1990 році.

Новинка!!: Тоні Гоар і Медаль Джона фон Неймана · Побачити більше »

Британська імперія

Британська імперія, «над якою ніколи не заходить сонце», у 1897 році (кордони окреслено червоним) Брита́нська імпе́рія (British Empire) включала домініони, колонії, протекторати, мандати на інші території, що перебували під владою Сполученого Королівства та його держав-попередників.

Новинка!!: Тоні Гоар і Британська імперія · Побачити більше »

Велика Британія

Сполу́чене Королі́вство Вели́кої Брита́нії та Півні́чної Ірла́ндії (the United Kingdom of Great Britain and Northern Ireland), відоме також під такими короткими назвами, як Вели́ка Брита́нія (Great Britain), Сполу́чене Королі́вство (the United Kingdom),розташоване біля північно-західного узбережжя континентальної Європи.

Новинка!!: Тоні Гоар і Велика Британія · Побачити більше »

Едсгер Дейкстра

Е́дсгер Ві́бе Де́йкстра (Edsger Wybe Dijkstra; * 11 травня 1930, Роттердам,— † 6 серпня 2002,, Нідерланди) — нідерландський науковець у галузі комп'ютерних наук. Один з розробників концепції структурного програмування, дослідник формальної верифікації і розподілених обчислень .

Новинка!!: Тоні Гоар і Едсгер Дейкстра · Побачити більше »

Логіка Гоара

Алгоритмічна логіка Гоара (також відома як Флойда-Гоара) — це формальна система з множиною логічних правил для строгого доведення.

Новинка!!: Тоні Гоар і Логіка Гоара · Побачити більше »

11 січня

11 січня — 11-й день року в григоріанському календарі.

Новинка!!: Тоні Гоар і 11 січня · Побачити більше »

1934

Без опису.

Новинка!!: Тоні Гоар і 1934 · Побачити більше »

1968

Без опису.

Новинка!!: Тоні Гоар і 1968 · Побачити більше »

1977

Без опису.

Новинка!!: Тоні Гоар і 1977 · Побачити більше »

1980

Без опису.

Новинка!!: Тоні Гоар і 1980 · Побачити більше »

1999

Див.

Новинка!!: Тоні Гоар і 1999 · Побачити більше »

2000

Францію 2000-их років уявляли в 1899 році. 2000 — 2000 рік нашої ери, 1000 рік 2 тисячоліття (останній рік 2 тисячоліття), 100 рік XX століття (останній рік XX століття), 10 рік 10-го десятиліття XX століття, 1 рік 2000-х років.

Новинка!!: Тоні Гоар і 2000 · Побачити більше »

2011

* рік темного металевого зайця за Шістдесятирічним циклом китайського календаря.

Новинка!!: Тоні Гоар і 2011 · Побачити більше »

Перенаправлення тут:

C. A. R. Hoare, Тоні Хоар, Хоар, Хоар Чарлз Ентоні Річард, Хоар Чарльз, Хоар, Чарлз Ентоні Річард, Чарлз Ентоні Річард Хоар, Чарльз Хоар, Чарльз Ентоні Річард Хоар.

ВихідніВхідний
Гей! Ми на Facebook зараз! »