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

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

	Мощенский В. А. Избранные главы дискретной математики в утверждениях и упражнениях: пособие для студентов, обучающихся по спец. 1-31 03 04 «Информатика». - Минск : БГУ, 2012. - 168 с. ISBN 978-985-518-659-6. В пособии рассматриваются основные темы типовой учебной программы по дискретной математике. Приводятся формулировки теорем и их доказательства, разобраны примеры решения типовых задач, даны упражнения для самостоятельного выполнения. Для студентов факультета прикладной математики и информатики БГУ.
Оглавление

ПРЕДИСЛОВИЕ	3
1.ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ	5
1.1.Высказывания и операции над ними	5
1.2.Формулы логики высказываний. Тавтологии	11
1.3.Логическое следствие	17
1.4.Равносильность формул	20
1.5.Двойственность. Нормальные формы	27
1.6.Исчисление высказываний	34
1.7.Логика предикатов	45
2.МНОЖЕСТВА	77
2.1.Понятие множества, подмножества, операции над множествами	77
2.2. Декартово произведение множеств. Бинарные отношения. Функции	88
3.ФОРМАЛЬНЫЕ ГРАММАТИКИ И ЯЗЫКИ	100
3.1.Основные понятия	100
3.2.Важные примеры	104
3.3.Некоторые свойства грамматик	113
3.4.Грамматический разбор	120
4.РЕКУРРЕНТНЫЕ СООТНОШЕНИЯ И ОСНОВНЫЕ МЕТОДЫ ИХ РЕШЕНИЯ	125
4.1.Основные понятия	126
4.2.Линейные однородные рекуррентные соотношения с постоянными коэффициентами	128
4.3.Линейные рекуррентные соотношения с постоянными коэффициентами	133
4.4.Линейные рекуррентные соотношения с переменными коэффициентами...	137
4.5.Некоторые другие рекуррентные соотношения и методы их решения	141
4.6.Верхние и нижние оценки решений рекуррентных соотношений	144
4.7. О рекуррентных соотношениях для функций нескольких переменных	149
ПРИЛОЖЕНИЕ	152
БИБЛИОГРАФИЧЕСКИЕ ССЫЛКИ166