Отзыв

Отзыв

о работе А.П. Ершова "Некоторые вопросы теории алгоритмов, связанные с программированием (операторные алгорифмы)". /Текст рукописный./

Дата: 
01.01.1958
Текстовые представления: 

 

                                                        ОТЗЫВ

 

   О работе тов. А.П. Ершова «Некоторые вопросы теории алгоритмов, связанных с
   программированием (операционные алгоритмы)», представленной в качестве
   диссертации на соискание ученой степени кандидата физико-математических наук.

 

 

В работе вводится понятие операторного алгоритма, которое по существу является
описанием класса математических языков, служащих для описания алгоритмов. Эти языки
построены так, что они очень удобны для изучения строения программ и способов
перехода от одних уровней формализации алгоритмов к другим. Такие переходы
приходится использовать при операционном программировании, в частности при работе с
программирующими программами и их проектировании. Эта проблематика возникла в
связи со стремлением к математическому осмысливанию процессов программирования и
строения программирующих программ.

 

Автор констатирует, что вводимые им математические языки  спецификаций эквивалентно

ранее известным формам теории алгоритмов.

 

Работа имеет большое значение как важный шаг в разработке теоретических вопросов
программирования. Она выясняет связь между общими принципами программирования
и идеями теории алгоритмов.

 

Следует отметить, что независимо, но несколько позднее, аналогичные результаты
получила Роза Петер – крупный венгерский математик, работающий в области
математической логики и теории алгоритмов.

 

Работа А.П. Ершова вполне удовлетворяет требованиям, предъявляемым к кандидатским
диссертациям. На мой взгляд она их значительно превосходит.

Я считаю, что тов. А.П. Ершов безусловно заслуживает ученой степени кандидата
физ.-мат. наук.

 

Необходимо подчеркнуть, что работа выполнена совершенно самостоятельно, и что кроме
данной работы тов. А.П. Ершов имеет целый ряд разнообразных и весьма ценных (работ)
в области кибернетики и машинных языков.