Выпуск посвящен памяти С.В.Яблонского. В нем представлены работы специалистов, долгое время сотрудничавших с Сергеем Всеволодовичем, и его учеников. Эти работы охватывают широкий спектр проблем дискретной математики, математической логики, теории программирования, сложности управляющих систем.
Author(s): Лупанов О.Б. (ред.)
Publisher: Физматлит
Year: 2000
Language: Russian
Commentary: 18325+OCR
Pages: 261
О работах Сергея Всеволодовича Яблонского ......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
