Алго́л — название ряда языков программирования, применяемых при составлении программ для решения научно-технических задач на ЭВМ. Разработан комитетом по языку высокого уровня IFIP в 1958-1960 годах. Кардинально переработан в 1964-1968 годах. Один из первых языков высокого уровня. Был популярен в Европе, в том числе в СССР, в качестве языка как практического программирования, так и академического языка, но в США и Канаде не смог превзойти распространённый там Фортран. Оказал заметное влияние на все разработанные позднее императивные языки программирования — в частности, на язык Pascal.
Никлаус Вирт — швейцарский информатик, один из известнейших теоретиков в области разработки языков программирования, профессор компьютерных наук Швейцарской высшей технической школы Цюриха (ETHZ), лауреат премии Тьюринга 1984 года. Создатель и ведущий проектировщик языков программирования Паскаль, Модула-2, Оберон.
Алго́л 68 — процедурный императивный высокоуровневый язык программирования, потомок языка Алгол, существенно доработанный. Разрабатывался в период 1964—1968 годов. Позиционировался как универсальный язык для описания произвольных алгоритмов обработки данных высокой сложности. Отличается большим объёмом, богатством возможностей и сложностью синтаксиса.
Сэр Чарльз Э́нтони Ри́чард Хо́ар — английский учёный, специализирующийся в области информатики и вычислительной техники. Наиболее известен как разработчик алгоритма «быстрой сортировки» (1960), на сегодняшний день являющегося наиболее популярным алгоритмом сортировки.
Хо́ар — фамилия английского происхождения. Известные носители:
- Хоар, Майк — известный британский военный деятель и наёмник.
- Хоар, Мелисса — австралийская скелетонистка, чемпионка мира среди юниоров.
- Хоар, Реджинальд (1882—1954) — британский дипломат, эсквайр Великобритании.
- Хоар, Сидней (1939—2017) — британский дзюдоист.
- Хоар, Сэмюэль (1880—1959) — английский разведчик, государственный деятель.
- Хоар, Чарльз Энтони Ричард — английский учёный в области информатики и вычислительной техники.
Исчисление процессов или алгебра процессов — семейство связанных подходов к формальному моделированию параллельных систем.
Кросно-Оджаньске, Кроссен-на-Одере — город в Польше, входит в Любушское воеводство, административный центр Кросненского повята. Имеет статус городско-сельской гмины. Занимает площадь 8,11 км². Население — 13 тыс. человек.
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства.
Роберт Даблью Флойд — американский учёный в области теории вычислительных систем. Лауреат премии Тьюринга. Флойд сменил своё второе имя, которое начиналось на букву W (Willoughby), на саму букву W, поэтому после него не ставится точка. Сам Флойд шутил по этому поводу, что «W.» — это приемлемая аббревиатура от «W».
Восстание Симба — антиправительственное выступление племён северо-восточного Конго в 1964—1965 годах. Происходило параллельно с восстанием в Квилу Пьера Мулеле, соратника убитого первого президента Конго Патриса Лумумбы.
Томас Майкл Хоар ; широко известен под прозвищем Mad Mike — Сумасшедший Майк, «Бешеный Майк») — британский военный; позднее южноафриканский наёмник и активный участник конголезских войн 1960-х. Также известен как организатор неудачной попытки государственного переворота на Сейшельских островах в 1981 году.
В 1980 году были различные научные и технологические события, некоторые из которых представлены ниже.
Операция Watch Chain — боевые действия в Демократической Республике Конго (ДРК) между правительственными силами Конголезской национальной армии, усиленными отрядом белых наёмников, и повстанцами «Национальной армии освобождения», более известными как «Симба», в 1964 году.
Логика Хоара — формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в области информатики и математической логики Хоаром, позже развита самим Хоаром и другими исследователями. Первоначальная идея была предложена в работе Флойда, который опубликовал похожую систему в применении к блок-схемам.
Rockstar Games Toronto ULC — внутренняя студия Rockstar Games по портированию и разработке игр, расположенная в Оквилле, Онтарио, Канада.
Мелисса Хоар — австралийская скелетонистка, выступавшая за сборную Австралии с 2004 года по 2010-й. Участница зимних Олимпийских игр в Ванкувере, чемпионка мира среди юниоров, многократная призёрша национального первенства.
Жан Шрамм — бельгийский плантатор и военный наёмник в Конго, активный участник конголезских войн 1960-х годов. Был заочно осуждён за совершённое в Конго убийство, эмигрировал из Бельгии в Бразилию.
Логика разделения, сепарационная логика — формальная система, субструктурная логика, применимая к верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана Джоном Рейнольдсом, Питером О’Хирном, Самином Иштиаком и Хонсёком Яном на основе работ Рода Бёрстола. Язык утверждений логики разделения является специальным случаем логики пучковых импликаций.
Женская национальная сборная Белиза по волейболу — представляет Белиз на международных волейбольных соревнованиях. Управляющей организацией выступает Волейбольная ассоциация Белиза.
Зи́гфрид Фри́дрих Ге́нрих Мю́ллер — немецкий наёмник, бывший обер-фенрих вермахта, получивший известность в качестве майора и командира подразделения белых наёмников «Коммандо 5» — наиболее боеспособной части правительственной Конголезской национальной армии — под командованием Майка Хоара, участвовавшего в подавлении восстания Симба во время Конголезского кризиса. Полиглот.