Вспомогательные материалы

Вспомогательные материалы:

Решение

Курс: Дискретная математика

Содержание
Список определений
Список теорем
Обозначения
Примеры
Задачи
Аксиомы и правила вывода

Термины

  • автоморфизм
  • аксиома
  • аксиома (натуральных чисел)
  • аксиома логики высказываний
  • аксиома индукции
  • алгебра подмножеств
  • алгебраическая операция
  • алгебраическая система
  • алгебра
  • алгебра логики
  • алфавит
  • алфавит
  • антикоммутативность
  • антисимметричность
  • арность
  • ассоциативность
  • атом (булевой алгебры)
  • атом
  • атомарная формула
  • бинарные связки
  • булева алгебра
  • булева решётка
  • булева функция
  • вектор значений функции
  • вершина
  • взаимно обратные операции
  • влечь
  • вывод
  • вывод формулы
  • выполнимая формула
  • выполнимое множество
  • гамильтонов цикл
  • гомоморфизм
  • грань графа
  • граф
  • группа
  • двойственная функция
  • двойственный граф
  • дерево
  • дерево доказательства
  • дизъюнктивная нормальная форма
  • дизъюнкция
  • дизъюнкция
  • диофантово уравнение
  • дистрибутивная решётка
  • дистрибутивность
  • длина формулы
  • длина маршрута
  • дополнение (в решётке)
  • дополнительные литералы
  • единица (относительно операции)
  • единица (в решётке)
  • закон поглощения
  • замкнутость относительно правил построения в логике высказываний
  • замкнутость относительно правил построения в логике предикатов
  • замкнутая формула
  • замкнутое подмножество
  • замкнутый маршрут
  • замыкание множества A в алгебраической системе
  • идемпотентность
  • изоморфизм
  • изоморфные алгебраические системы
  • импликация (булева функция)
  • импликация (связка)
  • интерпретация
  • инцидентность
  • иррефлексивность
  • истинность при интерпретации
  • истиностные значения
  • клика
  • коммутативность
  • конкатенация
  • константа 0
  • константа 1
  • конъюнктивная нормальная форма
  • конъюнкция (булева функция)
  • конъюнкция (связка)
  • корень (дерева доказательства)
  • корректность правила вывода
  • корректность исчисления
  • кратные рёбра
  • лес
  • лист
  • литерал
  • логическое следствие
  • логическая непротиворечивость
  • маршрут
  • метаматематика
  • метаязык
  • многоосновная алгебраическая система
  • множество слов
  • модель (алгебраическая система)
  • модель теории
  • моноид
  • наименьший элемент
  • натуральный вывод
  • натуральное число
  • начало маршрута
  • нейтральный элемент
  • неопределяемые (первичные) понятия
  • непротиворечивость теории
  • носитель
  • нуль (относительно операции)
  • нуль (в решётке)
  • нуль
  • обратимая операция
  • обратный элемент
  • объектная константа
  • объектный язык
  • операция
  • остовной подграф
  • отношение
  • отношение порядка
  • отношение эквивалентности
  • отрицание (булева функция)
  • отрицание (связка)
  • петля
  • плоский граф
  • подграф
  • подграф, порождённым множеством вершин
  • подсистема
  • подстановка
  • подстановочный для переменной терм
  • полнота теории
  • полный граф
  • полугруппа
  • правила вывода
  • правильная раскраска
  • предикат
  • предикатная сигнатура
  • предикатная константа
  • предложение
  • префикс
  • пример правила
  • проблема четырёх красок
  • произведение
  • пропозициональная константа
  • пропозициональная связка
  • пропозициональная сигнатура
  • пропозициональная формула
  • простая цепь
  • пространство интерпретации
  • простой граф
  • простой цикл
  • прямое произведение
  • пустой граф
  • разрешимость теории
  • раскраска
  • рефлексивность
  • решётка
  • решётка с дополнением
  • решёточноупорядоченное множество
  • рёбро
  • свободная переменная
  • связаная переменная
  • связанные вершины
  • связный граф
  • связная компонента
  • секвенция
  • семантика
  • сигнатура
  • сигнатура алгебраической системы
  • симметричность
  • синтаксический
  • система Пеано
  • (логически) следует
  • 'следующее за' (число)
  • смежные вершины
  • совершенная дизъюнктивная нормальная форма
  • совершенная конъюнктивная нормальная форма
  • стандартная модель
  • степень
  • степень вершины
  • строка
  • строка (в логике высказываний)
  • строка (в логике предикатов)
  • структурная индукция
  • сумма
  • сумма по модулю 2
  • суперпозиция булевых функций
  • существенная переменная
  • таблица истинности
  • тавтология
  • терм
  • тип алгебраической системы
  • тождественная функция
  • тождественно истинная секвенция (в логике высказываний)
  • тождественно истинная формула (в логике высказываний)
  • транзитивность
  • тривиальный автоморфизм
  • унарная связка
  • универсальное замыкание
  • фиктивная переменная
  • формула
  • функциональная константа
  • хроматическое число
  • цепь
  • цикл
  • цикломатическое число
  • цифра
  • частично-упорядоченное множество
  • штрих Шеффера
  • эйлеров цикл
  • эйлерова цепями
  • эквивалентность (булева функция)
  • эквивалентность формул
  • элементарная дизъюнкция
  • элементарная конъюнкция

    • Меню раздела

    Считалки читалок:

    Яндекс.Метрика
    Рейтинг@Mail.ru
    Рейтинг@Mail.ru