Настоящий сборник посвящен рассмотрению вопросов, касающихся математической логики и ее приложений к некоторым вопросам кибернетики. Хотя здесь изучаются главным образом контактные схемы, многие результаты сохраняют силу в значительно более широких пределах. Поэтому содержание сборника тесно связано с рядом разделов кибернетики, изучающих способы описания переработки дискретной информации, вопросы анализа и синтеза управляющих систем, методы контроля работы управляющих систем. Другой характерной чертой работ является их связь с различными разделами математики: математической логикой, комбинаторикой, теорией множеств, алгеброй, топологией и теорией чисел.
Сборник состоит из отдельных работ, написанных группой математиков в период 1954—1955 гг. Работы расположены в порядке логического усложнения понятий. Сначала рассматриваются вопросы, относящиеся к математической логике, затем — к теории синтеза схем и, наконец — к теории контроля работы схем. Для более подробного ознакомления с содержанием сборника мы отсылаем к введениям статей. Хотя статьи и связаны между собой, каждая из них может изучаться независимо от остальных. Правда, это обстоятельство достигнуто за счет неизбежных перекрытий работ. Однако при чтении материала подряд читатель легко может избежать повторений. Материал первой главы статьи «Функциональные построения в k-значной логике» может быть рекомендован в качестве вводного при чтении последующих статей.