
- •Раздел 1. Основы математической логики Теоретические сведения
- •1.1 Высказывания и логические связки
- •Задачи для самостоятельного решения
- •Исчисление предикатов
- •Задачи для самостоятельного решения
- •Математическая индукция Принцип математической индукции
- •Задачи для самостоятельного решения
- •Раздел 2. Теория множеств Теоретические сведения
- •Задачи для самостоятельного решения
- •Раздел 3. Алгоритмы и рекурсия Теоретические сведения
- •Задачи для активного обучения
- •Задачи для самостоятельного решения
- •Раздел 4. Элементы теории графов. Деревья Теоретические сведения
- •Задачи для активного обучения
- •Задачи для самостоятельного решения
- •Раздел 5. Элементы комбинаторики Теоретические сведения
- •Задачи для активного обучения
- •Задачи для самостоятельного решения
- •Раздел 6. Алгебраические структуры Теоретические сведения
- •Задачи для самостоятельного решения
- •Литература
- •Содержание
Задачи для самостоятельного решения
Докажите, что 1+4+7+10+…+(3n-2)=
Докажите, что
Докажите, что 1+2+22+23+…+2n-1=2n-1
Докажите, что 1+a+ a2+ a3+…+ an-1=
Докажите, что 1+3+5+7+…+(2n-1)=n2
Докажите, что
Докажите, что
Докажите, что (n3+11n) делится на 6
Докажите, что (25n+1+5n+2) делится на 27
Докажите, что (52n+1+9·2n+1) делится на 23
Докажите, что (22n-1-9n2+21n-14) делится на 27
Докажите, что n2>2n+1 для
Докажите, что 2n>n2 для
Докажите, что
для
Докажите, что n!> n3 для
Докажите, что
для
Раздел 2. Теория множеств Теоретические сведения
Под множеством понимается некоторая, вполне определенная совокупность объектов.
В общем случае
множество задается путем указания
характеристического свойства, т.е.
свойства, которому удовлетворяют
элементы данного множества, и только
они. Например, множество нечетных цифр
можно представить как:
.
Если a
есть один из объектов множества А,
то говорят, что а
есть элемент
А,
или а
принадлежит
А:
.
Если А
не является элементом А,
то
.
Множество
А есть
подмножество
множества В
(
),
если каждый элемент А
есть элемент В
. Каждое множество есть подмножество
самого себя.
Пустое множество (Ø) есть множество, которое не содержит элементов. Универсальное множество U есть множество, обладающее таким свойством, что все рассматриваемые множества являются его подмножествами.
Пересечением
множеств А
и В называется множество, состоящее из
всех тех элементов, которые принадлежат
и А, и В:
и
Пример1.
Если А=
,
В=
,
то
Объединением
множеств А
и В называется множество, состоящее из
всех тех элементов, которые принадлежат
хотя бы одному из множеств А или В:
или
Пример 2. Найдем
объединение множеств А и В (см. пример
1).
,
т.е.
получено
путем соединения вместе элементов А и
В.
Разностью
множеств
А-В называется множество всех тех и
только тех элементов А, которые не
содержатся в В:
и
.
Симметрической
разностью
называется
множество
.
Пример 3.
(условие см. пример 1).
,
а
.
Дополнение
множества
А – это множество элементов универсального
множества, которые не принадлежат А:
и
.
Пример 4. Пусть
U
– множество натуральных чисел,
- множество всех нечетных положительных
чисел, тогда
-
множество всех четных положительных
чисел.
Для произвольных множеств А, В, С имеют место формулы:
а)
б)
в)
г)
д)
Декартово
произведение
множеств А
и В есть множество:
и
.
Объект (a,b)
называется упорядоченной
парой
с первой
компонентой а
и второй
компонентой b.
Порядок компонент в паре существенен!
Пример5. Пусть
,
,
тогда
.
R
– множество
действительных чисел,
-
декартова плоскость (множество точек
плоскости с заданными осями координат).
Если А или В –
пустое множество, то
- пустое множество.
Множество и операции над ними очень удобно изображать с помощью диаграмм Эйлера- Венна. Множества изображаются внутренними частями кругов, их пересечениями, объединениями и т.д. Универсальное множество изображается в виде прямоугольника.
На рис.2.2 изображено пересечение множеств А и В.
На рис.2.3 изображено объединение множеств А и В; на рис. 2.4 штриховкой изображен результат разности множеств А-В.
Пример. Докажите, что с помощью диаграмм Эйлера-Венна.
Решение: Изобразим результат левой (рис.2.5) и правой (2.6) частей равенства штриховкой на диаграммах Эйлера- Венна.