Cтраница 1
Премия Тьюринга 1982 г. была вручена Стивену Артуру Ку-жу, профессору информатики университета Торонто, на ежегодной конференции АСМ в Далласе 25 октября 1982 г. Эта награда - высшее признание Ассоциацией технических достижений в информатике. [1]
Премия Тьюринга ежегодно присуждается ассоциацией АСМ, человеку, внесшему вклад технического характера в деятельность программистского сообщества, причем такой вклад, который оказал существенное влияние на достаточно важную область информатики. [2]
Премия Тьюринга 1978 г. Ассоциации по вычислительной технике ( АСМ) была вручена Роберту Флойду председателем Комитета по присуждению премий Уолтером Карлсоном 4 декабря на ежегодной конференции Ассоциации в Вашингтоне. [3]
Премия Тьюринга ACM присуждается ежегодно в честь А. М. Тьюринга, английского математика, чьи исследования: явились большим вкладом в информатику. [4]
Получить премию Тьюринга доставляет огромное удовольствие, а признание работы, которая проводилась в течение стольких лет, одновременно радует и вдохновляет. [5]
Человек, получающий премию Тьюринга в этом году, является настоящим пионером в области технологии создания баз данных. [6]
Книга включает лекции лауреатов премии Тьюринга, которой отмечаются выдающиеся достижения в области программирования, вычислительной математики, математического обеспечения ЭВМ. Вирт ( Швейцария) и др., книги которых переводились на русский язык и известны советским читателям. Ряд лекций сопровождается послесловиями авторов, отражающими современное состояние и перспективы исследований. [7]
Стефен Кук, лауреат премии Тьюринга 1982 года, получил ученую степень доктора философии в области математики в Гарвардском университете в 1966 г. и вскоре стал сотрудником факультета математики университета штата Калифорния в Беркли. В 1970 г. он переходит на факультет информатики университета г. Торонто, где читает курсы информатики студентам младших и старших курсов. Он также проводит научные исследования по вычислительной сложности и теории конструктивно осуществимых доказательств, которые он описывает как важнейшие способы связать воедино математическую логику и теорию сложности. [8]
Кен Томпсон стал солауреатом премии Тьюринга 1983 г. за участие в разработке и реализации операционной системы UNIX. [9]
Дэнис Ритчи, награжденный премией Тьюринга 1983 г. вместе с Кеном Томпсоном, стал штатным сотрудником AT & T Bell Laboratories, Мюррей Хилл, Нью-Джерси, в 1968 г., где он продолжает разрабатывать языки программирования и операционные системы. Группа Ритчи и Томпсона больше Bcefo известна как создатели и реализаторы операционной системы UNIX и. Си, на котором написана эта система. [10]
Подготавливая доклад по случаю получения премии Тьюринга, я преследовал две цели: ( 1) подчеркнуть, что реляционная модель определяет не только структурные аспекты организации данных, что хорошо заметно пользователям - она также определяет и способы обработки и аспекты, касаю-йщеся целостности информации; и ( 2) выделить минимальный набор свойств, реляционной модели, которые можно было бы использовать, чтобы отличить реляционные системы управления базами данных ( СУБД) от нереляционных систем. Для того, чтобы система могла называться реляционной, необходимо, чтобы она поддерживала каждое из этих свойств. [11]
Морис Уилкс, прочитавший лекцию лауреата премии Тьюринга в 1967 г., заметил, что вряд ли многие из последующих лауреатов будут людьми, лично знакомыми с Аланом Тьюрингом. [12]
В своей лекции по поводу получения премии Тьюринга основатель системы разделения времени высказывает примерно те же соображения, что и Брукс в книге Mythical Man-Month. Он приходит к выводу, что все сложные системы в конце концов ждет крах и, чтобы иметь хоть какой-то шанс на успех, абсолютно необходимо избегать сложности и придерживаться простоты и элегантности проекта. [13]
Однако эта официальная формулировка, обосновывающая-присуждение премии Тьюринга за 1974 г., не может в полной мере отразить роль Дональда Кнута в современной информатике и компьютерной индустрии Я знаком с профессором Аланом Дж. [14]
Как сказано в решении Комитета по Премиям Тьюринга, Успех системы проистекает из тщательного выбора нескольких ключевых идей и элегантной их реализации. [15]