- •Множество. Способы задания множеств (перечислением или списком, порождающей процедурой, описанием характеристического свойства). Привести примеры.
- •Алгебра множеств. Законы алгебры множеств. Доказать один из законов алгебры множеств.
- •Множество. Мощность множества. Нахождение мощности объединения множеств (для двух множеств, для трех множеств, для n-множеств). Привести пример.
- •Векторы. Прямое произведение множеств. Мощности прямого произведения множеств.
- •Отношения. Основные понятия отношений (отношения; унарные, бинарные, n-местные отношения)
- •Отношения. Бинарные отношения. Основные понятия (определение, обозначения, область определения, область значений, способы задания бинарных отношений). Привести примеры.
- •Отношения. Эквивалентность и порядок. Сравнимость элементов множества по отношению порядка.
- •Соответствия. Функции и отображения. Способы задания функций. Привести примеры.
- •Комбинаторика. Основные задачи комбинаторики. История возникновения комбинаторики.
- •Комбинаторика. Основные правила комбинаторики (правило суммы и правило произведения).
- •Комбинаторика. Упорядоченные и неупорядоченные выборки (множества). Понятие выборки (с повторением и без повторения, упорядоченные и неупорядоченные). Привести примеры.
- •Комбинаторика. Размещение без повторения. Перестановки без повторений. Размещение с повторениями. Привести примеры.
- •Комбинаторика. Сочетания без повторений и с повторениями. Свойства сочетаний. Доказать одно из них. Привести примеры.
- •Комбинаторика. Перестановки с повторениями. Циклические перестановки. Подсчет числа беспорядков. Привести примеры.
- •Комбинаторика. Формула включения-исключения.
- •Рекуррентные соотношения. Метод рекуррентных соотношений. Числа Фибоначчи (задача приводящая к числам Фибоначчи).
- •Рекуррентные соотношения. Порядок рекуррентного соотношения. Решение и общее решение рекуррентного соотношения. Привести примеры.
- •Рекуррентные соотношения. Линейные рекуррентные соотношения с постоянными коэффициентами. Два утверждения на которых основывается решение линейных рекуррентных соотношений.
- •Общее решение линейных рекуррентных соотношений второго порядка с постоянными коэффициентами (случай одинаковых корней характеристического уравнения). Привести примеры.
- •Общее решение линейных рекуррентных соотношений с постоянными коэффициентами, порядок которых выше второго. Привести примеры.
- •Решение рекуррентных соотношений, используя производящую функцию. Понятие производящей функции. Алгоритм решения рекуррентных соотношений с помощью производящих функций.
- •Булевы функции от одного аргумента. (Определение. Все булевы функции от одного аргумента).
- •Булевы функции от двух аргументов (Определение булевой функции двух аргументов, тождественный ноль, тождественная единица, конъюнкция, штрих Шеффера, дизъюнкция, стрелка Пирса (функция Вебба)).
- •Свойства дизъюнкции, конъюнкции и отрицания (теорема 4.3).
- •Свойства эквиваленции, импликации и отрицания (теорема 4.4).
- •Выражение одних булевых функций через другие (теорема 4.5).
- •Булевы функции от n аргументов (определение, равенство булевых функций, суперпозиция булевых функций).
- •Графы. Матричное задание графов. Матрица смежности, матрица инцидентности. Привести примеры.
- •Графы. Свойства матрицы смежности и инцидентности. Утверждение о числе всех путей (маршрутов) длины k из одной вершины в другую. Утверждение о наличие хотя бы одного контура.
- •Графы. Связность. Компоненты связности. (Достижимость вершины, связный (сильно связный орграф) граф, слабо связанный, несвязанный, компонента связности (сильной связности)). Привести примеры.
- •Графы. Матрицы связности. Утверждение о матрицах связности, матрицы достижимости, матрицы сильной связности.
- •Графы. Выделение компонент связности. Алгоритм нахождения числа компонент сильной связности и матрицы смежности этих компонент.
- •Графы. Поиск путей (маршрутов) с минимальным числом дуг (ребер). Алгоритм фронта волны.
- •Графы. Минимальные пути (маршруты) в нагруженных орграфах (графах). Алгоритм Форда-Беллмана.
- •Графы. Деревья и циклы.
- •Графы. Эйлеровы цепи и циклы.
Общее решение линейных рекуррентных соотношений второго порядка с постоянными коэффициентами (случай одинаковых корней характеристического уравнения). Привести примеры.
Общее решение линейных рекуррентных соотношений с постоянными коэффициентами, порядок которых выше второго. Привести примеры.
Решение рекуррентных соотношений, используя производящую функцию. Понятие производящей функции. Алгоритм решения рекуррентных соотношений с помощью производящих функций.
Производя́щая фу́нкция последовательности {an} — это формальный степенной ряд
= a0+a1x+a2x2+…+anxn+....
Зачастую производящая функция последовательности чисел является рядом Тейлора некоторой аналитической функции, что может использоваться для изучения свойств самой последовательности. Однако, в общем случае производящая функция не обязана быть аналитической.
Производящие функции дают возможность просто описывать многие сложные последовательности в комбинаторике, а иногда помогают найти для них явные формулы.
Метод производящих функций был разработан Эйлером в 1750-х годах.
Общая схема решения рекуррентного соотношения с помощь производящих функций на примере решения рекуррентного соотношения , , , .
Общая схема решения рекуррентного соотношения с помощь производящих функций на примере решения рекуррентного соотношения составленного для чисел Фибоначчи , , , .
Общая схема решения рекуррентного соотношения с помощь производящих функций на примере решения рекуррентного соотношения , , , .
Переключательные (булевы) функции. Происхождение булевых функций.
Булевы функции названы в честь английского математика ХIХ века Дж. Буля, который впервые применил алгебраические методы для решения логических задач. Они образуют самый простой нетривиальный класс дискретных функций - их аргументы и значения могут принимать всего два значения (если мощность множества значений функции равна 1, то это тривиальная функция - константа !). С другой стороны, этот класс достаточно богат и его функции имеют много интересных свойств. Булевы функции находят применение в логике, электротехнике, многих разделах информатики.
Бу́лева фу́нкция от n переменных — в дискретной математике отображение Bn → B, где B = {0,1} — булево множество. Элементы булева множества 1 и 0 обычно интерпретируют как логические значения «истинно» и «ложно», хотя в общем случае они рассматриваются как формальные символы, не несущие определенного смысла. Неотрицательное целое число n называют арностью или местностью функции, в случае n = 0 булева функция превращается в булеву константу. Элементы декартова произведения Bn называют булевыми векторами. Множество всех булевых функций от любого числа переменных часто обозначается P2, а от n переменных — P2(n). Булевы функции названы так по фамилии математика Джорджа Буля.
Технические вопросы, связанные с составлением логических схем ЭВМ, можно решить с помощью математического аппарата, объектом исследования которого являются функции, принимающие, так же как и их аргументы, только два значения - “0” и “1”.
Таким аппаратом является математическая логика (алгебра логики, булева алгебра).
Логика - это наука о законах и формах мышления.
Математическая логика занимается изучением возможностей применения формальных методов для решения логических задач. Один из разделов математической логики является алгебра логики.
Основное понятие алгебры логики - высказывание. Высказывание - это некоторое предложение, о котором можно утверждать, что оно истинно или ложно.
Любое высказывание можно обозначить символом х и считать, что х=1, если высказывание истинно, а х=0 - если высказывание ложно. Истинному высказыванию соответствует утверждение -“Да”, ложному высказыванию - утверждение - “Нет”.
Логическая (булева) переменная - такая величина х, которая может принимать только два значения х={0,1}.
Высказывание абсолютно истинно, если соответствующая ей логическая величина принимает значение х=1 при любых условиях.
Высказывание абсолютно ложно, если соответствующая ей логическая величина принимает значение х=0 при любых условиях.
Функция f, зависящая от n переменных x1,x2,...,xn, называется булевой, или переключательной, если функция f и любой из ее аргументов принимают значения только из множества {0,1}. Аргументы булевой функции также называются булевыми.