Операции (14) new

07 Метод двух указателей

06 z-функция: поиск подстроки в строке

05 z-функция: реализация и анализ

04 z-функция: вычисление

03 z-функция: определение

02 Оптимальные алгоритмы поиска подстроки

01 Поиск подстроки в строке

Дискретная математика. Вводная лекция

Операции (14) new

23-3 Процедура DPLL

22-4 Пример доказательства методом резолюций

21-2 Теорема Поста о полноте

23-4 Хорновская выполнимость

19-2 Булевы формулы

21-3 Базисы булевых функций

20-4 Замкнутые классы

22-3 Полнота метода резолюций

20-3 Булевы схемы. Сумматор

23-5 2-выполнимость

17-5 Переход от НКА к ДКА

18-1 Операции над языками

18-2 Регулярные языки. Теорема Клини

18-3 Распознаваемость регулярных языков

23-1 Выполнимость булевой формулы (SAT)