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