Теоретическая кибернетика

Индексированные булевы функции (и.б.ф.) являются детализацией булевых функций посредством добавления к ним специальных индексов. Язык логики высказываний расширяется путем добавления и.б.ф., уточняются понятия базиса, замкнутых классов для и.б.ф.;  рассматриваются вопросы выразимости в этом языке, корректности и полноты. Возможности применения и.б.ф. показываются на примерах решений некоторых актуальных практических задач.