УМК предназначен для студентов факультета КНИТ. Он содержит основные сведения из области трех научных дисциплин: семантики, теоретической логики и методологии.