Математические вопросы кибернетики и вычислительной техники, № 8
Отв. ред. И. Д. Заславский, Издательство АН Армянской ССР, Ереван 1975
Конструктивная математика |
|
Ответственный редактор.
|
|
Предисловие.
|
Алгоритмическая теория сложности |
|
Тер-Захарян, Н. П.
Количественные характеристики языка многоместных рекурсивных функций. стр. 9-35 |
|
Назарян, Г. А.
О реализации булевых функций в алгорифмических языках. стр. 36-56 |
|
Цейтин, Г. С., Чубарян, А. А.
О некоторых оценках длин логических выводов в классическом исчислении высказываний. стр. 57-64 |
Конструктивный математический анализ |
|
Манукян, С. Н.
Некоторые свойства разбиений плоскости невырожденными кривыми. стр. 65-96 |
Конструктивная логика |
|
Заславский, И. Д.
О конструктивной истинности суждений и некоторых нетрадиционных системах конструктивной логики. стр. 97-154 |
Конструктивные методы распознавания образов |
|
Погосян, Э. М., Саркисян, О. А.
Об одной формализации индуктивного обобщения. стр. 155-175 |
|
Саркисян, О. А.
Обобщенные ∆-графы. стр. 176-186 |
|
Содержание.
|
|
Замеченные опечатки.
|