Дискретная математика и алгоритмы — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
 
(не показано 176 промежуточных версий 50 участников)
Строка 1: Строка 1:
== Отношения ==
+
#перенаправление [[Дискретная математика, алгоритмы и структуры данных]]
*Определение отношения
+
[[Категория:Дискретная математика и алгоритмы]]
*Степень отношений
 
*[[Рефлексивное отношение|Рефлексивное отношение. Антирефлексивное отношение.]]
 
*[[Симметричное отношение]]
 
*[[Антисимметричное отношение]]
 
*[[Композиция отношений|Композиция отношений. Обратное отношение]]
 
*[[Транзитивное отношение]]
 
*[[Транзитивное замыкание|Транзитивное замыкание отношения]]
 
*[[Алгоритм Флойда — Уоршелла|Алгоритм Флойда-Уоршалла построения транзитивного замыкания отношения]]
 
 
 
== Булевы функции ==
 
*[[Определение булевой функции]]
 
*[[Примеры булевых функций|Примеры булевых функций: все функции от нуля, одной и двух переменных]]
 
*Подстановка одной функции в другую, отождествление переменных
 
*Представление функции формулой, полные системы функций
 
*[[СДНФ]]
 
*[[СКНФ]]
 
*[[Полином Жегалкина]]
 
*[[Теорема Поста о полной системе функций]]
 
*[[Сокращенная и минимальная ДНФ]]
 
*[[Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно]]
 
*[[Специальные формы КНФ|Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома]]
 
*[[Преобразование Мёбиуса для получения коэффициентов полинома Жегалкина]]
 
 
 
== Схемы из функциональных элементов ==
 
*[[Реализация булевой функции схемой из функциональных элементов]]
 
*[[Изменение размера оптимальной схемы при переходе к другому базису]]
 
*[[Cумматор]]
 
*[[Каскадный сумматор]]
 
*[[Двоичный каскадный сумматор]]
 
*[[Матричный умножитель]]
 
*[[Дерево Уоллеса]]
 
 
 
== Представление информации ==
 
*[[Кодирование информации]]
 
*[[Представление целых чисел: прямой код, код со сдвигом, дополнительный код]]
 
*[[Представление вещественных чисел]]
 
*[[Представление символов, таблицы кодировок]]
 
*[[Алгоритм Хаффмана]]
 
 
 
== Алгоритмы сжатия ==
 
*[[Алгоритм LZW]]
 
*[[Алгоритмы LZ77 и LZ78]]
 
*[[Преобразование Барроуза-Уиллера]]
 
*[[Преобразование MTF]]
 

Текущая версия на 15:51, 10 марта 2012