Избранные труды. Том 2. Теория алгоритмов и конструктивная математика. Математическая логика. Информатика и смежные вопросы

Марков Андрей Андреевич (младший)

В собрание сочинений выдающегося российского математика А. А. Маркова (мл.), выпускаемого к столетию со дня его рождения, включены основные работы, содержащие его наиболее важные результаты. Во втором томе публикуются работы А. А. Маркова по теории алгорифмов, конструктивной математике, математической логике, информатике.

Книга предназначена для математиков и специалистов по теории информации.

---

Table of contents :
Оглавление……Page 3
От составителя……Page 5
Список научных трудов А.А. Маркова……Page 13
Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы……Page 21
Невозможность алгорифмов тождества и делимости в теории ассоциативных систем……Page 22
Невозможность некоторых алгорифмов в ассоциативных системах (второе сообщение)……Page 23
Невозможность некоторых алгорифмов в теории ассоциативных систем……Page 24
О некоторых неразрешимых проблемах, касающихся матриц……Page 29
Невозможность некоторых алгорифмов в теории ассоциативных систем. II……Page 34
О представлении рекурсивных функций……Page 39
О зависимости аксиомы B6 от других аксиом системы Бернайса – Гёделя……Page 41
О представлении рекурсивных функций……Page 43
Конструктивная логика……Page 52
Теория алгорифмов……Page 53
Невозможность некоторых алгоритмов в теории ассоциативных систем……Page 65
Невозможность алгорифмов распознавания некоторых свойств ассоциативных систем……Page 68
Об одной неразрешимой проблеме, касающейся матриц……Page 72
О неразрешимых алгорифмических проблемах……Page 77
Непрерывность конструктивных функций……Page 85
О непрерывности конструктивных функций……Page 86
О преобразованиях, не распространяющих искажения……Page 91
Об инверсионной сложности систем функций……Page 115
Неразрешимость проблемы гомеоморфии……Page 119
О неразрешимости некоторых проблем топологии……Page 122
Об однотактных диодных схемах для сложения и вычитания по модулю n……Page 126
О конструктивных функциях……Page 156
К проблеме представимости матриц……Page 187
Принципы конструктивного направления в математике и теория алгорифмов……Page 197
Неразрешимость проблемы гомеоморфии……Page 199
О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций……Page 205
О вычислимых инвариантах……Page 210
О конструктивной математике……Page 215
Об инверсионной сложности системы булевых функций……Page 222
О неотличимости по инвариантам в теории ассоциативных исчислений……Page 225
О нормальных алгорифмах, вычисляющих булевы функции……Page 256
О нормальных алгорифмах, связанных с вычислением булевых функций……Page 260
Об одном языке для описания работы вычислительных машин……Page 310
О логике конструктивной математики……Page 349
Об одном подходе к описанию работы вычислительных машин……Page 377
Попытка построения логики конструктивной математики……Page 392
О языке Я0……Page 415
О языке Я1……Page 419
О языке Я2……Page 423
О языке Я3……Page 428
О языках Я4, Я5……Page 432
О языке Яω……Page 437
О языке Яω|……Page 440
О полноте классического исчисления предикатов в конструктивной математической логике……Page 445
Элементы математической логики……Page 450
Биография А.А. Маркова……Page 507
Логика математическая……Page 516
Об одном принципе конструктивной математической логики……Page 525
Математическая логика и вычислительная математика……Page 526
Что такое кибернетика……Page 531
Об отношении физических законов к биологическим……Page 542
Что такое конструктивная математика? Введение……Page 544
Приложения и комментарии……Page 546
Монолитно ли понятие конечного множества?……Page 548
Реализуемостная семантика раннего периода марковского конструктивизма……Page 556
О вкладе А.А. Маркова в развитие конструктивного математического анализа……Page 565
Сложностной метод в теории алгорифмов……Page 570
Вместо предисловия ко второму изданию……Page 577
Андрей Андреевич Марков. К шестидесятилетию со дня рождения……Page 600
Андрей Андреевич Марков. К семидесятилетию со дня рождения……Page 612
Андрей Андреевич Марков. К девяностолетию со дня рождения……Page 616
Комментарии……Page 624