История
4 сентября 2022
1 сентября 2022
11 декабря 2019
28 декабря 2017
27 декабря 2017
31 октября 2017
18 января 2016
12 декабря 2015
→Примеры
+55
→Формулировка и доказательство критерия Поста
м+390
→Замкнутые классы булевых функций
+107
→Полные системы функций
м+107
2 июня 2015
13 января 2012
12 января 2012
1 января 2012
22 октября 2011
→Формулировка и доказательство критерия
м+306
доказательство полноты систем {or, not} & {and, not}
+334
20 октября 2011
Нет описания правки
м-2
объединен с конспектом "полные системы функций"
+4241
переименовал Теорема Поста о полной системе функций в Полные системы функций. Теорема Поста о полной системе функций: объединение с...
м
19 октября 2011
17 октября 2011
16 октября 2011
14 октября 2011
→Замкнутые классы булевых функций
м-4
Добавлены определения классов функций, отредактированы источники, исправлены мелкие ошибки, добавлены "категории"
+3883
9 октября 2011
16 мая 2011
17 марта 2011
17 января 2011
tex поддерживает знак =
м-22
→Формулировка и доказательство критерия: по-моему в предложении не стоит использовать значок => для следствия
м+26
'''.''' → .
м-6
use \lnot или \neg, \ldots
м-192
→Формулировка и доказательство критерия: \oplus \wedge + порядок скобок
м-47
3 января 2011
21 ноября 2010
20 октября 2010
→Формулировка и доказательство критерия
-4
Нет описания правки
+954
Нет описания правки
-206
→Доказательство
-263
→Доказательство
-230
→Формулировка теоремы
-42