Вклад участника 87.117.186.197
Для 87.117.186.197 обсуждение блокировки журналы глобальные блокировки срабатывания фильтров
22 августа 2019
- 08:1208:12, 22 августа 2019 разн. история +39 Теорема Курселя Исправлено неверное определение теоремы Курселя. Теорема Курселя - это утверждение о свойствах графа, определяемых формулами монадической (т.е. где кванторы второго порядка стоят только перед предикатами с одним аргументом) логики второго порядка, а не вообще формулами второго порядка (в которой кванторы второго порядка могут применяться к предикатам с любым количеством переменных). Метка: через визуальный редактор
18 мая 2019
- 20:3820:38, 18 мая 2019 разн. история +10 Безмятежность Убран англицизм. Метка: через визуальный редактор
2 января 2014
- 18:1418:14, 2 января 2014 разн. история −30 Максимон Нет описания правки