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