Новосибирский государственный университет

Факультет информационных технологий

ICT SBRAS
А.М.Федотов

Словарь-справочник по информатике (онтология информатики)

Эдсгер Вибе Дейкстра

11 мая 1930 — 6 августа 2002

[Дейкстра]

Основные достижения:

Дал определение науке информатике:
"informatics - научное направление, изучающее модели, методы и средства сбора, хранения, обработки и передачи информации - совокупность дисциплин естественно объединяющихся с целью семантической (смысловой) обработки информации."

Помимо обсуждения специальных вопросов, в своих статьях и книгах Дейкстра последовательно отстаивал необходимость математического подхода к программированию, который предполагает предварительное точное, всестороннее математическое описание задачи и способа её решения, формальное доказательство правильности выбранного алгоритма и последующую реализацию алгоритма в виде максимально простой, структурированной программы, корректность которой должна быть формально доказана. По мнению Дейкстры, господствующий в компьютерной индустрии подход к программированию как к процессу достижения результата методом проб и ошибок («написать код — протестировать — найти ошибки — исправить — протестировать — …») порочен, поскольку стимулирует программистов не думать над задачей, а писать код, при этом совершенно не гарантирует корректность программ, которая не может быть доказана тестированием в принципе.

Дейкстра многократно предостерегал от попыток превратить разработку программ в некий тривиальный процесс; по его мнению, программирование, в сути своей — чрезвычайно сложная научная и инженерная деятельность, и никакие новые методы и инструменты не смогут кардинально изменить это положение — они лишь освобождают программиста от части рутинной работы. Попытки же превратить программирование в простое занятие, доступное каждому, обречены на провал.

Афоризмы:
- Информатика не более наука о компьютерах, чем астрономия — наука о телескопах.
- Помимо математических способностей, жизненно важным качеством программиста является исключительно хорошее владение родным языком.
- Если отладка — процесс удаления ошибок, то программирование должно быть процессом их внесения.
-Студентов, ранее изучавших Бейсик, практически невозможно обучить хорошему программированию. Как потенциальные программисты они подверглись необратимой умственной деградации.
- Вопрос «умеет ли компьютер думать» имеет не больше смысла, чем вопрос «умеет ли подводная лодка плавать».
- Проекты, предлагающие программирование на естественном языке, гибельны по своей сути.
- Глубоко ошибается тот, кто думает, что изделиями программистов являются программы, которые они пишут. Программист обязан создавать заслуживающие доверия решения и представлять их в форме убедительных доводов, а текст написанной программы является лишь сопроводительным материалом, к которому эти доказательства применимы.
- Программирование на КОБОЛе калечит мозг, поэтому обучение ему должно трактоваться как преступление.
- На любом языке можно написать фортрановскую программу.
- Средства не виноваты в том, что их безграмотно используют.
- Тестирование программы может весьма эффективно продемонстрировать наличие ошибок, но безнадежно неадекватно для демонстрации их отсутствия.

Краткая биография:

Э́дсгер Ви́бе Де́йкстра (Edsger Wybe Dijkstra) — нидерландский учёный, идеи которого оказали большое влияние на развитие компьютерной индустрии и программирования.

В 1972 году Дейкстра стал лауреатом премии Тьюринга.

В 1980 году удостоен звания "Компьютерный пионер".


Публикации o жизни и деятельности персоны:

  1. Богатырев Руслан, Никлаус Вирт — патриарх надежного программирования // Мир ПК. - 2004. - Том Студия программирования, - Выпуск № 3.

Публикации персоны:

  1. Дейкстра Э. Конец компьютерной науки? // Открытые системы, #12, 2001
  2. Дейкстра Эдсгер Вибе, Программисткие басни // -1982.
  3. Дал У., Дейкстра Э., Хоор К. Структурное программирование / пер. с англ. С.Д. Зеленцкого, В.В. Мартынюка, Л.В. Ухова ; под ред. Э.З. Любимского, В.В. Мартынюка. — М.: Мир, 1975. — С. 247.
  4. Дейкстра Э. В., Дисциплина программирования [Главы из книги] / A discipline of programming. - М.: Мир. - 1978. - С. 275.
  5. Дейкстра Э. В., Избранные статьи // [Электронное издание]. - OberonCore.ru. - 2000.
  6. Дейкстра Эдсгер, Конец компьютерной науки? // Открытые системы. - 2001. - Выпуск № 12.
Ключевые слова:  Программирование;   Информатика;   Программирование структурное;   Алгоритм Дейкстры;   история ит;
Контекстный поиск: Задайте образец для поиска:
    

|А.М.Федотов| |Преподавание| |Современные проблемы информатики| |Информатика| |Ключевые термины| |Персоны|

Федотов Анатолий Михайлович
[SBRAS]
НГУ
ФИТ НГУ
ИВТ СО РАН
© 2007-2018, Новосибирский государственный университет, Новосибирск
© 1998-2018, Институт вычислительных технологий СО РАН, Новосибирск
© 1998-2018, Федотов А.М.
    Дата последней модификации: 29.10.2013