Більш швидкий доступ, ніж браузер!
21 відносини: Крістіане Флойд, Премія Тюрінга, Алгоритм Флойда — Воршелла, Нью-Йорк, Нагорода «Піонер комп'ютерної галузі», Роберт Андре Тарджан, Рональд Рівест, Стенфорд, Стенфордський університет, Сполучені Штати Америки, Семантика мов програмування, Університет Карнегі-Меллон, Формальна верифікація, Чиказький університет, Зохар Манна, Іллінойський технологічний інститут, Логіка Гоара, 1936, 2001, 25 вересня, 8 червня.
Крістіане Флойд
Крістіане Флойд (Christiane Floyd, уроджена Рідль (Riedl); 26 квітня 1943) — австрійська вчена у галузі комп'ютерних наук.
Новинка!!: Роберт Флойд і Крістіане Флойд · Побачити більше »
Премія Тюрінга
Премія Тюрінга (Turing Award) — найпрестижніша премія в галузі інформатики, щорічно присуджується Асоціацією обчислювальної техніки за видатні досягнення у цій галузі.
Новинка!!: Роберт Флойд і Премія Тюрінга · Побачити більше »
Алгоритм Флойда — Воршелла
В інформатиці, алгоритм Флойда-Воршелла використовується для розв'язання задачі про найкоротший шлях у зваженому графі з додатними або від'ємними вагами ребер (але без від'ємнозначних циклів).
Новинка!!: Роберт Флойд і Алгоритм Флойда — Воршелла · Побачити більше »
Нью-Йорк
--> |scale.
Новинка!!: Роберт Флойд і Нью-Йорк · Побачити більше »
Нагорода «Піонер комп'ютерної галузі»
Піонер комп'ютерної галузі (Computer Pioneer Award: досл. переклад «Комп'ютерний піонер», зустр. також «Піонер комп'ютерної техніки» та «Піонер інформаційних технологій») — нагорода, що була заснована в 1981 році радою керуючих Комп'ютерного товариства IEEE (одне з найбільших товариств IEEE) для визнання та вшанування очевидних заслуг людей, які здійснили значний внесок в створення та функціонування комп'ютерної індустрії.
Новинка!!: Роберт Флойд і Нагорода «Піонер комп'ютерної галузі» · Побачити більше »
Роберт Андре Тарджан
Роберт Андре Тарджан (Robert Endre Tarjan; народився 30 квітня 1948, у Помоні, США) — американський науковець у галузі теорії обчислювальних систем.
Новинка!!: Роберт Флойд і Роберт Андре Тарджан · Побачити більше »
Рональд Рівест
Ро́нальд Лінн Рі́вест (нар. 1947, Скенектаді, Нью-Йорк) — американський спеціаліст з криптографії.
Новинка!!: Роберт Флойд і Рональд Рівест · Побачити більше »
Стенфорд
Сте́нфорд (Stanford) — переписна місцевість в Каліфорнії, в окрузі Санта-Клара.
Новинка!!: Роберт Флойд і Стенфорд · Побачити більше »
Стенфордський університет
Кампус Стенфордського університету Університет імені Ліленда Стенфорда-молодшого (Leland Stanford Junior University) або Стенфордський університет — приватний вищий навчальний заклад міста Стенфорд, Каліфорнія, США.
Новинка!!: Роберт Флойд і Стенфордський університет · Побачити більше »
Сполучені Штати Америки
Сполу́чені Шта́ти Аме́рики, також США, Сполу́чені Шта́ти, Шта́ти, Аме́рика (United States of America, USA, U.S., the USA, the States, America) — конституційна федеративна республіка в Північній Америці, що складається з 50 штатів: Аляски, Гаваїв, 48 штатів на території між Атлантичним і Тихим океанами і між Канадою і Мексикою та федерального (столичного) округу Колумбія.
Новинка!!: Роберт Флойд і Сполучені Штати Америки · Побачити більше »
Семантика мов програмування
Семантика в теорії програмування — розділ що вивчає математичне значення мови програмування та моделі обчислень.
Новинка!!: Роберт Флойд і Семантика мов програмування · Побачити більше »
Університет Карнегі-Меллон
Університет Карнегі-Меллон (Carnegie Mellon University, CMU) — приватний університет і дослідний центр, розташований в місті Піттсбург, штат Пенсильванія, США.
Новинка!!: Роберт Флойд і Університет Карнегі-Меллон · Побачити більше »
Формальна верифікація
Верифіка́ція форма́льна — в інформаційних технологіях, доказ, або заперечення відповідності системи у відношенні до певної формальної специфікації або характеристики, із використанням формальних методів математики.
Новинка!!: Роберт Флойд і Формальна верифікація · Побачити більше »
Чиказький університет
Чика́зький університе́т (The University of Chicago) — приватний вищий навчальний заклад, розташований у Гайд-парку неподалік від Чикаго, Іллінойс.
Новинка!!: Роберт Флойд і Чиказький університет · Побачити більше »
Зохар Манна
Зохар Манна (זוהר מנה; Zohar Manna, *1939) — ізраїльський та американський науковець в галузі інформатики, професор Стенфордського університету.
Новинка!!: Роберт Флойд і Зохар Манна · Побачити більше »
Іллінойський технологічний інститут
Іллінойський технологічний інститут (Illinois Institute of Technology, скор.IIT) — технічний університет у Чикаго, заснований в 1940 році.
Новинка!!: Роберт Флойд і Іллінойський технологічний інститут · Побачити більше »
Логіка Гоара
Алгоритмічна логіка Гоара (також відома як Флойда-Гоара) — це формальна система з множиною логічних правил для строгого доведення.
Новинка!!: Роберт Флойд і Логіка Гоара · Побачити більше »
1936
Без опису.
Новинка!!: Роберт Флойд і 1936 · Побачити більше »
2001
Без опису.
Новинка!!: Роберт Флойд і 2001 · Побачити більше »
25 вересня
25 вересня — 268-й день року (269-й у високосні роки) в григоріанському календарі.
Новинка!!: Роберт Флойд і 25 вересня · Побачити більше »
8 червня
8 червня — 159-й день року (160-й у високосні роки) в григоріанському календарі.
Новинка!!: Роберт Флойд і 8 червня · Побачити більше »
