Бюрократы, editor, Администраторы
422
правки
Изменения
Нет описания правки
Кажется, свойства надо доказать. [[Участник:Kirelagin|Кирилл Елагин]] 00:44, 24 апреля 2012 (GST)
: Ну оформление, конечно, капец. Думаю, надо оформить как теорему. Не говоря уже о том, что с нумерацией списка беда (это беда вики-разметки; думаю, лучшим решением будет зафигачить руками html). [[Участник:Kirelagin|Кирилл Елагин]] 00:31, 30 апреля 2012 (GST)
Самое последнее предложение противоречит определению недетерминированных программ (программа сейчас по определению недетерминированная, если в ней есть хотя бы один недет. выбор). Кажется, ошибка в определении. [[Участник:Kirelagin|Кирилл Елагин]] 00:45, 24 апреля 2012 (GST)
: Теперь ок. [[Участник:Kirelagin|Кирилл Елагин]] 00:31, 30 апреля 2012 (GST)
