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

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

Індекс Премія Тюрінга

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

92 відносини: IBM, Microsoft Research, Sketchpad, Крістен Нюгорд, Квітень 2017, Кларк, Комбінаторне програмування, Кен Томпсон, Кеннет Айверсон, Пітер Наур, Принстонський університет, Парадигма програмування, Аді Шамір, Айвен Сазерленд, Алан Кей, Алан Перліс, Алан Тюрінг, Аллен Ньюел, Амір Пнуелі, Ніклаус Вірт, Наука про дані, Річард Карп, Річард Стернз, Річард Геммінг, Радж Редді, Робін Мілнер, Роберт Андре Тарджан, Роберт Флойд, Сільвіо Мікалі, Стівен Кук, Тім Бернерс-Лі, Тоні Гоар, Технічний університет Ейндговена, Темпоральна логіка, Теорія мови програмування, Університет Карнегі-Меллон, Університет Каліфорнії (Берклі), Фред Брукс, Френсіс Аллен, Фернандо Корбато, Чарльз Текер, Чарльз Бахман, Шафі Голдвассер, Юріс Гартманіс, Міхаель Рабін, Мартін Геллман, Марвін Мінський, Майкл Стоунбрейкер, Мануель Блум, Моріс Вілкс, ..., Зохар Манна, Батлер Лемпсон, Барбара Лісков, Вітфілд Діффі, Вільям Мортон Кехен, Вінтон Серф, Герберт Саймон, Дуглас Енгельбарт, Дана Скотт, Джуда Перл, Джим Ґрей, Джон Кок, Джон Маккарті, Джон Бекус, Джон Гопкрофт, Джеймс Вілкінсон, Денніс Рітчі, Іракліон, Ернест Аллен Емерсон, Едсгер Дейкстра, Едвард Фейгенбаум, Едгар Кодд, Едмунд Кларк, Ендрю Яо, Лабораторія основ інформатики LFCS, Леслі Веліент, Леслі Лампорт, Леонард Адлеман, Йосиф Сіфакіс, 1969 у науці, 1970 у науці, 1971 у науці, 1976 у науці, 1977 у науці, 2001 у науці, 2010 у науці, 2011 у науці, 2012 у науці, 2013 у науці, 2014 у науці, 2015 у науці, 2017 у науці. Розгорнути індекс (42 більше) »

IBM

International Business Machines Corporation (вимовляється Ай-Бі-Е́м, також відома як IBM або «Блакитний гігант») — американська електронна корпорація, один із найбільших світових виробників усіх видів комп'ютерів і програмного забезпечення, один з найбільших провайдерів глобальних інформаційних мереж.

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

Microsoft Research

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

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

Sketchpad

Sketchpad (Скетчпад — альбом для ескізів; або — робот-кресляр) — революційна комп'ютерна програма, створена Айваном Сазерлендом 1963 року як докторська дисертація.

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

Крістен Нюгорд

Крістен Нюгорд (27 серпня 1926 року, Осло — 10 серпня 2002 року, Осло) — норвезький вчений у галузі теорії обчислювальних систем, лауреат премії Тюрінга.

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

Квітень 2017

Квітень 2017 — четвертий місяць 2017 року, що розпочався в суботу 1 квітня та закінчився в неділю 30 квітня.

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

Кларк

Кларк (Clark, Clarke) — поширене англійське та ірландське прізвище, і відтак власне ім'я і назва численних населених пунктів та географічних об'єктів.

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

Комбінаторне програмування

Комбінаторне програмування (function-level programming) — парадигма програмування, що використовує принципи, тобто не вимагає явного згадування аргументів визначаємої функції (програми) та використовує замість змінних комбінатори та композіції.

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

Кен Томпсон

Ке́ннет Лейн То́мпсон (Kenneth Lane Thompson), народився 4 лютого 1943 року, знаний в хакерських колах як ken, піонер комп'ютерної науки.

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

Кеннет Айверсон

Кеннет Юджин Айверсон (Kenneth Eugene Iverson; 17 грудня 1920 — 19 жовтня 2004) — канадський науковець в галузі теоретичної інформатики відомий своїми дослідженнями та вагомими внесками у розробку мов програмування.

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

Пітер Наур

