video
2dn
video2dn
Найти
Сохранить видео с ютуба
Категории
Музыка
Кино и Анимация
Автомобили
Животные
Спорт
Путешествия
Игры
Люди и Блоги
Юмор
Развлечения
Новости и Политика
Howto и Стиль
Diy своими руками
Образование
Наука и Технологии
Некоммерческие Организации
О сайте
Контур Студент
информационные технологии
07 Метод двух указателей
06 z-функция: поиск подстроки в строке
05 z-функция: реализация и анализ
04 z-функция: вычисление
03 z-функция: определение
02 Оптимальные алгоритмы поиска подстроки
01 Поиск подстроки в строке
Дискретная математика. Вводная лекция
Операции (14) new
23-5 2-выполнимость
23-4 Хорновская выполнимость
23-3 Процедура DPLL
23-2 Распространение переменной
23-1 Выполнимость булевой формулы (SAT)
22-4 Пример доказательства методом резолюций
22-3 Полнота метода резолюций
22-2 Метод резолюций
22-1 Формальные доказательства
21-4 Решетка замкнутых классов
21-3 Базисы булевых функций
21-2 Теорема Поста о полноте
21-1 Три леммы о функциях
20-4 Замкнутые классы
20-3 Булевы схемы. Сумматор
20-2 Полиномы Жегалкина
20-1 Полные системы булевых функций
19-4 КНФ
19-3 ДНФ и карты Карно
19-2 Булевы формулы
19-1 Булевы функции. Примеры