Кибернетический сборник. Новая серия. Выпуск 21

Abstract

Продолжение серии, начатой издательством "Мир" в 1965 г. В выпуске содержатся обзорные статьи и оригинальные работы известных зарубежных ученых по наиболее актуальным проблемам теоретической кибернетики. Большой интерес представляют статьи Д. Плейстида по автоматическому доказательству теорем и И. Вегенера по монотонной сложности булевых функций. Для научных работников, инженеров-исследователей, аспирантов и студентов, занимающихся и интересующихся теоретической кибернетикой и ее приложениями.