Сер Чарлз Ентоні Річард Гоар (англ. Charles Antony Richard Hoare або Tony Hoare або C.A.R. Hoare; нар. 11 січня 1934, Коломбо, Цейлон, Британська імперія...
14 KB (713 words) - 16:07, 26 July 2024
галузі інформатики. На цей час там працюють володарі Премії Т'юрінга Тоні Гоар та Батлер Лемпсон, володар Філдсівської медалі Майкл Фрідман, володар...
23 KB (650 words) - 17:32, 27 November 2024
null У мові Icon: &null У мові Python: None У мові Visual Basic: Nothing Тоні Гоар, який винайшов нульовий вказівник у 1965 році, вважає це помилкою, яка...
8 KB (502 words) - 20:44, 17 October 2024
2005: Пол Берен, Дуглас Енгельбарт, Алан Шугарт, Айвен Сазерленд; 2006: Тоні Гоар, Роберт Елліот Кан, Батлер Лемпсон, Марвін Мінський; 2007: Джон Лерой...
12 KB (685 words) - 19:09, 4 February 2024
пізніше узагальнену в алгоритм виведення типів Гіндлі-Мілнера. У 1969 році Тоні Гоар вводить логіку Гоара, форму аксіоматичної семантики. У 1969 році Вільям...
20 KB (1,294 words) - 17:37, 17 January 2023
первісної мови і доповненої мінімумом дійсно необхідних долучень. Вірт і Гоар представили комітету мову ALGOL W (W — від Wirth), що являв собою саме таку...
18 KB (1,091 words) - 08:14, 4 October 2024
комунікуючих послідовних процесів (CSP) і пов'язаної мови occam, разом з Тоні Гоаром. Є співзасновником Formal Systems (Europe) Limited і розробив алгоритми...
1 KB (141 words) - 15:09, 18 July 2024
У. Флойдом (1967), Тоні Гоаром (1969) і представниками польської логічної школи (А. Сальвініцький та інші (1970)). В 1969 році Гоар визначив просту мову...
24 KB (1,843 words) - 14:56, 8 February 2023
вхідних даних, в алгоритм уводиться рандомізація. Алгоритм запропонував Тоні Гоар Ідея полягає в розділенні всього масиву на дві частини так, що кожен елемент...
12 KB (1,693 words) - 16:09, 3 March 2020
першою об'єктно-орієнтованою мовою програмування. 1965 року Ніклаус Вірт і Тоні Гоар запропонували комітету з розвитку мови ALGOL свою версію, яку згодом назвали...
60 KB (3,844 words) - 13:59, 24 February 2024
за допомогою математичних формальних методів. Вчені Едсгер Дейкстра та Тоні Гоар вважають інструкції для комп'ютерних програм математичними реченнями та...
73 KB (4,488 words) - 08:45, 13 November 2024
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
5 KB (221 words) - 10:23, 13 December 2024
плідний сценарист Ед Вітмор написав інший. У серії також представлений Сем Гоар як новий ACC після відходу Ракі Айоли в кінці другого сезону. У квітні 2023...
27 KB (910 words) - 17:39, 8 December 2024
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
5 KB (197 words) - 17:30, 10 July 2024
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
2 KB (167 words) - 09:24, 3 March 2023
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
5 KB (285 words) - 10:55, 24 July 2020
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
5 KB (230 words) - 13:07, 25 February 2024
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
3 KB (60 words) - 17:17, 8 September 2021
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
5 KB (195 words) - 09:01, 2 July 2023
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
5 KB (238 words) - 18:48, 12 March 2024
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
6 KB (252 words) - 14:12, 9 December 2024
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
6 KB (288 words) - 08:52, 13 December 2024
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
5 KB (326 words) - 00:10, 25 March 2022
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
5 KB (132 words) - 09:09, 30 June 2024
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
5 KB (206 words) - 09:21, 7 July 2024
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
5 KB (276 words) - 12:58, 22 January 2024
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
5 KB (161 words) - 16:10, 26 July 2024
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
9 KB (568 words) - 14:07, 2 August 2024
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
6 KB (328 words) - 03:10, 23 January 2024
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
4 KB (220 words) - 17:21, 26 February 2023
Джон Бекус (1977) Роберт Флойд (1978) Кеннет Айверсон (1979) 1980-ті Тоні Гоар (1980) Едгар Кодд (1981) Стівен Кук (1982) Кен Томпсон / Денніс Рітчі...
7 KB (375 words) - 16:46, 2 August 2023