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