2 тысяч подписчиков
495 видео
16-5 Снова о вычислительной сложности
20-1 Полные системы булевых функций
02 Сравнение поиска в ширину и поиска в глубину
21-1 Три леммы о функциях
15-6 Критерий планарности
17-4 Недетерминированный конечный автомат
02 Оптимальные алгоритмы поиска подстроки
22-2 Метод резолюций
20-4 Замкнутые классы
Сергей Мартыненко - ROI от автоматизации тестирования
14-3 Теорема Оре
06 Код вставки
17-1 Помеченные орграфы
18-2 Регулярные языки. Теорема Клини
07 Метод двух указателей
R-6 Решение ЛРС первого порядка
17-5 Переход от НКА к ДКА
22-1 Формальные доказательства
23-1 Выполнимость булевой формулы (SAT)
18-1 Операции над языками
23-4 Хорновская выполнимость
22-4 Пример доказательства методом резолюций
13-5 Мосты и точки сочленения
01 String Hashing
15-1 Изображения графов. Плоские графы
22-3 Полнота метода резолюций
03 Бор
21-3 Базисы булевых функций
01 Поиск подстроки в строке
20-3 Булевы схемы. Сумматор
23-3 Процедура DPLL
19-2 Булевы формулы
23-5 2-выполнимость
18-3 Распознаваемость регулярных языков
Операции (14) new
Дискретная математика. Вводная лекция
06 z-функция: поиск подстроки в строке
21-2 Теорема Поста о полноте
Стажировка в СКБ Контуре
СКБ Контур и ACM
19-1 Булевы функции. Примеры
Sets and Logic 1
18-4 Регулярность автоматных языков
21-4 Решетка замкнутых классов
Множества и логика 5
04 z-функция: вычисление
03 z-функция: определение
