Дискретная математика:Тикеты — различия между версиями
(→3 Подсчёт числа объектов) |
м (→1. Отношения) |
||
Строка 1: | Строка 1: | ||
== 1. Отношения == | == 1. Отношения == | ||
#[[Определение отношения]] 0.5 | #[[Определение отношения]] 0.5 | ||
− | + | ## Оформить правильно источники информации | |
− | ## Оформить | ||
## Английские термины к видам отношений | ## Английские термины к видам отношений | ||
#[[Композиция отношений|Композиция отношений, степень отношения, обратное отношение]] 2 | #[[Композиция отношений|Композиция отношений, степень отношения, обратное отношение]] 2 |
Версия 22:37, 26 июня 2017
Содержание
1. Отношения
- Определение отношения 0.5
- Оформить правильно источники информации
- Английские термины к видам отношений
- Композиция отношений, степень отношения, обратное отношение 2
- Английские термины
- Источники информации
- Свойства оформить красиво
- Свойства обратного отношения
- Рефлексивное отношение. Антирефлексивное отношение. 0,25
- См. также
- Симметричное отношение
- Антисимметричное отношение
- Транзитивное отношение 0,25
- См. также
- Отношение порядка 0,5
- Английские термины
- См. также
- Изоморфизмы упорядоченных множеств
- Отношение эквивалентности 0,25
- См. также
- Транзитивное замыкание отношения 0,25
- См. также
- Алгоритм Флойда-Уоршалла построения транзитивного замыкания отношения
- Транзитивный остов 0,25
- Английские термины
2 Булевы функции
- Определение булевой функции 0,5
- Добавить интервики на термины монотонности, линейности, сохранения здесь) и , самодвойственности для булевой функции. (все определения
- Побитовые операции
- Суперпозиции 0,25
- См. также
- ДНФ
- Сокращенная и минимальная ДНФ, минимизация ДНФ методами гиперкубов, карт Карно, Квайна
- КНФ 0,25
- См. также
- 2-SAT
- XOR-SAT
- Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома
- Полином Жегалкина, преобразование Мёбиуса 0,25
- См. также
- Полные системы функций. Теорема Поста о полной системе функций 0,25
- См. также
- Представление функции класса DM с помощью медианы 0.25
- См. также
- Пороговая функция 0.25
- См. также
- Троичная логика
3 Схемы из функциональных элементов
- Реализация булевой функции схемой из функциональных элементов
- Простейшие методы синтеза схем из функциональных элементов 0.5
- Изменить знаки неравенств
- Ссылку на метод синтеза схем Шэннона сделать примечанием
- Определение жирным
- Оформить правильно См. также и Источники информации
- Увеличить дроби
- Метод Лупанова синтеза схем 0.5
- Заменить литературу на источники информации
- Изменить знаки неравенств
- Запятые криво стоят в определении функции g
- Увеличить дроби
- Cумматор
- Каскадный сумматор
- Двоичный каскадный сумматор
- Троичный сумматор
- Реализация вычитания сумматором
- Матричный умножитель
- Дерево Уоллеса
- Контактная схема 1
- Перерисовать картинки с построением контактных схем и дерево конъюнктов
- Триггеры
- Квантовые гейты
4 Представление информации
- Кодирование информации
- Представление целых чисел: прямой код, код со сдвигом, дополнительный код
- Представление вещественных чисел
- Представление символов, таблицы кодировок
5 Алгоритмы сжатия
- Алгоритм Хаффмана
- Оптимальное хранение словаря в алгоритме Хаффмана
- Алгоритм Хаффмана за O(n) 1
- Мутное доказательство после разбора случаев, надо понятней написать, а то сейчас не ясно, почему будет всё ок
- Алгоритм Ху-Таккера
- Неравенство Крафта
- Неравенство Макмиллана
- Код Шеннона
- Оптимальный префиксный код с длиной кодового слова не более L бит
- Алгоритмы LZ77 и LZ78 2
- Переменные и константы взять в Tex
- Добавить примеры итоговых таблиц
- Рассказать, как декодировать
- Правильно оформить источники информации
- Получше расписать описание алгоритма
- Таблицы сделать красивыми
- Интервики
- Алгоритм LZW 0,25
- См. также
- Алгоритм LZSS
- Алгоритм LZMA
- Преобразование Барроуза-Уиллера и обратное ему
- Преобразование MTF
- Расстояние Хэмминга
- Избыточное кодирование, код Хэмминга 0,25
- См. также
- Гамма-, дельта- и омега-код Элиаса 0,25
- См. также
6 Комбинаторика
1 Комбинаторные объекты
- Комбинаторные объекты
- Лексикографический порядок
- Коды Грея
- Коды Грея для перестановок
- Коды антигрея
- Монотонный код Грея
- Цепные коды
- Правильные скобочные последовательности
2 Генерация комбинаторных объектов
- Генерация комбинаторных объектов в лексикографическом порядке 0.5
- Заменить скобки "больше-меньше" на угловые
- Нормальную красивую картинку нарисовать
- Получение номера по объекту
- Получение объекта по номеру
- Получение следующего объекта
- Получение предыдущего объекта
- Метод генерации случайной перестановки, алгоритм Фишера-Йетса
- Методы генерации случайного сочетания
3 Подсчёт числа объектов
- Формула включения-исключения, подсчет числа беспорядков
- Нахождение количества разбиений числа на слагаемые. Пентагональная теорема Эйлера 0,5
- Сделать через tex возведение в степень в заголовках
- См. также
- Лемма Бёрнсайда и Теорема Пойа
- Задача об ожерельях
- Числа Стирлинга первого рода 5
- то есть результат не зависит от ?
- доказательства дополнительных тождеств
- Числа Стирлинга второго рода
- Числа Эйлера первого и второго рода. Подъемы в перестановках 0,25
- См. также
- Числа Каталана 0,25
- См. также
4 Свойства комбинаторных объектов
- Умножение перестановок, обратная перестановка, группа перестановок 5
- Английские термины
- Определения жирным
- Тут вообще неправильно описано умножение перестановок (не путать с подстановками)
- Отформатировать псевдокоды
- Все переменные и константы взять в Tex
- Оформить правильно источники информации
- Добавить примеров из конспекта групп по теории чисел
- Добавить реккурентную формулу числа инволюций c доказательством
- Действие перестановки на набор из элементов, представление в виде циклов
- Таблица инверсий 0,25
- tex в заголовок
- Теорема Кэли
- Матричное представление перестановок
- Задача о минимуме/максимуме скалярного произведения 0,25
- Cм. также
- Задача о монотонных подпоследовательностях, теорема о связи длины НВП и НУП 0.25
- См. также