Дискретная математика. Основные теоретико-множественные конструкции. Часть III

Пособие представляет собой третью часть раздела «Основные теоретико-множественные конструкции» учебного курса «Дискретная математика». В него входит описание такого фундаментального понятия современной математики, как соответствие, в частности функция, а также относящийся к последним логический и математический аппарат. Содержание пособия соответствует программе курса «Дискретная математика». Предназначено для студентов, изучающих учебные дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика»