Контур Студент

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