
- •Предикаты
- •Действия над предикатами
- •Теорема о представлении квантора общности через конъюнкцию
- •Теорема о представление квантора существования через дизъюнкцию
- •Теорема о тождественной истинности предикатов
- •Теорема о тождественной ложности предикатов
- •Теорема о перестановке одноимённых кванторов
- •Теорема о перестановке кванторов общности
- •Теорема о перестановке кванторов существования
- •Теорема о перестановке разноимённых кванторов
- •Теорема об отрицании кванторов
- •Теорема об отрицании квантора общности
- •Теорема об отрицании квантора существования
- •Дистрибутивные свойства кванторов
- •Теорема о дистрибутивности квантора общности относительно конъюнкции
- •Теорема о дистрибутивности квантора существования относительно дизъюнкции
- •Теорема о полудистрибутивности квантора общности относительно дизъюнкции
- •Теорема о полудистрибутивности квантора существования относительно конъюнкции
- •Теорема о представлении предикатной формулы в приведённой форме
- •Теорема о переименовании связанных переменных
- •Теорема о распространении области действия квантора
- •Теорема о представлении предикатной формулы в предваренной нормальной форме
- •Комбинаторика
- •Основные правила комбинаторики
- •I. Выбор с возвращением
- •II. Выбор без возвращения
- •Размещения с повторениями
- •Размещения без повторений
- •Перестановки без повторений
- •Перестановки с повторениями
- •Сочетания с повторениями
- •Сочетания с повторениями
- •Формула бинома Ньютона
- •Свойства
- •Полиномиальная формула
- •Формула включений и исключений
- •Задачи о смещениях
- •Задачи о распределениях
- •Арифметический треугольник
- •Теорема о связи арифметического треугольника и m-ичной системы счисления
- •Свойства обобщённых арифметических коэффициентов
- •Рекуррентные соотношения
- •Задача Фибоначчи
- •Лемма о линейной комбинации решений
- •Теорема о виде общего решения соотношения (38)
- •Теорема о виде общего решения соотношения (40)
- •Элементы формальных теорий

Запишем арифметический треугольник 6-ого порядка.
|
0 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
2 |
1 |
2 |
3 |
4 |
5 |
6 |
5 |
4 |
3 |
2 |
3 |
1 |
3 |
6 |
10 |
15 |
21 |
25 |
27 |
27 |
25 |
Ответ. 11 очков можно набрать 27 способами, 12 очков – 25 способами.
Свойства обобщённых арифметических коэффициентов
1)C2 (n, k) Cnk
2)Cm (n, k) Cm (n, n(m 1) k) Доказательство.
a1 a2 ... an k |
|
|
|
|
(m 1 a1 ) (m 1 a2 ) ... (m 1 an ) n(m 1) (a1 a2 |
... an ) n(m |
1) k |
||
3) Cm (n,0) Cm (n,1) ... Cm (n, n(m 1)) mn - обобщение |
одного |
из свойств для |
||
биномиальных коэффициентов. |
|
|
|
|
4) Формула разложения по первым разрядам. |
|
|
|
|
s – сумма, которая может быть достигнута в первых i разрядах. |
|
|
||
k |
|
|
|
|
Cm (n, k) Cm (i, s) Cm (n i, k s) |
|
|
|
|
s 0 |
|
|
|
|
k s - сумма, которую могут набрать n i разрядов. |
|
|
|
|
n |
|
|
|
|
5) Cm (n, k) Cns Cm 1 (n s, k n s) |
|
|
|
|
s 0 |
|
|
|
|
CnsCm 1 (n s, k n s) - |
для любого s можно составить |
всего |
разрядов |
n s. |
Каждую цифру в n s разрядах уменьшаем на 1. |
|
|
|
|
k n s |
|
|
|
|
s – количество нулевых разрядов. |
|
|
|
|
n |
n |
|
|
|
C3 (n, k) Cns C2 (n s, k n s) Cns Cnk sn s |
|
|
|
|
s 0 |
s 0 |
|
|
|
17