Номер 10, страница 76 - гдз по информатике 11 класс учебник Босова, Босова

10. Подготовьте краткое сообщение об одном из учёных (А. Тьюринг, Э. Пост, А. Н. Колмогоров, А. А. Марков и др.), внёсших вклад в развитие теории алгоритмов.

Андрей Андреевич Марков

Андрей Андреевич Марков (22 сентября 1903 — 11 октября 1979) — советский математик, сын известного русского математика А. А. Маркова. Окончил Восьмую Петроградскую Гимназию в 1919 году; Ленинградский университет в 1924 году; аспирантуру в Астрономическом Институте (Ленинград) в 1928 году. Ученая степень доктора физико-математических наук присвоена без защиты диссертации в 1935 году. Член-корреспондент. Академии наук СССР с 1953 года.

Награждён орденом Ленина (1954). Премия имени П. Л. Чебышёва АН СССР (1969).

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

Андрею Андреевичу Маркову удалось доказать неразрешимость проблемы равенства в ассоциативных системах. Он вывел ключевые проблемы гомеоморфии и топологии, а также стал основателем и создателем школы конструктивной логики и математики в Советском Союзе. Именно его авторству принадлежит термин нормального алгоритма.

Основные труды по топологии (доказал неразрешимость проблемы гомеоморфизма), топологической алгебре, теории динамических систем, теории алгоритмов. Наиболее важные работы Маркова относятся к конструктивной математике, где он создал научную школу. Занимался практическими вопросами математической логики, в частности её применениями в теории ЭВМ.