Математические вопросы кибернетики. Выпуск 09

Description

Выпуск посвящен памяти С.В.Яблонского. В нем представлены работы специалистов, долгое время сотрудничавших с Сергеем Всеволодовичем, и его учеников. Эти работы охватывают широкий спектр проблем дискретной математики, математической логики, теории программирования, сложности управляющих систем. О работах Сергея Всеволодовича Яблонского ......Page 3 Ю. И. Янов. Модальные логики и арифметика ......Page 11 Р. И. Подловченко. К вопросу об эквивалентных преобразованиях алгоритмов и программ ......Page 19 Н. К. Косовский. Сложность разрешимости некоторых дискретно нечетких систем ......Page 31 Р. Г. Бухараев. Автоматная методология исследования случайных последовательностей ......Page 37 Ю. В. Таранников. О критериях бесконечности инвариантных классов дискретных функций ......Page 51 М. Ю. Мошков. Диагностика константных неисправностей схем из функциональных элементов ......Page 71 Л. П. Жильцова. Закономерности применения правил грамматики в выводах слов стохастического контекстно-свободного языка ......Page 93 В. А. Захаров, И. В. Незнанов. Операторные модели взаимодействующих процессов ......Page 119 А. А. Сапоженко. Проблема Дедекинда и метод граничных функционалов ......Page 151 А. А. Вороненко. О количестве нерастягивающих многомерных отображений ......Page 211 Р. М. Колпаков. О преобразовании булевых случайных величин ......Page 217 Л. Павлоцкая, М. Маржанстерн. О нестандартных вычислительных моделях и вычислимых в них функциях ......Page 243 Хроника ......Page 257