Учебные вопросы и ответы
Вопросы и ответы по учебным предметам для самостоятельной подготовки к экзаменам и зачётам.
Список вопросов
- Задача 3-ВЫПОЛНИМОСТЬ и её NP-полнота Основы кибернетики
- Задача 2-ВЫПОЛНИМОСТЬ и полиномиальный алгоритм решения Основы кибернетики
- Задача ВЫПОЛНИМОСТЬ (SAT) и её принадлежность классу NP Основы кибернетики
- Теорема Кука—Левина Основы кибернетики
- NP-полнота: определение, свойства и значение Основы кибернетики
- Полиномиальная сводимость вычислительных задач Основы кибернетики
- Детерминированные и недетерминированные вычисления: классы P и NP Основы кибернетики
- Машины Тьюринга и временная сложность вычислений Основы кибернетики
- Аппаратная информационная безопасность в задачах синтеза схем Основы кибернетики
- Логический и топологический синтез СБИС: задачи, этапы и методы Основы кибернетики
- Схемы на КМОП-транзисторах как модель аппаратной реализации логики Основы кибернетики
- Схемы с мгновенными обратными связями Основы кибернетики
- Автоматные функции и их реализация схемами с элементами задержки Основы кибернетики
- Модифицированные классы схем для программно-аппаратной реализации ФАЛ: BDD и вычисляющие программы Основы кибернетики
- Длина диагностического теста: максимальные, типичные и почти-всюду оценки Основы кибернетики
- Алгоритм построения всех тупиковых тестов Основы кибернетики
- Задача контроля управляющих систем и тесты для таблиц Основы кибернетики
- Асимптотически оптимальный синтез КС, корректирующих один обрыв или одно замыкание Основы кибернетики
- Самокорректирующиеся контактные схемы и методы их построения Основы кибернетики
- Модели неисправностей и задача повышения надёжности управляющих систем Основы кибернетики
- Связь схемной и временной сложности вычислений: теорема Сэвиджа Основы кибернетики
- Основные классы дискретных управляющих систем и меры их сложности Основы кибернетики
- Локальные алгоритмы минимизации ДНФ и ограничения локальных методов Основы кибернетики
- Алгоритмические трудности синтеза минимальных схем: инвариантные классы и результат С. В. Яблонского Основы кибернетики
- Методы верхней и нижней оценки сложности конкретных ФАЛ и систем ФАЛ Основы кибернетики
- Асимптотически оптимальный синтез контактных схем Основы кибернетики
- Регулярные разбиения единичного куба и асимптотически оптимальный синтез формул Основы кибернетики
- Асимптотически оптимальный метод О. Б. Лупанова синтеза СФЭ Основы кибернетики
- Дизъюнктивно-универсальные множества функций алгебры логики Основы кибернетики
- Нижние мощностные оценки функций Шеннона Основы кибернетики
- Метод Шеннона синтеза схем Основы кибернетики
- Каскадные контактные схемы и СФЭ: метод каскадов и его применение Основы кибернетики
- Разложение ФАЛ и суперпозиция схем: корректность, разделительные КС и лемма Шеннона Основы кибернетики
- Методы синтеза схем на основе ДНФ и верхние оценки сложности Основы кибернетики
- Простейшие нижние оценки сложности функций алгебры логики Основы кибернетики
- Задача синтеза управляющих систем и сложность функций алгебры логики Основы кибернетики
- Функция Линдона: пример Линдона и решение уравнений Основы кибернетики
- Теоремы Янова—Мучника в теории управляющих систем Основы кибернетики
- Полнота системы основных тождеств для контактных схем и отсутствие конечной полной системы Основы кибернетики
- Эквивалентные преобразования контактных схем: основные, вспомогательные и обобщённые тождества Основы кибернетики
- Оценки числа контактных схем и π-схем Основы кибернетики
- Моделирование формул π-схемами и особенности многополюсных контактных схем Основы кибернетики
- Контактные схемы и π-схемы: структура, функционирование и меры сложности Основы кибернетики
- Теорема перехода для эквивалентных преобразований управляющих систем Основы кибернетики
- Полные системы тождеств для схем из функциональных элементов Основы кибернетики
- Оценки числа формул и схем из функциональных элементов Основы кибернетики
- Изоморфизм и эквивалентность схем из функциональных элементов Основы кибернетики
- Схемы из функциональных элементов: структура, функционирование, приведение и меры сложности Основы кибернетики
- Полные системы тождеств для формул и эквивалентные преобразования в различных базисах Основы кибернетики
- Эквивалентные преобразования формул с помощью тождеств Основы кибернетики