Математические вопросы кибернетики и вычислительной техники, № 10
Отв. ред. И. Д. Заславский, Издательство АН Армянской ССР, Ереван 1982
Конструктивная математика
Ответственный редактор.
Предисловие.
стр. 5-6
Алгорифмическая теория сложности
Саркисян, А. Д.
О классах функций, определяемых временем их вычисления на интеративных сетях.
стр. 7-28
Заславский, И. Д.
Логические сети и моноциклические схемы.
стр. 29-40
Назарян, Г. А.
О реализации булевых функций в алгорифмических языках при ограничениях на время работы алгорифмов.
стр. 41-52
Конструктивный математический анализ
Манукян, С. Н.
Об алгорифмах, перерабатывающих конструктивные кривые в точки.
стр. 53-71
Меликян, С. М.
О классах псевдочисел.
стр. 72-90
Математическая логика
Тер-Захарян, Н. П.
О возможностях кодирования сообщений в различных языках формальной арифметики.
стр. 91-102
Хачатрян, М. А.
Сложность выводимости некоторых пропозициональных формул.
стр. 103-123
Чубарян, А. А.
О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики.
стр. 124-140
Теория алгорифмов
Мокацян, А. А.
О w-митотических, но не btt-митотических рекусивно перечислимых множествах.
стр. 141-152
Формальные языки и грамматики
Саакян, А. С.
Нормальные формы некоторых классов грамматик деревьев.
стр. 153-174
Резюме.
Բովանդակություն.
Content of this site is licensed under a
Creative Commons License