Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии «Проблемы кибернетики». Представленные в выпуске работы охватывают широкий спектр проблем дискретной математики, математической логики, теории программирования, сложности управляющих систем, анализ современного состояния и новейших исследований в области робототехники.
Для специалистов, аспирантов, студентов, интересующихся современным состоянием математической кибернетики и ее приложений.
Author(s): Лупанов О.Б. (ред.)
Publisher: ФМЛ
Year: 2006
Language: Russian
Pages: 308
О.М.Касим-Заде. О метрических свойствах обобщенных инвариантных классов 9
И.С.Сергеев. О схемах логарифмической глубины для инвертирования в конечных полях характеристики два 35
И.Р.Закиров. О представлении произвольного алгебраического числа периодической ветвящейся цепной дробью 65
В.В.Кочергин О сложности совместного вычисления трех одночленов от трех переменных 79
Н.А.Карпова. О сложности класса схем из информационно бедных многополюсных элементов 155
Е.Г.Красулина. О сложности реализации системы всех симметрических функций в классе контактно-вентильных схем 165
Е.В.Дебрев. О безусловных рёберных тестах для регулярных семейств графов 183
Р.И.Подловченко. Алгебраические модели программ и автоматы 199
Р.В.Хелемендик. Алгоритм распознавания выполнимости формул логики ветвящегося времени и эффективный алгоритм построения выводов общезначимых формул из аксиом 217
Д.Е.Охоцимский, В.Г.Градецкий, В.Е.Павловский. Современные исследования по робототехнике в России: наследование традиций первых пионерских работ 267
КРАТКИЕ СООБЩЕНИЯ
Ю.А.Виноградов. К синтезу трёхзначных квазикомплементарных МОП-структур 292
Т.Г.Петросян. О размере максимального множества, свободного от произведений, в группах 294
