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