Дьячко А.Г. (ред.), Калашников Е.А. (ред.), Прокопчук Ю.Ю., Широков А.И. Дискретная математика. Основные теоретико-множественные конструкции. Часть 3

Учебное пособие. — М.: МИСиС, 2005. — 77 с.Пособие представляет собой третью часть раздела "Основные теоретико-множественные конструкции" учебного курса "Дискретная математика". В него входит описание такого фундаментального понятия современной математики, как соответствие, в частности функция, а также относящийся к последним логический и математический аппарат. Содержание пособия соответствует программе курса "Дискретная математика". Предназначено для студентов, изучающих учебные дисциплины "Математическая логика и теория алгоритмов" и "Дискретная математика".Введение.
Отношения между множествами. Соответствия.
Определение отношения между множествами.
Виды отношений.
Соответствия.
Термины и обозначения.
Способы задания соответствий.
Образ и полный прообраз множества относительно соответствия.
Отношения между соответствиями.
Действия над соответствиями, порожденные теоретико-множественными операциями.
Действия над соответствиями, порожденные операциями над графиками.
Свойства соответствий. Задачи анализа и синтеза соответствий.
Основные свойства соответствий.
Свойства функциональных соответствий.
Связи между свойствами соответствий.
Задача анализа для соответствий.
Задача синтеза для соответствий.
Упражнения.
Библиографический список.
Приложения.
Указатель знаков и обозначений.
Указатель терминов.