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

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 Булевы функции. Примеры