Они изменили мир. Великие информатики
Джон фон Нейман.
Заложил основы теоретической информатики с его работы на универсальных формальных языков и лимиты на доказательство и вычисление.
Первопроходцы
Готфрид Вильгельм фон Лейбниц.
Создал математический анализ — дифференциальное и интегральное исчисления
Курт Гедель.
Заложил основы теоретической информатики с его работы на универсальных формальных языков и лимиты на доказательство и вычисление.
Языки программирования
Никлаус Вирт.
Швейцарский инженер и исследователь мира программирования. Автор и один из разработчиков языка программирования Паскаль.
Дейкстра Эдсгер Вайб.
Вся его научная деятельность была посвящена разработке методов создания "правильных" программ, корректность которых может быть доказана формальными методами.
Ершов Андрей Петрович.
Выдающийся программист и математик, академик АН СССР, автор первой в мировой практике монографии по автоматизации программирования.
Конрад Цузе.
Немецкий инженер, пионер компьютеростроения. Наиболее известен как создатель первого действительно работающего программируемого компьютера (1941) и первого языка программирования высокого уровня (1945).
Чарльз Бэббидж.
Британский математик и изобретатель, автор трудов по теории функций, механизации счета в экономике.
Лавлейс Августа Ада.
Разработала первые программы для аналитической машины Баббеджа, заложив тем самым теоретические основы программирования.
Кемени Джон.
Математик, профессор Дартмутского колледжа (США). Вместе с Томасом Курцем разработал язык программирования ВАSIС и сетевую систему пользования
