В модели IBM 350 RAMAC впервые появилась память на дисках (алюминевые намагниченные диски диаметром 61 см).

1957 г. Г.Саймон, А.Ньюэлл, Дж.Шоу создали GPS - универсальный решатель задач.

1957 г. Разработан первый вариант процедурно-ориентированного алгоритмического языка Алгол.

1957—1958 гг. В Киеве (В. С. Королюк, Е. Л. Ющенко) разрабатывают универсальный процедурно-ориентированный (адресный) язык программирования, в Москве А.А.Ляпунов с сотрудниками и учениками разрабатывает язык описания операторных схем, создаются первые системы автоматизированного программирования. Начата работа по теории автоматов, искусственному интеллекту и дискретному анализу. Трудами академиков И. М. Гельфанда, А. А. Дородницина, М. В. Келдыша, М. А. Лаврентьева, А. Н. Тихонова и других развивается численный анализ.