== Управляющие системы ==
# Вопрос тут один, ёмкий, аки нецензурное послание: ''Понятие управляющей системы. Основные модельные классы управляющих систем: дизъюнктивные нормальные формы, формулы, контактные схемы, схемы из функциональных элементов, автоматы, машины Тьюринга, операторные алгоритмы. Основные проблемы теории управляющих систем''. Берётся он из {{Скачать|Ложкин С.А. - Лекции по основам кибернетики 2004.djvu}}. * Управляющая система — типа задаёт поведение некоторой системы.* '''Опр.''' элементарные конъюнкции, ДНФ, КНФ; формула; эквивалентные формулы; КС; эквивалентные КС (⇔ эквив. все формулы); СФЭ; [[rupedia:Абстрактный автомат|автомат]]; [[rupedia:Машина Тьюринга|МТ]] (ДМТ, НМТ?).* Основные задачи:*# Синтез минимальных по сложности систем.*# Эквивалентные преобразования.*# Контроль и надёжность.
== Дизъюнктивные нормальные формы ==