Вклад участника 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‎ Максимон ‎Нет описания правки