Пітер Наур (25 жовтня 1928—3 січня 2016) — данський піонер інформатики та лауреат премії Тюрінга.

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

Принстонський університет

При́нстонський університет — один із найстаріших та найпрестижніших університетів США, розташований у місті Принстон, штат Нью-Джерсі.

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

Парадигма програмування

Паради́гма програмува́ння — це система ідей і понять, які визначають стиль написання комп'ютерних програм, а також спосіб мислення програміста.

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

Аді Шамір

Аді Шамір (עדי שמיר; Adi Shamir.; 6 липня 1952) — ізраїльський вчений-теоретик в галузі криптографії, лауреат премії Тюрінга.

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

Айвен Сазерленд

Айвен Едвард Сазерленд Ivan Edward Sutherland (народився в 1938 у Гастінгсі, Небраска) — американський інформатик та піонер інтернету.

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

Алан Кей

Алан Кертіс Кей — американський інформатик, відомий завдяки своїм піонерським роботам в галузі об'єктно-орієнтованого програмування, проектуванню віконного графічного інтерфейсу користувача, а також завдяки відомій фразі — «Найкращий спосіб спрогнозувати майбутнє — винайти його.». Президент дослідницького інституту Вьюпоінта, ад'юнкт-професор інформатики в Каліфорнійському університеті.

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

Алан Перліс

