Мощенский В.А. Избранные главы дискретной математики в утверждениях и упражнениях

Учебное пособие. — Минск. БГУ, 2012. — 168 c. — ISBN 978-985-518-659-6. В пособии рассматриваются основные темы типовой учебной программы по дискретной математике. Приводятся формулировки теорем и их доказательства, разобраны примеры решения типовых задач, даны упражнения для самостоятельного выполнения.
Для студентов факультета прикладной математики и информатики БГУ. Содержание.
Предисловие.
Элементы математической логики.
Высказывания и операции над ними.
Формулы логики высказываний. Тавтологии.
Логическое следствие.
Равносильность формул.
Двойственность. Нормальные формы.
Исчисление высказываний.
Логика предикатов.
Множества.
Понятие множества, подмножества, операции над множествами.
Декартово произведение множеств. Бинарные отношения. Функции.
Формальные грамматики и языки.
Основные понятия.
Важные примеры.
Некоторые свойства грамматик.
Грамматический разбор.
Рекуррентные соотношения и основные методы их решения.
Основные понятия.
Линейные однородные рекуррентные соотношения с постоянными коэффициентами.
Линейные рекуррентные соотношения с постоянными коэффициентами.
Линейные рекуррентные соотношения с переменными коэффициентами.
Некоторые другие рекуррентные соотношения и методы их решения.
Верхние и нижние оценки решений рекуррентных соотношений.
О рекуррентных соотношениях для функций нескольких переменных.
Приложение.
Библиографические ссылки.