11 mai 1930 - Дейкстра Эдсгер Вайб
Description:
Выдающийся специалист в области теоретического программирования, автор ряда книг, в том числе классической монографии "Дисциплина программирования". Вся его научная деятельность была посвящена разработке методов создания "правильных" программ, корректность которых может быть доказана формальными методами. Будучи одним из авторов концепции структурного программирования, Дийкстра проповедовал отказ от использования инструкции GOTO. В 1972 году его научные заслуги были отмечены премией Тьюринга. При вручении премии один из выступающих так охарактеризовал деятельность Дийкстры: "Это образец ученого, который программирует, не прикасаясь к компьютеру, и делает все возможное, чтобы его студенты поступали также и представляли информатику, как раздел математики".Ajouté au bande de temps:
Date:
11 mai 1930
Maintenaint
~ Il y a 95 ans