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