Булевы функции

Булевы функции

Булева функция

Существенная переменная

Теорема о числе булевых функций, существенно зависящих от n переменных

Формула над заданным множеством булевых функций

Функция, реализуемая формулой

Эквивалентные формулы

Теорема о разложении функций по переменным

Совершенная дизъюнктивная нормальная форма

Совершенная конъюнктивная нормальная форма

Двойственная функция. Принцип двойственности

Замкнутое, полное множества булевых функций

Теорема о полноте двух систем

Полином Жегалкина

Теорема Жегалкина

Основные замкнутые классы булевых функций

Теорема Поста

Лемма о несамодвойственной функции

Лемма о нелинейной функции

Лемма о немонотонной функции

Предполный класс

Теорема о предполных классах булевых функций

Минимальная ДНФ

Кратчайшая ДНФ

Импликанта, простая импликанта

Интервал ранга r

Сокращенная ДНФ

Теорема о сокращенной ДНФ монотонной функции

Метод Нельсона построения сокращенной ДНФ

Метод Квайна построения сокращенной ДНФ

Метод Блейка построения сокращенной ДНФ

Тупиковая ДНФ

Теорема Журавлева (критерий поглощения)

Ядровая элементарная конъюнкция

Ядро сокращенной ДНФ

ДНФ Квайна

Схема из функциональных элементов

Система функций, реализуемая схемой из функциональных элементов

Сложность схемы из функциональных элементов

Функция Шеннона

Верхняя оценка функции Шеннона для СФЭ

Лемма о нижней оценке

Теорема о нижней оценке функции Шеннона для СФЭ

Асимптотика функции Шеннона для СФЭ

Автоматные функции, конечные автоматы

Детерминированные функции

Информационное дерево

Ограниченно-детерминированная функция

Множество состояний ограниченно-детерминированной функции

Диаграмма Мура

Канонические уравнения ограниченно-детерминированной функции

Конечный автомат Мили

Автоматная функция

Остальное знать к экзамену:

Схема из автоматных элементов

Теорема о несуществовании конечных полных систем автоматных функций

Элемент единичной задержки

Теорема о реализации автоматных функций схемами из автоматных элементов

Эквивалентность конечных автоматов

Конечный автомат Мура

Теорема об эквивалентности автоматов Мили и Мура

Конечный детерминированный инициальный автомат без выходов

Язык, распознаваемый конечным автоматом

Теорема о существовании языков, не распознаваемых конечными автоматами

Регулярный язык

Недетерминированный конечный автомат без выходов

Теорема детерминизации

Теорема синтеза автоматов

Теорема анализа автоматов

Основные порталы (построено редакторами)

Домашний очаг Дом • Дача • Садоводство • Дети • Активность ребенка • Игры • Красота • Женщины • (Беременность) • Семья • Хобби Здоровье: • Анатомия • Болезни • Вредные привычки • Диагностика • Народная медицина • Первая помощь • Питание • Фармацевтика История: СССР • История России • Российская Империя Окружающий мир: Животный мир • Домашние животные • Насекомые • Растения • Природа • Катаклизмы • Космос • Климат • Стихийные бедствия Справочная информация Документы • Законы • Извещения • Утверждения документов • Договора • Запросы предложений • Технические задания • Планы развития • Документоведение • Аналитика • Мероприятия • Конкурсы • Итоги • Администрации городов • Приказы • Контракты • Выполнение работ • Протоколы рассмотрения заявок • Аукционы • Проекты • Протоколы • Бюджетные организации Муниципалитеты • Районы • Образования • Программы Отчеты: • по упоминаниям • Документная база • Ценные бумаги Положения: • Финансовые документы Постановления: • Рубрикатор по темам • Финансы • города Российской Федерации • регионы • по точным датам Регламенты Термины: • Научная терминология • Финансовая • Экономическая Время: • Даты • 2015 год • 2016 год Документы в финансовой сфере • в инвестиционной • Финансовые документы - программы

Техника Авиация • Авто • Вычислительная техника • Оборудование • (Электрооборудование) • Радио • Технологии • (Аудио-видео) • (Компьютеры) Общество Безопасность • Гражданские права и свободы • Искусство • (Музыка) • Культура • (Этика) • Мировые имена • Политика • (Геополитика) • (Идеологические конфликты) • Власть • Заговоры и перевороты • Гражданская позиция • Миграция • Религии и верования • (Конфессии) • Христианство • Мифология • Развлечения • Масс Медиа • Спорт (Боевые искусства) • Транспорт • Туризм Войны и конфликты: Армия • Военная техника • Звания и награды Образование и наука Наука: Контрольные работы • Научно-технический прогресс • Педагогика • Рабочие программы • Факультеты • Методические рекомендации • Школа • Профессиональное образование • Мотивация учащихся Предметы: Биология • География • Геология • История • Литература • Литературные жанры • Литературные герои • Математика • Медицина • Музыка • Право • Жилищное право • Земельное право • Уголовное право • Кодексы • Психология (Логика) • Русский язык • Социология • Физика • Филология • Философия • Химия • Юриспруденция

Мир Регионы: Азия • Америка • Африка • Европа • Прибалтика • Европейская политика • Океания • Города мира Россия: • Москва • Кавказ • Регионы России • Программы регионов • Экономика Бизнес и финансы Бизнес: • Банки • Богатство и благосостояние • Коррупция • (Преступность) • Маркетинг • Менеджмент • Инвестиции • Ценные бумаги: • Управление • Открытые акционерные общества • Проекты • Документы • Ценные бумаги - контроль • Ценные бумаги - оценки • Облигации • Долги • Валюта • Недвижимость • (Аренда) • Профессии • Работа • Торговля • Услуги • Финансы • Страхование • Бюджет • Финансовые услуги • Кредиты • Компании • Государственные предприятия • Экономика • Макроэкономика • Микроэкономика • Налоги • Аудит Промышленность: • Металлургия • Нефть • Сельское хозяйство • Энергетика Строительство • Архитектура • Интерьер • Полы и перекрытия • Процесс строительства • Строительные материалы • Теплоизоляция • Экстерьер • Организация и управление производством