Теорія проєктування ЕОМ Сучасні засади теорії проєктування ЕОМ, зокрема розробка методики блочного синтезу, були закладені в статтях В. М. Глушкова, опублікованих в журналі «Кібернетика» у 1965—1966 та у Віснику АН СРСР у 1967. На базі цих теоретичних праць в Інституті кібернетики була створена спеціалізована мова опису алгоритмів та структур ЕОМ та методика проєктування ЕОМ, які знайшли своє практичне застосування в ряді систем автоматизованого проєктування циклу «Проєкт» та «Проєкт-2».