Издательство Мир, 1988, -119 с.
В данном выпуске известной серии содержатся оригинальные и обзорные работы известных зарубежных ученых по актуальным проблемам теоретической кибернетики и ее приложениям. Автоматическому доказательству теорем посвящена статья Же Сяна (США), в статье Т. Феннера н А. Фриза (США) обсуждаются вопросы сложности и теории графов. Большой интерес представляют две статьи Ло Чжукая (КНР) по проблеме полноты в многозначной логике, статья Т. Хеллесета (Норвегия) по теории кодирования, а также работа С. Ёкои и др. (Япония) по новым методам распознавания цифровых изображений. Включены также обзоры советских авторов современных методов проверки простоты чисел и современного состояния в области алгоритмов матричного умножения.
Для научных работников, инженеров-исследователей, аспирантов и студентов, занимающихся в интересующихся теоретической кибернетикой и ее приложениями.
В данном выпуске известной серии содержатся оригинальные и обзорные работы известных зарубежных ученых по актуальным проблемам теоретической кибернетики и ее приложениям. Автоматическому доказательству теорем посвящена статья Же Сяна (США), в статье Т. Феннера н А. Фриза (США) обсуждаются вопросы сложности и теории графов. Большой интерес представляют две статьи Ло Чжукая (КНР) по проблеме полноты в многозначной логике, статья Т. Хеллесета (Норвегия) по теории кодирования, а также работа С. Ёкои и др. (Япония) по новым методам распознавания цифровых изображений. Включены также обзоры советских авторов современных методов проверки простоты чисел и современного состояния в области алгоритмов матричного умножения.
Для научных работников, инженеров-исследователей, аспирантов и студентов, занимающихся в интересующихся теоретической кибернетикой и ее приложениями.