Изменения

Перейти к: навигация, поиск

Иммунные и простые множества

41 байт добавлено, 22:41, 17 октября 2016

Нет описания правки

|proof=

Рассмотрим все программы.

Для некоторого [[Перечислимые_языки | перечислимого языка ]] какая-то из них является его перечислителем.

Рассмотрим программу <tex>q</tex>:

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/55575»