Review
of the paper by A.P.Ershov "Some issues of the algorithms theory relative to programming (operator algorithms)" (hand-written copy)
ОТЗЫВ
О
работе
тов. А.П.
Ершова
«Некоторые
вопросы
теории
алгоритмов,
связанных
с
программированием
(операционные
алгоритмы)»,
представленной
в
качестве
диссертации
на
соискание
ученой
степени
кандидата
физико-математических
наук.
В
работе
вводится
понятие
операторного
алгоритма,
которое
по
существу
является
описанием
класса
математических
языков,
служащих
для
описания
алгоритмов.
Эти
языки
построены
так,
что
они
очень
удобны
для
изучения
строения
программ
и
способов
перехода
от
одних
уровней
формализации
алгоритмов
к
другим.
Такие
переходы
приходится
использовать
при
операционном
программировании,
в
частности
при
работе
с
программирующими
программами
и их
проектировании.
Эта
проблематика
возникла
в
связи
со
стремлением
к
математическому
осмысливанию
процессов
программирования
и
строения
программирующих
программ.
Автор констатирует, что вводимые им математические языки спецификаций эквивалентно
ранее
известным
формам
теории
алгоритмов.
Работа
имеет
большое
значение
как
важный
шаг в
разработке
теоретических
вопросов
программирования.
Она
выясняет
связь
между
общими
принципами
программирования
и
идеями
теории
алгоритмов.
Следует
отметить,
что
независимо,
но
несколько
позднее,
аналогичные
результаты
получила
Роза
Петер –
крупный
венгерский
математик,
работающий
в
области
математической
логики
и
теории
алгоритмов.
Работа
А.П.
Ершова
вполне
удовлетворяет
требованиям,
предъявляемым
к
кандидатским
диссертациям.
На мой
взгляд
она их
значительно
превосходит.
Я
считаю,
что
тов. А.П.
Ершов
безусловно
заслуживает
ученой
степени
кандидата
физ.-мат.
наук.
Необходимо
подчеркнуть,
что
работа
выполнена
совершенно
самостоятельно,
и что
кроме
данной
работы
тов. А.П.
Ершов
имеет
целый
ряд
разнообразных
и
весьма
ценных
(работ)
в
области
кибернетики
и
машинных
языков.