А́лан Джей Пе́рліс (Alan Jay Perlis, 1 квітня 1922 — 7 лютого 1990) — американський вчений в галузі інформатики (комп'ютерних наук), відомий своїми новаторськими роботами з мов програмування і як перший лауреат Премії Тюрінга.

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

Алан Тюрінг

Алан Ма́тісон Тю́рінг (Alan Mathison Turing) (23 червня 1912, Вілмслоу, Чешир, Англія, Велика Британія — 7 червня 1954, Вілмслоу, Чешир, Англія, Велика Британія) — англійський математик, логік і криптограф.

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

Аллен Ньюел

Аллен Ньюел (Allen Newell, 19 березня 1927, Сан-Франциско, США - 19 липня 1992, Піттсбург, США) — американський вчений у галузі когнітивної психології і штучного інтелекту.

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

Амір Пнуелі

Амір Пнуелі (אמיר פנואלי; Amir Pnueli.; 22 квітня 1941 — 2 листопада 2009) — ізраїльський вчений-теоретик в галузі комп'ютерних наук, лауреат премії Тюрінга.

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

Ніклаус Вірт

Ні́клаус Вірт (Niklaus Emil Wirth; *15 лютого 1934) — швейцарський програміст і теоретик програмування, професор, автор мови програмування Паскаль, лауреат Тьюрингівської премії.

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

Наука про дані

Наука про дані — це міждисциплінарна галузь про наукові методи, процеси і системи, які стосуються добування знань із даних у різних формах, як структурованих так і неструктурованих.

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

Річард Карп

Річард Манніг Карп (Richard Manning Karp, 3 січня 1935) — інформатик, ідеолог програмування та професор Гарвардського університету.

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

Річард Стернз

Річард (Дік) Едвін Стернз (Richard Edwin Stearns; 7 липня 1936) — видатний американський науковець відомий своїми дослідженнями в теорії складності обчислень.

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

Річард Геммінг

відстані Геммінга. Річард Веслі Геммінг (*11 лютого 1915 — † 7 січня 1998) — американський математик, його роботи мали великий вплив на розвиток інформатики та телекомунікацій.

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

Радж Редді

Даббала Раджагопал «Радж» Редді (13 червня 1937 року, Катур, Індія) — індійсько-американський вчений у галузі теорії обчислювальних систем, професор з інформатики та робототехніки при університеті Карнегі — Меллон.

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

Робін Мілнер

Артур Джон Робін Ґорел Мілнер (Arthur John Robin Gorell Milner; 13 січня 1934 р. у (Плімут, Англія) — 20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики.

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

Роберт Андре Тарджан

Роберт Андре Тарджан (Robert Endre Tarjan; народився 30 квітня 1948, у Помоні, США) — американський науковець у галузі теорії обчислювальних систем.

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

Роберт Флойд

Роберт (Боб) Флойд (Robert W. (Bob) Floyd, 8 червня 1936 — 25 вересня 2001) — видатний американський науковець в галузі інформатики.

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

Сільвіо Мікалі

Сільвіо Мікалі (Silvio Micali 13 жовтня 1954) — італійський фахівець в галузі інформатики, криптографії та інформаційної безпеки.

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

Стівен Кук

Стівен Артур Кук (Stephen Arthur Cook 14 грудня 1939) — канадський та американський математик та науковець у галузі теоретичної інформатики, лауреат премії Тюрінга.

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

Тім Бернерс-Лі

Сер Тімоті Джон Бе́рнерс-Лі (Sir Timothy John «Tim» Berners-Lee; 8 червня 1955, Лондон) — британський спеціаліст з інформатики, творець HTTP, HTML, URI і автор інших розробок в галузі інформаційних технологій, засновник та голова консорціуму W3C, головний розробник Всесвітньої павутини (спільно з Робертом Кайо), автор концепції семантичної павутини.

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

Тоні Гоар

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

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

Технічний університет Ейндговена

Технічний університет Ейндговена (TU / e, Technische Universiteit Eindhoven) — технічний університет, розташований в Ейндговені.

Новинка!!: Премія Тюрінга і Технічний університет Ейндговена · Побачити більше »

Темпоральна логіка

Темпоральна логіка (temporal logic) в логіці — це логіка, яка враховує причинно-наслідкові зв'язки в умовах часу.

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

Теорія мови програмування

Маленька грецька буква λ (лямбда) це неофіційний символ області теорії мови програмування. Використання походить від лямбда-числення, моделі обчислень, введеної Алонзо Черчем у 1930-х роках і широко використовується дослідниками мов програмування. Вона прикрашає обкладинку класичної книги «Структура та інтерпретація комп'ютерних програм», а також назва так званих «лямбда матеріалів», які написані Джеральдом Джей Зуссманом і Гай Стілом, розробників мови програмування Scheme. Теорія мови програмування (Programming language theory) — розділ комп'ютерних наук, який займається проектуванням, аналізом, визначенням характеристик і класифікацією мов програмування, їх індивідуальних особливостей.

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

Університет Карнегі-Меллон

Університет Карнегі-Меллон (Carnegie Mellon University, CMU) — приватний університет і дослідний центр, розташований в місті Піттсбург, штат Пенсильванія, США.

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

Університет Каліфорнії (Берклі)

Університет Каліфорнії, Берклі (University of California, Berkeley), також відомий як Каліфорнійський університет, Берклі або просто Берклі) — вищий науковий та навчальний заклад США, заснований 1868 року. Розташований у Берклі — передмісті Сан-Франциско, штат Каліфорнія. Це — найстаріший та найпрестижніший кампус системи Каліфорнійського університету, яка налічує десять кампусів у Каліфорнії. Університет та місто, в якому він розташований, названі на честь видатного ірландського філософа та англіканського архіпресвітера Джорджа Берклі. Університетське містечко займає площу понад 100 гектарів на лісистому схилі разом із 400 гектарами на крутих пагорбах, звідки відкривається вид на затоку Сан-Франциско. Академічні програми Берклі, яких станом на 2011 р. налічується понад 300, починаючи з часів Другої світової війни вважаються одними з найкращих у світовій вищій освіті. Регулярні дослідження Американської ради освіти оцінюють цей університет як зразковий за широкий вибір, глибину й досконалість його програм з різних спеціальностей: від математики, природничих та інженерних наук до гуманітарних, соціальних наук та мистецтва. Серед випускників, викладачів та науковців цього університету — 51 лауреат Нобелівської премії, 9 лауреатів Премії Вольфа, 7 лауреатів Медалі Філдса, 15 лауреатів Премії Тюрінга, 45 стипендіатів МакАртура, 20 лауреатів премії Академії наук США та 11 лауреатів Пулітцерівської премії. Університет керує двома колись основними національними ядерними лабораторіями США (зараз їх використовують переважним чином для досліджень мирного атома): Ліверморською та Лос-Аламоською.

Новинка!!: Премія Тюрінга і Університет Каліфорнії (Берклі) · Побачити більше »

Фред Брукс

Фредерік Філіпс Брукс (Frederick Phillips Brooks, Jr.; народився 19 квітня, 1931) — інженер програмного забезпечення та вчений-інформатик, найбільш відомий за управління розробкою ОС System/360 для IBM, та її наступників, а пізніше за опис цього процесу в книжці Міфічний людино-місяць.

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

Френсіс Аллен

Френсіс Елізабет Аллен (Frances Elizabeth Allen, нар. 1932) — американська вчена, піонерка в області оптимізації компіляторів.

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

Фернандо Корбато

Фернандо Хосе Корбато (1 липня 1926, Окленд (Каліфорнія) — американський вчений, співробітник Массачусетського обчислювального центру.

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

Чарльз Текер

Чарльз Текер (Charles P. (Chuck) Thacker, 26 лютого 1943, Пасадена, США — 12 червня 2017, Пало-Альто, США) — американський вчений у галузі теорії обчислювальних систем, лауреат премії Тюрінга 2009 року.

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

Чарльз Бахман

Чарлз Вільям Бахман (Charles William Bachman; 11 грудня 1924, Манхеттен (Канзас), США — 13 липня 2017) — американський вчений у галузі комп'ютерних наук, зокрема розробки баз даних.

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

Шафі Голдвассер

Шафріра (Шафі) Ґолдвассер (שפרירה גולדווסר; Shafrira (Shafi) Goldwasser.; 1958, Нью-Йорк, США) — ізраїльський та американський науковець у галузі теоретичної інформатики та криптографії, лауреат премії Тюрінга 2012 року.

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

Юріс Гартманіс

Юріс Гартманіс (Juris Hartmanis; 5 липня 1928) — американський науковець латиського походження, відомий через свої внески в теорію складності обчислень.

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

Міхаель Рабін

Міхаель Ошер Рабін (מִיכָאֵל עוזר רַבִּין; Michael O. Rabin.; 1 вересня 1931) — ізраїльський вчений-теоретик в галузі інформатики, лауреат премії Тюрінга.

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

Мартін Геллман

Мартін Геллман (., штат Нью-Йорк, США) — американський криптограф.

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

Марвін Мінський

Марвін Лі Мінський (Marvin Lee Minsky; 9 серпня 1927 — 24 січня 2016) — американський дослідник в галузі штучного інтелекту, співзасновник лабораторії штучного інтелекту Массачусетського Технологічного Інституту, автор праць з штучного інтелекту та філософії.

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

Майкл Стоунбрейкер

Майкл Стоунбрейкер (нар. 11 жовтня 1943 року) — американський вчений в галузі інформатики, дослідник проблематики побудови систем управління базами даних, професор Каліфорнійського університету в Берклі (1971—2000), з 2001 року — професор Массачусетського технологічного інституту.

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

Мануель Блум

Мануель Блум (Manuel Blum; 26 квітня 1938) — американський науковець венесуельського походження, відомий в галузі теоретичної інформатики через свої внески до теорії складності обчислень та її використання в галузі криптографії.

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

Моріс Вілкс

Моріс Вінсент Вілкс (Maurice Vincent Wilkes; * 26 червня 1913 — † 29 листопада 2010) — британський вчений у галузі комп'ютерних наук.

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

Зохар Манна

Зохар Манна (זוהר מנה; Zohar Manna, *1939) — ізраїльський та американський науковець в галузі інформатики, професор Стенфордського університету.

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

Батлер Лемпсон

Батлер Райт Лемпсон (Butler Wright Lampson 23 грудня 1943) — американський науковець в галузі інформатики відомий внесками у розвиток та реалізацію персональних комп'ютерних систем.

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

Барбара Лісков

Барбара Лісков (Barbara Liskov; при народженні: Барбара Джейн Х'юберман, Barbara Jane Huberman; *7 листопада 1939) — американська дослідниця в галузі інформатики, лауреат премії Тюрінга 2008 року.

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

Вітфілд Діффі

Вітфілд Діффі (Bailey Whitfield 'Whit' Diffie — народився 5 червня 1944, Квінз, Нью-Йорк, США) — один з найвідоміших американських криптографів, що заслужив світову популярність за концепцію криптографії з відкритим ключем.

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

Вільям Мортон Кехен

Вільям Мортон Кехен (William Morton Kahan; 5 червня 1933 року, Торонто, Канада) — канадський вчений в області обчислювальної математики та теорії обчислювальних систем, лауреат премії Тьюрінга.

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

Вінтон Серф

Вінтон Ґрей Серф (Vinton Gray “Vint” Cerf, 23 червня 1943 року, Нью-Гейвен, Коннектикут, США) — американський науковець в галузі теорії обчислювальних систем, один з розробників протоколу TCP/IP. Часто в ЗМІ його називають «батьком Інтернету», цей титул він ділить з Бобом Каном. Його внесок був неодноразово визнаний і схвалений наданням почесних звань і присудженням нагород, які включають Національну медаль в галузі технологій та інновацій,, зі сайту ICANN Премію Тюрінга (2004), Президентську медаль Свободи,, зі сайту Білого Дому членство в Національній інженерній академії США. На початку 1970-х років Серф разом з Каном став співвинахідником протоколу TCP/IP. У 1976—1982 рр. Вінтон Серф працював керівником проекту, а згодом керівним науковим співробітником Агентства передових оборонних дослідницьких проектів США (DARPA), відповідальним за пакетні технології та дослідження у сфері безпеки мереж, у тому числі за проект DoD Internet Міністерства оборони США, більш вживана назва якого DoD model (від Department of Defense — Міністерство оборони), практичною реалізацією якої став набір / стек протоколів TCP/IP. Коли Інтернет почав переростати військову та освітню сферу і набувати комерційного застосування на початку 1980-х років, Серф переходить на роботу в телекомунікаційну компанію MCI Communications, де він відіграв важливу роль у розробці першої комерційної системи електронної пошти (MCI Mail), підключеної до Інтернету. Серф одним із засновників ICANN (Інтернет корпорація з присвоєння імен та номерів). Він чекав свого часу протягом року, перш ніж увійшов до складу Ради ICANN, ставши незабаром її головою. Обраний президентом Асоціації обчислювальної техніки (Association for Computing Machinery, ACM) у травні 2012., зі сайту ACM Серф вчився в в Лос-Анджелосі з і, які відіграли важливу роль у створенні Інтернету.

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

Герберт Саймон

Ге́рберт Са́ймон (Herbert A. Simon; *15 червня 1916, Мілуокі—†9 лютого 2001) — американський соціолог, економіст і педагог, лауреат Нобелівської премії з економіки, 1978 р.

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

Дуглас Енгельбарт

Дуглас Карл Енгельбарт (Douglas Carl Engelbart.; 30 січня 1925, Орегон — † 2 липня 2013, Каліфорнія) — один з перших дослідників людино-машинного інтерфейсу і винахідник комп'ютерного маніпулятора — миші, глава лабораторії в якій був створений перший графічний інтерфейс користувача, підготовлений прототип текстового редактора і розроблена концепція гіпертексту.

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

Дана Скотт

Дана Скотт (Dana Stewart Scott; 11 жовтня 1932) — американський математик та теоретик в галузі інформатики, лауреат премії Тюрінга.

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

Джуда Перл

Джуда Перл (Judea Pearl, יהודה פרל., нар. 4 вересня 1936) — американський та ізраїльський науковець, автор математичного апарату баєсових мереж, творець математичної та алгоритмічної бази ймовірнісного висновування, автор  для графічних ймовірнісних моделей, do-обчислення і обчислення .

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

Джим Ґрей

Джеймс Ніколас «Джим» Ґрей (James Nicholas "Jim" Gray, 12 січня 1944, Сан-Франциско — 16 травня 2012) — американський науковець у галузі теорії обчислювальних систем.

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

Джон Кок

Джон Кок (John Cocke 30 травня 1925 — 16 липня 2002) — американський науковець в галузі інформатики, відомий через створення архітектури процесорів зі скороченим набором команд RISC.

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

Джон Маккарті

Джон Маккарті (John McCarthy; 4 серпня 1927 року, Бостон, США — 24 жовтня 2011, Стенфорд) — американський інформатик та дослідник мислення, який вважається винахідником терміну «Штучний інтелект», який він вжив у своїх пропозиціях 1955 року до конференції в Дартмуті 1956, винахідник мови LISP.

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

Джон Бекус

Джон Во́рнер Бе́кус (John Warner Backus, *3 грудня 1924 — †17 березня 2007) — американський вчений в галузі інформатики (комп'ютерних наук).

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

Джон Гопкрофт

Джон Едвард Гопкрофт (John Edward Hopcroft) (*7 жовтня 1939) — американський дослідник-теоретик в галузі інформатики.

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

Джеймс Вілкінсон

Джеймс Гарді Вілкінсон (James Hardy Wilkinson; 27 вересня 1919 — 5 жовтня 1986) — видатний вчений у галузі обчислювальної математики, у галузі на межі прикладної математики і інформатики.

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

Денніс Рітчі

Денніс Мак-Алістер Рі́тчі (Dennis MacAlistair Ritchie, 9 вересня 1941 — 12 жовтня 2011) — американський вчений-інформатик, відомий як розробник мови програмування C і впливом на інші мови програмування.

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

Іракліон

Іра́кліон (Ηράκλειο), або Геракліон, давня назва Кандія — столиця Криту та одне з найбільших міст Греції, адміністративний центр ному Іракліон.

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

Ернест Аллен Емерсон

Ернест Аллен Емерсон (Ernest Allen Emerson 2 червня 1954) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга.

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

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

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

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

Едвард Фейгенбаум

Едвард (Ед) Альберт Фейгенбаум (Edward Albert Feigenbaum; 20 січня 1936) — видатний американський інформатик та науковець в галузі штучного інтелекту, вважається засновником галузі експертних систем.

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

Едгар Кодд

Едгар Франк «Тед» Кодд (23 серпня 1923 — 18 квітня 2003) — британський дослідник в галузі інформатики, який, працюючи у IBM, винайшов, окрім іншого, реляційну модель даних для керування базами даних, теоретичну основу для реляційних баз даних.

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

Едмунд Кларк

Едмунд Кларк (Edmund Clarke 27 липня 1945) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга.

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

Ендрю Яо

Ендрю Цічжи Яо (24 грудня 1946) — видатний вчений у галузі інформатики і теорії алгоритмів.

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

Лабораторія основ інформатики LFCS

Лабораторія основ інформатики LFCS (Laboratory for Foundations of Computer Science) науково-дослідний інститут в единбурзькому університеті.

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

Леслі Веліент

Леслі Габріел Веліент (Leslie Gabriel Valiant; 28 березня 1946) — британський вчений-теоретик у галузі інформатики, лауреат премії Тюрінга.

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

Леслі Лампорт

Леслі Лампорт (Leslie Lamport, Нью-Йорк; 7 лютого 1941) — американський дослідник в галузі інформатики.

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

Леонард Адлеман

Леонард Макс Адлеман (Leonard Adleman.; 31 грудня 1945) — американський вчений-теоретик в області комп'ютерних наук, професор комп'ютерних наук і молекулярної біології в Університеті Південної Каліфорнії.

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

Йосиф Сіфакіс

Йосиф Сіфакіс (Ιωσήφ Σηφάκης, Joseph Sifakis, 1946 рік, Іракліон, Греція) — французький вчений грецького походження в області теорії обчислювальних систем, лауреат премії Тюрінга.

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

1969 у науці

1969 рік.

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

1970 у науці

1970 рік у науці.

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

1971 у науці

1971 рік у науці.

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

1976 у науці

1976 рік у науці У 1976 році в галузі науки і техніки сталось багато значимих подій, перерахованих нижче.

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

1977 у науці

1977 рік у науці У 1977 році в галузі науки і техніки сталось багато значимих подій, перерахованих нижче.

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

2001 у науці

2001 рік у науці У 2001 році в галузі науки і техніки відбулось багато подій, деякі з яких наведено нижче.

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

2010 у науці

«Проривом року» у 2010 журнал Science назвав розробку першої квантової машини Ендрю Клеландом та Джоном Мартінсом із Каліфорнійського університету.

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

2011 у науці

2011 рік — міжнародний рік лісів.

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

2012 у науці

2012 рік — рік Тьюрінґа.

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

2013 у науці

Без опису.

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

2014 у науці

Організацією Об'єднаних Націй 2014 рік оголошено Міжнародним роком сімейних фермерських господарств та кристалографії.

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

2015 у науці

Сонячне затемнення в Ірландії.

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

2017 у науці

Ця стаття присвячена головним науковим подіям у галузі науки в 2017 році.

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

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

Премія Тьюрінга, Премія Тюринга.

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