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

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

Современные проблемы информатики и вычислительной техники

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

Персоны в коллекции "Современные проблемы информатики"

Эдсгер Вибе Дейкстра
11 мая 1930 — 6 августа 2002

[Дейкстра]

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

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

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

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

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

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

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

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

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


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

  1. Дейкстра Э. Дисциплина программирования // М.: Мир, 1978. - С. 275.
  2. Дейкстра Эдсгер "ПРОГРАММИСТКИЕ БАСНИ"
  3. Дал У., Дейкстра Э., Хоор К. Структурное программирование / пер. с англ. С.Д. Зеленцкого, В.В. Мартынюка, Л.В. Ухова ; под ред. Э.З. Любимского, В.В. Мартынюка. — М.: Мир, 1975. — С. 247.
  4. Дейкстра Э. Конец компьютерной науки? // Открытые системы, #12, 2001

Ключевые термины:  Программирование;   Информатика;   Программирование структурное;   Алгоритм Дейкстры;   история ит;


Контекстный поиск: Задайте образец для поиска:

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

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