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