Все публикации

0:22:26

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

0:05:34

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

0:11:03

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

0:05:09

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

0:03:27

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

0:14:36

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

0:15:32

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

0:19:47

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

0:10:23

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

0:06:34

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

0:13:57

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

0:09:18

21-4 Решетка замкнутых классов

0:05:45

18-5 Замкнутость относительно операций

0:10:56

22-1 Формальные доказательства

0:07:08

20-1 Полные системы булевых функций

0:12:08

19-1 Булевы функции. Примеры

0:16:45

17-2 Детерминированный конечный автомат

0:07:07

19-4 КНФ

0:07:05

17-1 Помеченные орграфы

0:16:45

19-3 ДНФ и карты Карно

0:05:00

22-2 Метод резолюций

0:09:45

20-2 Полиномы Жегалкина

0:12:43

17-4 Недетерминированный конечный автомат

0:09:23

17-3 Вариации на тему ДКА