Никлаус Вирт
Никлаус Вирт Биография Никлауса Вирта Швейцарский ученый-компьютерщик, разработчик языков программирования Получил премию Тьюринга в 1984 году за инновационные компьютерные языки […]
Вики
Специалисты по формальным методам
Вики
Жозеф Гоген
Джозеф Гоген Биография и достижения Джозефа Гогена Гоген — американский математик и логик, внесший значительный вклад в теорию категорий и
Вики
Роберт В. Флойд
Роберт У. Флойд Биография Роберта У. Флойда Американский математик, известный своими работами в области компьютерных наук. Родился в 1936 году,
Вики
Робин Милнер
Робин Милнер Биография Робина Милнера Известный британский ученый в области компьютерных наук, родился в 1942 году. Получил образование в Кембриджском
Вики
Питер Лэндин
Питер Ландин Биография и вклад Питера Ландина Ландин был пионером в области языков программирования и информатики. Он разработал язык программирования
Вики
Гюнтер Шмидт
Гюнтер Шмидт Гюнтер Шмидт — немецкий математик и специалист по информатике. Он является профессором Мюнхенского университета Бундесвера и автором множества
Вики
Моше Варди
Моше Варди Моше Яаков Варди — израильский математик и специалист по информатике. Он является заслуженным профессором Карен Острум Джордж в