==== [[Сумма векторов]] ====
==== [[Разность векторов]] ====
==== [[Умножение вектора на число]] ====
==== [[Скалярное произведение]] ====
==== [[Векторное произведение]] ====
= Категория: Дискретная математика =
== [[Схема примитивной рекурсии]] ==
* алгоритм
* примеры
== [[Рекурсия]] ==
* примеры
== [[Машина Поста]] ==
* состав МП
* виды команд
* виды командных строк
* пример задачи
== [[Машина Тьюринга]] ==
* состав МТ
* виды команд
* виды командных строк
* пример задачи
== [[Комбинаторика]] ==
* основные операции
* основные формулы без повторений
* основные формулы с повторениями
=== [[Составление перестановок]] ===
* алгоритм
* пример
=== [[Составление лексикографических перестановок]] ===
* алгоритм
* пример
=== [[Составление сочетаний]] ===
* алгоритм
* пример
=== [[Составление лексикографических сочетаний]] ===
* алгоритм
* пример
=== [[Составление размещений]] ===
* алгоритм
* пример
=== [[Составление лексикографических размещений]] ===
* алгоритм
* пример
=== [[Составление разбиений]] ===
* алгоритм
* пример
=== [[Составление лексикографических разбиений]] ===
* алгоритм
* пример
== [[Сортировка]] ==
* алгоритмы
== [[Алгоритм определения мест]] ==
* алгоритмы
== Логика ==
=== [[Логический закон]] ===
* виды
=== [[Логическая функция]] ===
* виды
==== [[Совершенная дизъюнктивная нормальная форма]] ====
* формула
* пример
==== [[Совершенная конъюнктивная нормальная форма]] ====
* формула
* пример
==== [[Минимальная дизъюнктивная нормальная форма]] ====
* формула
* примеры
==== [[Минимальная конъюнктивная нормальная форма]] ====
* формула
* примеры
==== [[Алгебраическая нормальная форма]] ====
* формула
=== [[Таблица истинности]] ===
* виды
* примеры
=== [[Карта Карно]] ===
* виды
* примеры
=== [[Трёхмерная карта Карно]] ===
* виды
* примеры
=== [[Полином Жегалкина]] ===
* вид
* примеры
=== [[Предикат]] ===
* виды
* операции
=== [[Секвенции]] ===
* основные правила
* дополнительные правила
* доказательства секвенций
=== [[Силлогизм]] ===
* простой категорический силлогизм
* состав силлогизма
* правила силлогизма
* структурные схемы
=== [[Суждение]] ===
* состав суждения
* классификация простых суждений
* виды простых суждений
* структурные схемы
=== [[Умозаключение]] ===
* классификация умозаключений
* виды умозаключений
* структурные схемы
= Категория: Линейное программирование =