У 1957-1958 рр. в Києвi (В.Королюк, Е.Ющенко) було розроблено унiверсальну процедурно-орiєнтовану (адресну) мову програмування; в Москвi А.Ляпунов зi спiвробiтниками й учнями розробив мову опису операторних схем, створено першi системи автоматизованого програмування. Розпочато роботу з теорiї автоматiв, штучного iнтелекту й дискретного аналiзу.