Выпуск 10

(под ред. О.Б.Лупанова)

О. С. Кулагина. Об одном подходе к установлению отношений между простыми предложениями в составе сложного при автоматическом анализе текстов
15 pdf
В. А. Садовничий, В. В. Александров, Л. И. Воронин, С. С. Лемак. Тестирование качества визуальной стабилизации космических объектов на динамическом стенде с трехуровневой системой управления
35
С. А. Регирер. Математическое моделирование биологических процессов и биомеханика
45 pdf
В. Н. Чубариков. О сложности некоторых арифметических объектов
55
Е. А. Окольнишникова. О сложности ветвящихся программ
69 pdf
М. А. Иорданский. Оптимальные нумерации вершин графов
83
В. И. Шевченко. О сложности диагностики неэлементарных замыканий в схемах из функциональных элементов
103 pdf
В. А. Буевич, Т. Э. Клиндухова. Об алгоритмической неразрешимости задач об А-полноте и полноте для дефинитных ограниченно-детерминированных функций
139
В. А. Захаров. О проблеме эквивалентности операторных программ на уравновешенных однородных обратимых шкалах
155 pdf
С. В. Попов. Логическое моделирование
167 pdf
Р. М. Колпаков. Замкнутые классы булевых случайных величин с рациональнозначными распределениями
215 pdf
Э. Э. Гасанов. Информационно-графовая модель в теории баз данных
225 pdf
А. Г. Пинус. Программно-вычислимые функции на универсальных алгебрах
235
Ю. А. Виноградов. К синтезу четырехзначных КМОП-автоматов
245 pdf
А. А. Вороненко. Об уточненных нижних оценках количества метрических функций
247