Дискретная математика онлайн
1.1. Минимизация алгоритмом Мили– AlgMealy
1.2. Нахождение выводного слова для автомата Мили – Mealy
1.3. Построение автомата Мура по автомату Мили – Moore
1.4. Построение покрывающего автомата – Anger
2. Алгоритм Дейкстры - Labels
3. Булевы функции
3.1. Минимизация ДНФ алгоритмом Квайна – Quine
3.2. Минимизация ДНФ частично заданной БФ – Part
3.3. Нахождение полинома Жегалкина – Jegalkin
3.4. Проверка на линейность – Linearity
3.5. Проверка на монотонность – Monotone
3.6. Проверка на самодвойственность – Duality
3.7. Проверка на фиктивные переменные – Fictive
4. Машины и алгоритмы. Нахождение выходного слова.
4.1. Машина Тьюринга – Turing
4.2. Машина Поста – Post
4.3. Нормальный алгоритм Маркова – MarkovAlg
5. Операции над множествами – Sets
6. Параметры гиперсферы минимального радиуса – Sphere
7. Параметры окружности минимального радиуса – Mincircle
8. Формулы комбинаторики
8.1. Задача на бином Ньютона – Binom
8.2. Задача о неделимости – Nondevis
8.3. Задача на полиномиальную формулу – Polinom
8.4. Уравнения с сочетаниями - Equation
8.5. Системы с сочетаниями - System
8.6. Разбиения - Blocks
8.7. Перестановки - Swap
8.8. Перестановки с повторениями - Repeat
9. Генерирование перестановок
9.1. Массив (лексикографический порядок) - Transf
9.2. Массив (антилексикографический порядок) - TransAnti
9.3. Последовательность (лексикографический порядок) - Permute
9.4. Последовательность (антилексикографический порядок) - PermuteAnti