Edsger wybe dijkstra

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

  • 2018 BCE

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

    Дейкстра Эдсгер Вайб  (11 мая 1930 - 6 августа 2002)
    Выдающийся специалист в области теоретического программирования, автор ряда книг, в том числе классической монографии "Дисциплина программирования". Вся его научная деятельность была посвящена разработке методов создания "правильных" программ, корректность которых может быть доказана формальными методами. Будучи одним из авторов концепции структурного программирования, Дийкстра проповедовал отказ от использования инструкции GOTO.