Лекция 5 (дискретная математика): Комбинаторика. Сочетания с повторениями. Задача перечисления. Двумерные выборки

Сочетания с повторениями. Задача перечисления выборок, лексикографический порядок. Двумерные выборки. Таблицы функций. Понятие алгебры. Замкнутые операции. N-арные операции, бинарные операции, арность операции. Тип алгебры, сигнатура. Свойства бинарных операций: ассоциативность, коммутативность, дистрибутивность слева, дистрибутивность справа. Два вида процедур в алгебре: вычисление формул и преобразование формул.