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