Більш швидкий доступ, ніж браузер!
134 відносини: ALGOL, APL, Association for Computing Machinery, Compatible Time-Sharing System, EDSAC, Ethernet, Google, Intel, LCF-нотація, ML, Multics, NP-повна задача, Pascal, RAND, Reduced Instruction Set Computing, Sketchpad, Smalltalk, Tablet PC, TCP/IP, UNIX, Крістен Нюгорд, Криптографія, Комп'ютерна безпека, Комп'ютерна графіка, Комп'ютерна мережа, Комп'ютерна програма, Кен Томпсон, Кеннет Айверсон, Пітер Наур, Програмна інженерія, Перевірка моделі, Об'єктно-орієнтоване програмування, Обчислювальна складність, Обробка транзакцій, Обробка винятків, Оле-Юган Даль, Операційна система, Операційна семантика, Асиметричні алгоритми шифрування, Архітектура комп'ютера, Автоматизоване доведення теорем, Аді Шамір, Айвен Сазерленд, Алан Кей, Алан Перліс, Алан Тюрінг, Аллен Ньюел, Амір Пнуелі, Ніклаус Вірт, Річард Карп, ..., Річард Стернз, Річард Геммінг, Рівночасність (інформатика), Радж Редді, Робін Мілнер, Робоча станція, Роберт Андре Тарджан, Роберт Флойд, Роберт Елліот Кан, Рональд Рівест, Реляційна база даних, Сільвіо Мікалі, Стівен Кук, Система керування базами даних, Синтаксичний аналіз, Тім Бернерс-Лі, Тоні Гоар, Текстовий процесор, Темпоральна логіка, Теорія складності обчислень, Теорія алгоритмів, Теорія обчислюваності, Університет Карнегі-Меллон, Фред Брукс, Френсіс Аллен, Фортран, Формальна верифікація, Фернандо Корбато, Чарльз Текер, Чарльз Бахман, Число з рухомою комою, Чисельні методи, Штучний інтелект, Шафі Голдвассер, Юріс Гартманіс, Міхаель Рабін, Мартін Геллман, Марвін Мінський, Майкл Стоунбрейкер, Мануель Блум, Мистецтво програмування, Моріс Вілкс, Мова програмування, Монітор, Мережевий протокол, Бібліотека підпрограм, Браузер, Батлер Лемпсон, Барбара Лісков, База даних, Всесвітнє павутиння, Вітфілд Діффі, Вільям Мортон Кехен, Вінтон Серф, Герберт Саймон, Генератор псевдовипадкових чисел, Дуглас Енгельбарт, Дана Скотт, Джуда Перл, Джим Ґрей, Джон Кок, Джон Маккарті, Джон Бекус, Джон Гопкрофт, Джон Лерой Геннессі, Джеймс Вілкінсон, Долар США, Дональд Кнут, Денніс Рітчі, Денотаційна семантика, Інтернет, Інформатика, Ернест Аллен Емерсон, Едсгер Дейкстра, Едвард Фейгенбаум, Едгар Кодд, Едмунд Кларк, Ендрю Яо, Лінійна алгебра, Леслі Веліент, Леслі Лампорт, Леонард Адлеман, Йосиф Сіфакіс, 1966. Розгорнути індекс (84 більше) »
ALGOL
АЛГОЛ або ALGOL (скорочення від ALGOrithmic Language — алгоритмічна мова) — сімейство імперативних мов програмування, першу версію розроблено в середині 1950-х, і стала де факто стандартною мовою публікації алгоритмів на наступні 30 років.
Новинка!!: Премія Тюрінга і ALGOL · Побачити більше »
APL
APL (вимовляють «ей-пі-ель», названа за книгою A Programming Language) — мова програмування та інтегроване середовище розробки, що доступні від низки розробників і для більшості комп'терних платформ.
Новинка!!: Премія Тюрінга і APL · Побачити більше »
Association for Computing Machinery
Асоціація обчислювальної техніки (Association for Computing Machinery, ACM) — найстаріша і найбільша міжнародна організація в комп'ютерній галузі.
Новинка!!: Премія Тюрінга і Association for Computing Machinery · Побачити більше »
Compatible Time-Sharing System
Compatible Time-Sharing System, CTSS (Сумісна система спільного часу) — одна з перших або перша операційна система з поділом часу.
Новинка!!: Премія Тюрінга і Compatible Time-Sharing System · Побачити більше »
EDSAC
EDSAC EDSAC (ElectronicDelayStorageAutomaticComputer) - електронна обчислювальна машина, що її створила в 1949 році в Кембріджському університеті (Велика Британія) група на чолі з Морісом Вілксом.
Новинка!!: Премія Тюрінга і EDSAC · Побачити більше »
Ethernet
Комбінована мережна Ethernet-картка, що підтримує підключення як через коаксіальний кабель, так і через кабель типу «вита пара». Ethernet (/ˈiːθənɛt/, від aether -> ether (ефір) та network (мережа)) — найпопулярніший протокол кабельних комп'ютерних мереж, що працює на фізичному та канальному рівні мережевої моделі OSI.
Новинка!!: Премія Тюрінга і Ethernet · Побачити більше »
Google Inc. (вимовляється, ґуґл) — американська публічна транснаціональна корпорація, яку заснували 1998 року аспіранти Стенфордського університету Ларрі Пейдж і Сергій Брін.
Новинка!!: Премія Тюрінга і Google · Побачити більше »
Intel
Intel Corporation — найбільша у світі компанія-виробник напівпровідникових елементів та пристроїв, найбільш відома як розробник та виробник x86-серії мікропроцесорів, процесорів для IBM-сумісних персональних комп'ютерів.
Новинка!!: Премія Тюрінга і Intel · Побачити більше »
LCF-нотація
LCF-нотація (LCF-код) — система позначень у комбінаторній математиці, розроблена Ледербергом і розширена Коксетером і, для подання кубічних графів, що є гамільтоновими.
Новинка!!: Премія Тюрінга і LCF-нотація · Побачити більше »
ML
ML (Meta Language) — сімейство строго типізованих мов функціонального програмування з розвиненою поліморфною системою типів і модулями що параметризуються. Подібна система типів була раніше запропонована Роджером Гіндлі у 1969 році і зараз часто називається системою Гіндлі-Мілнера. Мови даного сімейства не є чистими функціональними мовами, тому що включають і імперативні інструкції. ML викладається у багатьох західних університетах (в деяких навіть як перша мова програмування).
Новинка!!: Премія Тюрінга і ML · Побачити більше »
Multics
Multics (Multiplexed Information and Computing Service) — одна з перших операційних систем з поділом часу виконання програм (time-sharing operating system).
Новинка!!: Премія Тюрінга і Multics · Побачити більше »
NP-повна задача
Діаграма Венна відношення між класами складності задач (у випадку вірності гіпотези P ≠ NP). NP-повна задача (NP-complete) — в теорії алгоритмів та теорії складності це задача, що належить до класу NP та всі задачі з класу NP можна звести до неї за поліноміальний час.
Новинка!!: Премія Тюрінга і NP-повна задача · Побачити більше »
Pascal
Pascal — алгоритмічна мова програмування універсального призначення.
Новинка!!: Премія Тюрінга і Pascal · Побачити більше »
RAND
RAND Corporation («Research ANd Development») — американський аналітичний центр заснований 14 травня 1948 року в Санта-Моніка (Каліфорнія), вважається першим аналітичним центром у світі.
Новинка!!: Премія Тюрінга і RAND · Побачити більше »
Reduced Instruction Set Computing
RISC (Reduced Instruction Set Computing — обчислення зі скороченим набором команд) — архітектура процесорів зі скороченим набором команд.
Новинка!!: Премія Тюрінга і Reduced Instruction Set Computing · Побачити більше »
Sketchpad
Sketchpad (Скетчпад — альбом для ескізів; або — робот-кресляр) — революційна комп'ютерна програма, створена Айваном Сазерлендом 1963 року як докторська дисертація.
Новинка!!: Премія Тюрінга і Sketchpad · Побачити більше »
Smalltalk
Smalltalk (вимовляється) — об'єктно-орієнтована мова програмування з динамічною типізацією, розроблена в Xerox PARC Аланом Кейем, Деном Інгаллсом, Тедом Кеглером, Адель Голдберг в 1970-х роках.
Новинка!!: Премія Тюрінга і Smalltalk · Побачити більше »
Tablet PC
HP Compaq tablet PC з поворотним екраном Microsoft Tablet PC - апаратно-програмна платформа, що являє собою безклавіатурний або клавіатурний планшетний комп'ютер, який завдяки операційній системі Microsoft Windows Tablet PC Edition підтримує такі нестандартні типи введення даних, як голосове та рукописне введення.
Новинка!!: Премія Тюрінга і Tablet PC · Побачити більше »
TCP/IP
Стек протоколів TCP/IP, TCP/IP-модель — набір протоколів мережі Інтернет.
Новинка!!: Премія Тюрінга і TCP/IP · Побачити більше »
UNIX
Девіз UNIX у формі номерного знака Генеалогічне дерево Unix-систем UNIX® (Ю́нікс) — операційна система, розробку якої впродовж 1969-1970-х років здійснювала група співробітників підрозділу Bell Labs корпорації AT&T у складі Кена Томпсона, Денніса Рітчі та Дугласа Макілроя.
Новинка!!: Премія Тюрінга і UNIX · Побачити більше »
Крістен Нюгорд
Крістен Нюгорд (27 серпня 1926 року, Осло — 10 серпня 2002 року, Осло) — норвезький вчений у галузі теорії обчислювальних систем, лауреат премії Тюрінга.
Новинка!!: Премія Тюрінга і Крістен Нюгорд · Побачити більше »
Криптографія
Другої світової війни для шифрування повідомлень для вищого військового керівництва. Криптогра́фія (від грецького κρυπτός — прихований і gráphein — писати) — наука про математичні методи забезпечення конфіденційності, цілісності і автентичності інформації.
Новинка!!: Премія Тюрінга і Криптографія · Побачити більше »
Комп'ютерна безпека
Комп'ютерна безпека — це сукупність проблем у галузі телекомунікацій та інформатики, пов'язаних з оцінкою і контролюванням ризиків, що виникають при користуванні комп'ютерами та комп'ютерними мережами і розглядуваних з точки зору конфіденційності, цілісності і доступності.
Новинка!!: Премія Тюрінга і Комп'ютерна безпека · Побачити більше »
Комп'ютерна графіка
Мартіном Ньюеллем в 1975 році. 3D-Модель у середовищі редактора тривимірної графіки Blender Комп'ютерна гра́фіка — 1) в науці - розділ інформатики, який вивчає методи цифрового синтезу і обробки візуального контенту; 2) вид сучасного мистецтва, яке також називають цифровим, що входить до загального медіа-арту - зображення, які створюються, перетворюються, оцифровуються, обробляються і виводяться засобами обчислювальної техніки, включаючи апаратні і програмні засоби, Рухома комп'ютерна графіка називається комп'ютерним відео або комп'ютерною анімацією. Для виведення графіки використовують монітор, принтер, плотер тощо. Робота з комп'ютерною графікою — один з найпопулярніших напрямків використання персонального комп'ютера, до того ж виконують цю роботу не тільки професійні художники і дизайнери. На будь-яких підприємствах іноді виникає необхідність подачі рекламних оголошень в газетах і журналах або просто у випуску рекламної листівки або буклету. Без комп'ютерної графіки не обходиться жодна сучасна мультимедійна програма. Робота над графікою становить до 90% робочого часу програмістських колективів, які випускають програми масового використання. Розрізняють 3 види комп'ютерної графіки. Це растрова графіка, векторна графіка і фрактальна графіка. Вони відрізняються принципами формування зображення при відображенні на екрані монітора або при друці на папері. Растрову графіку використовують при розробці електронних (мультимедійних) і поліграфічних видань. Ілюстрації, виконані засобами растрової графіки, рідко створюють вручну за допомогою комп'ютерних програм. Частіше для цього використовують скановані ілюстрації, підготовлені художником на папері, або фотографії. Останнім часом для вводу растрових зображень в комп'ютер широко використовують цифрові фото- і відеокамери. Більшість графічних редакторів, призначених для роботи з растровими ілюстраціями, орієнтовані більше на обробку, а не створення зображення. В Інтернеті поки що використовують тільки растрові ілюстрації. Програмні засоби для роботи з векторною графікою призначені найперше для створення ілюстрацій і менше для їхньої обробки. Такі засоби широко використовують в рекламних агентствах, дизайнерських бюро, редакціях і виданнях. Оформлювальні роботи із застосуванням шрифтів і простих геометричних елементів, вирішуються засобами векторної графіки набагато простіше. Існують приклади високохудожніх творів, створених засобами векторної графіки, але вони скоріше винятки, ніж правило, оскільки художня підготовка ілюстрацій засобами векторної графіки надзвичайно складна. Програмні засоби для роботи з фрактальною графікою призначені для автоматичної генерації зображення шляхом математичних розрахунків. Створення фрактальної художньої композиції полягає не в рисуванні чи оформленні, а в програмуванні. Фрактальну графіку рідко використовують для створення друкованих або електронних документів, але її часто використовують у розважальних програмах.
Новинка!!: Премія Тюрінга і Комп'ютерна графіка · Побачити більше »
Комп'ютерна мережа
Комп'ю́терна мере́жа — система зв'язку між двома чи більше комп'ютерами.
Новинка!!: Премія Тюрінга і Комп'ютерна мережа · Побачити більше »
Комп'ютерна програма
Комп'ютерна програма Комп'ю́терна програ́ма (Computer program) — набір інструкцій у вигляді слів, цифр, кодів, схем, символів чи у будь-якому іншому вигляді, виражених у формі, придатній для зчитування (комп'ютером), які приводять його у дію для досягнення певної мети або результату (це поняття охоплює як операційну систему, так і прикладну програму, виражені у вихідному або об'єктному кодах).
Новинка!!: Премія Тюрінга і Комп'ютерна програма · Побачити більше »
Кен Томпсон
Ке́ннет Лейн То́мпсон (Kenneth Lane Thompson), народився 4 лютого 1943 року, знаний в хакерських колах як ken, піонер комп'ютерної науки.
Новинка!!: Премія Тюрінга і Кен Томпсон · Побачити більше »
Кеннет Айверсон
Кеннет Юджин Айверсон (Kenneth Eugene Iverson; 17 грудня 1920 — 19 жовтня 2004) — канадський науковець в галузі теоретичної інформатики відомий своїми дослідженнями та вагомими внесками у розробку мов програмування.
Новинка!!: Премія Тюрінга і Кеннет Айверсон · Побачити більше »
Пітер Наур
Пітер Наур (25 жовтня 1928—3 січня 2016) — данський піонер інформатики та лауреат премії Тюрінга.
Новинка!!: Премія Тюрінга і Пітер Наур · Побачити більше »
Програмна інженерія
Програмна інженерія — це застосування системного, вимірюваного підходу до розробки, використання та супроводу програмного забезпечення, та дослідження цих підходів, тобто застосування принципів інженерії до програмного забезпечення.
Новинка!!: Премія Тюрінга і Програмна інженерія · Побачити більше »
Перевірка моделі
Перевірка моделі або перевірка властивості полягає у вичерпній і автоматичній перевірці чи задана модель певної системи відповідає заданій специфікації.
Новинка!!: Премія Тюрінга і Перевірка моделі · Побачити більше »
Об'єктно-орієнтоване програмування
Об'є́ктно-орієнто́ване програмува́ння (ООП) — одна з парадигм програмування, яка розглядає програму як множину «об'єктів», що взаємодіють між собою.
Новинка!!: Премія Тюрінга і Об'єктно-орієнтоване програмування · Побачити більше »
Обчислювальна складність
Складність обчислювальних процесів — це поняття теорії складності обчислень, оцінка ресурсів (зазвичай часу) необхідних для виконання алгоритму.
Новинка!!: Премія Тюрінга і Обчислювальна складність · Побачити більше »
Обробка транзакцій
Обробка транзакцій (aнгл. Transaction processing) - це обробка інформації в комп'ютерній науці, яка ділиться на окремі неподільні операції, які називаються транзакціями.
Новинка!!: Премія Тюрінга і Обробка транзакцій · Побачити більше »
Обробка винятків
Обро́бка ви́нятків (також опрацьо́вування (обробля́ння) винятко́вих ситуа́цій, exception handling) — механізм мов програмування, призначений для обробки помилок часу виконання і інших можливих проблем (винятків), які можуть виникнути при виконанні програми.
Новинка!!: Премія Тюрінга і Обробка винятків · Побачити більше »
Оле-Юган Даль
Оле-Юган Даль (Ole-Johan Dahl) (12 жовтня 1931 - 29 червня 2002) - норвезький інформатик.
Новинка!!: Премія Тюрінга і Оле-Юган Даль · Побачити більше »
Операційна система
GNU/Linux, дистрибутив Ubuntu Операці́йна систе́ма, скорочено ОС (operating system, OS) — це базовий комплекс програм, що виконує управління апаратною складовою комп'ютера або віртуальної машини; забезпечує керування обчислювальним процесом і організовує взаємодію з користувачем.
Новинка!!: Премія Тюрінга і Операційна система · Побачити більше »
Операційна семантика
Конотати́вна (операці́йна) сема́нтика – це спосіб опису комп’ютерної системи за допомогою послідовностей кроків обчислення.
Новинка!!: Премія Тюрінга і Операційна семантика · Побачити більше »
Асиметричні алгоритми шифрування
Принцип роботи асиметричної криптосистеми Асиметричні криптосистеми — ефективні системи криптографічного захисту даних, які також називають криптосистемами з відкритим ключем.
Новинка!!: Премія Тюрінга і Асиметричні алгоритми шифрування · Побачити більше »
Архітектура комп'ютера
Конвеєрність є ключовою концепцією в архітектурі комп'ютера. У комп'ютерній інженерії і інформатиці, архітектура комп'ютера (Computer architecture) — це набір дисциплін, які описують функціональність, організацію та реалізацію комп'ютерних систем.
Новинка!!: Премія Тюрінга і Архітектура комп'ютера · Побачити більше »
Автоматизоване доведення теорем
Автоматичне доведення (Automated theorem proving) — доведення, реалізоване на програмному рівні.
Новинка!!: Премія Тюрінга і Автоматизоване доведення теорем · Побачити більше »
Аді Шамір
Аді Шамір (עדי שמיר; 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) — американський математик, його роботи мали великий вплив на розвиток інформатики та телекомунікацій.
Новинка!!: Премія Тюрінга і Річард Геммінг · Побачити більше »
Рівночасність (інформатика)
філософів, що обідають» є прикладом класичної задачі багатозадачності та доступу до спільних ресурсів. Рівночасність (Конкурентність, паралелізм) (concurrency від concurro — збіг) — в інформатиці називається властивість систем, коли декілька процесів обчислення відбуваються водночас, і, можливо, взаємодіють один з одним. Вивчення багатозадачних систем включає широке коло різноманітних систем, починаючи з щільно зв'язаних, в основному синхронних паралельних систем, до слабо зв'язаних, сильно асинхронних розподілених систем.
Новинка!!: Премія Тюрінга і Рівночасність (інформатика) · Побачити більше »
Радж Редді
Даббала Раджагопал «Радж» Редді (13 червня 1937 року, Катур, Індія) — індійсько-американський вчений у галузі теорії обчислювальних систем, професор з інформатики та робототехніки при університеті Карнегі — Меллон.
Новинка!!: Премія Тюрінга і Радж Редді · Побачити більше »
Робін Мілнер
Артур Джон Робін Ґорел Мілнер (Arthur John Robin Gorell Milner; 13 січня 1934 р. у (Плімут, Англія) — 20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики.
Новинка!!: Премія Тюрінга і Робін Мілнер · Побачити більше »
Робоча станція
1990-х років). «миша» і мережу Ethernet. Робоча станція (workstation) — комплекс апаратних і програмних засобів, призначених для вирішення певного кола завдань.
Новинка!!: Премія Тюрінга і Робоча станція · Побачити більше »
Роберт Андре Тарджан
Роберт Андре Тарджан (Robert Endre Tarjan; народився 30 квітня 1948, у Помоні, США) — американський науковець у галузі теорії обчислювальних систем.
Новинка!!: Премія Тюрінга і Роберт Андре Тарджан · Побачити більше »
Роберт Флойд
Роберт (Боб) Флойд (Robert W. (Bob) Floyd, 8 червня 1936 — 25 вересня 2001) — видатний американський науковець в галузі інформатики.
Новинка!!: Премія Тюрінга і Роберт Флойд · Побачити більше »
Роберт Елліот Кан
Роберт Елліот (Боб) Кан (Robert Elliot Kahn, Bob Kahn.; * 23 грудня 1938, Нью-Йорк, США) — винахідник протоколу TCP; спільно з Вінтоном Серфом — винахідник протоколу IP.
Новинка!!: Премія Тюрінга і Роберт Елліот Кан · Побачити більше »
Рональд Рівест
Ро́нальд Лінн Рі́вест (нар. 1947, Скенектаді, Нью-Йорк) — американський спеціаліст з криптографії.
Новинка!!: Премія Тюрінга і Рональд Рівест · Побачити більше »
Реляційна база даних
Реляційна база даних — база даних, заснована на реляційній моделі даних.
Новинка!!: Премія Тюрінга і Реляційна база даних · Побачити більше »
Сільвіо Мікалі
Сільвіо Мікалі (Silvio Micali 13 жовтня 1954) — італійський фахівець в галузі інформатики, криптографії та інформаційної безпеки.
Новинка!!: Премія Тюрінга і Сільвіо Мікалі · Побачити більше »
Стівен Кук
Стівен Артур Кук (Stephen Arthur Cook 14 грудня 1939) — канадський та американський математик та науковець у галузі теоретичної інформатики, лауреат премії Тюрінга.
Новинка!!: Премія Тюрінга і Стівен Кук · Побачити більше »
Система керування базами даних
Систе́ма керування ба́зами да́них (СКБД) або Систе́ма управлі́ння ба́зами да́них (СУБД) — комплекс програмного забезпечення, що надає можливості створення, збереження, оновлення та пошуку інформації в базах даних з контролем доступу до даних.
Новинка!!: Премія Тюрінга і Система керування базами даних · Побачити більше »
Синтаксичний аналіз
Синтакси́чний ана́ліз (па́рсинг) (parsing) — в інформатиці це процес аналізу вхідної послідовності символів, з метою розбору граматичної структури згідно із заданою формальною граматикою.
Новинка!!: Премія Тюрінга і Синтаксичний аналіз · Побачити більше »
Тім Бернерс-Лі
Сер Тімоті Джон Бе́рнерс-Лі (Sir Timothy John «Tim» Berners-Lee; 8 червня 1955, Лондон) — британський спеціаліст з інформатики, творець HTTP, HTML, URI і автор інших розробок в галузі інформаційних технологій, засновник та голова консорціуму W3C, головний розробник Всесвітньої павутини (спільно з Робертом Кайо), автор концепції семантичної павутини.
Новинка!!: Премія Тюрінга і Тім Бернерс-Лі · Побачити більше »
Тоні Гоар
Сер Чарлз Ентоні Річард Гоар (Charles Antony Richard Hoare або Tony Hoare або C.A.R. Hoare, народився 11 січня 1934, Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка) — англійський вчений, що працює в галузі інформатики та обчислювальної техніки.
Новинка!!: Премія Тюрінга і Тоні Гоар · Побачити більше »
Текстовий процесор
Те́кстовий проце́сор (word processor) — комп'ютерна програма, що дозволяє виконувати операції набору, редагування та оформлення тексту.
Новинка!!: Премія Тюрінга і Текстовий процесор · Побачити більше »
Темпоральна логіка
Темпоральна логіка (temporal logic) в логіці — це логіка, яка враховує причинно-наслідкові зв'язки в умовах часу.
Новинка!!: Премія Тюрінга і Темпоральна логіка · Побачити більше »
Теорія складності обчислень
Теорія складності обчислень — підрозділ теоретичної інформатики, що займається дослідженням складності алгоритмів для розв'язання задач на основі формально визначених моделей обчислювальних пристроїв.
Новинка!!: Премія Тюрінга і Теорія складності обчислень · Побачити більше »
Теорія алгоритмів
Теорія алгоритмів (Theory of computation) — окремий розділ математики, що вивчає загальні властивості алгоритмів.
Новинка!!: Премія Тюрінга і Теорія алгоритмів · Побачити більше »
Теорія обчислюваності
Теорія обчислюваності, також відома як теорія рекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст.
Новинка!!: Премія Тюрінга і Теорія обчислюваності · Побачити більше »
Університет Карнегі-Меллон
Університет Карнегі-Меллон (Carnegie Mellon University, CMU) — приватний університет і дослідний центр, розташований в місті Піттсбург, штат Пенсильванія, США.
Новинка!!: Премія Тюрінга і Університет Карнегі-Меллон · Побачити більше »
Фред Брукс
Фредерік Філіпс Брукс (Frederick Phillips Brooks, Jr.; народився 19 квітня, 1931) — інженер програмного забезпечення та вчений-інформатик, найбільш відомий за управління розробкою ОС System/360 для IBM, та її наступників, а пізніше за опис цього процесу в книжці Міфічний людино-місяць.
Новинка!!: Премія Тюрінга і Фред Брукс · Побачити більше »
Френсіс Аллен
Френсіс Елізабет Аллен (Frances Elizabeth Allen, нар. 1932) — американська вчена, піонерка в області оптимізації компіляторів.
Новинка!!: Премія Тюрінга і Френсіс Аллен · Побачити більше »
Фортран
Фортран (Fortran) (раніше FORTRAN — скорочення від «The IBM Mathematical Formula Translating System», тобто «Система трансляції математичних формул від IBM») — це імперативна мова програмування загального призначення, яка особливо підходить для інтенсивних чисельних та наукових обчислень.
Новинка!!: Премія Тюрінга і Фортран · Побачити більше »
Формальна верифікація
Верифіка́ція форма́льна — в інформаційних технологіях, доказ, або заперечення відповідності системи у відношенні до певної формальної специфікації або характеристики, із використанням формальних методів математики.
Новинка!!: Премія Тюрінга і Формальна верифікація · Побачити більше »
Фернандо Корбато
Фернандо Хосе Корбато (1 липня 1926, Окленд (Каліфорнія) — американський вчений, співробітник Массачусетського обчислювального центру.
Новинка!!: Премія Тюрінга і Фернандо Корбато · Побачити більше »
Чарльз Текер
Чарльз Текер (Charles P. (Chuck) Thacker, 26 лютого 1943, Пасадена, США — 12 червня 2017, Пало-Альто, США) — американський вчений у галузі теорії обчислювальних систем, лауреат премії Тюрінга 2009 року.
Новинка!!: Премія Тюрінга і Чарльз Текер · Побачити більше »
Чарльз Бахман
Чарлз Вільям Бахман (Charles William Bachman; 11 грудня 1924, Манхеттен (Канзас), США — 13 липня 2017) — американський вчений у галузі комп'ютерних наук, зокрема розробки баз даних.
Новинка!!: Премія Тюрінга і Чарльз Бахман · Побачити більше »
Число з рухомою комою
Число з рухомою комою — форма представлення дійсних чисел, в якій число зберігається у формі мантиси і показника степеня.
Новинка!!: Премія Тюрінга і Число з рухомою комою · Побачити більше »
Чисельні методи
Чисе́льні ме́тоди, також числові́ ме́тоди, чисе́льний ана́ліз — методи наближеного або точного розв'язування задач чистої або прикладної математики, які ґрунтуються на побудові послідовності дій над скінченною множиною чисел.
Новинка!!: Премія Тюрінга і Чисельні методи · Побачити більше »
Штучний інтелект
Шту́чний інтеле́кт (Artificial intelligence, AI) — розділ комп'ютерної лінгвістики та інформатики, що опікується формалізацією проблем та завдань, які нагадують справи, виконувані людиною.
Новинка!!: Премія Тюрінга і Штучний інтелект · Побачити більше »
Шафі Голдвассер
Шафріра (Шафі) Ґолдвассер (שפרירה גולדווסר; 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) — американський науковець венесуельського походження, відомий в галузі теоретичної інформатики через свої внески до теорії складності обчислень та її використання в галузі криптографії.
Новинка!!: Премія Тюрінга і Мануель Блум · Побачити більше »
Мистецтво програмування
Мистецтво програмування (The Art of Computer Programming (TAOCP)) — фундаментальна монографія відомого американського фахівця в галузі комп'ютерних наук та математикa Дональда Кнута, присвячена розгляду та аналізу найважливіших алгоритмів, що застосовуються в інформатиці.
Новинка!!: Премія Тюрінга і Мистецтво програмування · Побачити більше »
Моріс Вілкс
Моріс Вінсент Вілкс (Maurice Vincent Wilkes; * 26 червня 1913 — † 29 листопада 2010) — британський вчений у галузі комп'ютерних наук.
Новинка!!: Премія Тюрінга і Моріс Вілкс · Побачити більше »
Мова програмування
Мо́ва програмува́ння (Programming language) — це штучна мова, створена для передачі команд машинам, зокрема комп'ютерам.
Новинка!!: Премія Тюрінга і Мова програмування · Побачити більше »
Монітор
Рідкокристалічний монітор роздільної здатності моніторівМоніто́р (monitor — слідкувати) або дисплей (display — відображувати) — електронний пристрій для відображення інформації.
Новинка!!: Премія Тюрінга і Монітор · Побачити більше »
Мережевий протокол
Мережний протоко́л у комп'ютерних мережах — набір правил, що визначає комп'ютери у мережі.
Новинка!!: Премія Тюрінга і Мережевий протокол · Побачити більше »
Бібліотека підпрограм
Бібліотека (від library) — збірка об'єктів чи підпрограм для вирішення близьких за тематикою задач.
Новинка!!: Премія Тюрінга і Бібліотека підпрограм · Побачити більше »
Браузер
Зона впливу Opera Бра́узер, також веб-переглядач (browser — переглядач) — програмне забезпечення для комп'ютера або іншого електронного пристрою, як правило, під'єднаного до Інтернету, що дає можливість користувачеві взаємодіяти з текстом, малюнками або іншою інформацією на гіпертекстовій веб-сторінці.
Новинка!!: Премія Тюрінга і Браузер · Побачити більше »
Батлер Лемпсон
Батлер Райт Лемпсон (Butler Wright Lampson 23 грудня 1943) — американський науковець в галузі інформатики відомий внесками у розвиток та реалізацію персональних комп'ютерних систем.
Новинка!!: Премія Тюрінга і Батлер Лемпсон · Побачити більше »
Барбара Лісков
Барбара Лісков (Barbara Liskov; при народженні: Барбара Джейн Х'юберман, Barbara Jane Huberman; *7 листопада 1939) — американська дослідниця в галузі інформатики, лауреат премії Тюрінга 2008 року.
Новинка!!: Премія Тюрінга і Барбара Лісков · Побачити більше »
База даних
База даних (database) – сукупність даних, організованих відповідно до концепції, яка описує характеристику цих даних і взаємозв'язки між їх елементами; ця сукупність підтримує щонайменше одну з областей застосування (за стандартом ISO/IEC 2382:2015).
Новинка!!: Премія Тюрінга і База даних · Побачити більше »
Всесвітнє павутиння
Робертом Кайо Всесві́тня мережа (World Wide Web, скорочено: WWW; також: всемережжя, веб або тене́та) — найбільше всесвітнє багатомовне сховище інформації в електронному вигляді: десятки мільйонів пов'язаних між собою документів, що розташовані на комп'ютерах, розміщених на всій земній кулі.
Новинка!!: Премія Тюрінга і Всесвітнє павутиння · Побачити більше »
Вітфілд Діффі
Вітфілд Діффі (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) — американський дослідник-теоретик в галузі інформатики.
Новинка!!: Премія Тюрінга і Джон Гопкрофт · Побачити більше »
Джон Лерой Геннессі
Джон Лерой Геннессі (John LeRoy Hennessy) (22 вересня 1952 року) — американський вчений, академік та бізнесмен, що працює в галузі інформатики та мікропроцесорів.
Новинка!!: Премія Тюрінга і Джон Лерой Геннессі · Побачити більше »
Джеймс Вілкінсон
Джеймс Гарді Вілкінсон (James Hardy Wilkinson; 27 вересня 1919 — 5 жовтня 1986) — видатний вчений у галузі обчислювальної математики, у галузі на межі прикладної математики і інформатики.
Новинка!!: Премія Тюрінга і Джеймс Вілкінсон · Побачити більше »
Долар США
До́лар США або Америка́нський до́лар (United States dollar, US dollar, American dollar; код: USD, символ: $) — офіційна валюта Сполучених Штатів Америки та деяких інших країн.
Новинка!!: Премія Тюрінга і Долар США · Побачити більше »
Дональд Кнут
Дональд Ервін Кнут (Donald Ervin Knuth, 10 січня 1938) — інформатик, ідеолог програмування та почесний професор Стенфордського університету.
Новинка!!: Премія Тюрінга і Дональд Кнут · Побачити більше »
Денніс Рітчі
Денніс Мак-Алістер Рі́тчі (Dennis MacAlistair Ritchie, 9 вересня 1941 — 12 жовтня 2011) — американський вчений-інформатик, відомий як розробник мови програмування C і впливом на інші мови програмування.
Новинка!!: Премія Тюрінга і Денніс Рітчі · Побачити більше »
Денотаційна семантика
Денотати́вна сема́нтика — це підхід до формалізації семантики програмних систем за допомогою математичних об'єктів, які описують зміст системи.
Новинка!!: Премія Тюрінга і Денотаційна семантика · Побачити більше »
Інтернет
Opte Project Кількість точок доступу до мережі Інтернет на 10000 жителів Кількість користувачів Інтернету у відсотках від населення країни (2015 р.) Інтерне́т (від Internet), міжмере́жжя — всесвітня система сполучених комп'ютерних мереж, що базуються на комплекті Інтернет-протоколів.
Новинка!!: Премія Тюрінга і Інтернет · Побачити більше »
Інформатика
Інформа́тика (informatics, information science; Informatik; информатика) — теоретична та прикладна (технічна, технологічна) дисципліна, що вивчає структуру і загальні властивості інформації, а також методи і (технічні) засоби її створення, перетворення, зберігання, передачі та використання в різних галузях людської діяльності.
Новинка!!: Премія Тюрінга і Інформатика · Побачити більше »
Ернест Аллен Емерсон
Ернест Аллен Емерсон (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) — видатний вчений у галузі інформатики і теорії алгоритмів.
Новинка!!: Премія Тюрінга і Ендрю Яо · Побачити більше »
Лінійна алгебра
Ліні́йна а́лгебра — важлива частина алгебри, що вивчає вектори, векторні простори, лінійні відображення та системи лінійних рівнянь.
Новинка!!: Премія Тюрінга і Лінійна алгебра · Побачити більше »
Леслі Веліент
Леслі Габріел Веліент (Leslie Gabriel Valiant; 28 березня 1946) — британський вчений-теоретик у галузі інформатики, лауреат премії Тюрінга.
Новинка!!: Премія Тюрінга і Леслі Веліент · Побачити більше »
Леслі Лампорт
Леслі Лампорт (Leslie Lamport, Нью-Йорк; 7 лютого 1941) — американський дослідник в галузі інформатики.
Новинка!!: Премія Тюрінга і Леслі Лампорт · Побачити більше »
Леонард Адлеман
Леонард Макс Адлеман (Leonard Adleman.; 31 грудня 1945) — американський вчений-теоретик в області комп'ютерних наук, професор комп'ютерних наук і молекулярної біології в Університеті Південної Каліфорнії.
Новинка!!: Премія Тюрінга і Леонард Адлеман · Побачити більше »
Йосиф Сіфакіс
Йосиф Сіфакіс (Ιωσήφ Σηφάκης, Joseph Sifakis, 1946 рік, Іракліон, Греція) — французький вчений грецького походження в області теорії обчислювальних систем, лауреат премії Тюрінга.
Новинка!!: Премія Тюрінга і Йосиф Сіфакіс · Побачити більше »
1966
Без опису.
Новинка!!: Премія Тюрінга і 1966 · Побачити більше »
Перенаправлення тут:
Премія Тьюрінга, Премія Тюринга.
