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