Архив статей журнала

ОБОБЩЕННЫЕ ВЕРСИИ АЛГОРИТМОВ (2023)

Выпуск: № 5 (2023)

Авторы: Гамова А.Н.

Статья посвящена обобщенным вычислениям с частичными оракулами, метарекурсивным системам и ∑-программированию. Для сохранения привычных свойств перечислимых множеств на оракул накладываются дополнительные требования. Метарекурсия Крипке-Платека строится на допустимых ординалах, для которых требуются оракулы со свойствами регулярности и слабой фундированности. Крайзель и Сакс строят метарекурсию для единственного ординала

Сохранить в закладках

Все права на тексты и товарные знаки принадлежат их законным владельцам. Подробнее...

Сайт https://scinetwork.ru (далее – сайт) работает по принципу агрегатора – собирает и структурирует информацию из публичных источников в сети Интернет, то есть передает полнотекстовую информацию о товарных знаках в том виде, в котором она содержится в открытом доступе.

Сайт и администрация сайта не используют отображаемые на сайте товарные знаки в коммерческих и рекламных целях, не декларируют своего участия в процессе их государственной регистрации, не заявляют о своих исключительных правах на товарные знаки, а также не гарантируют точность, полноту и достоверность информации.

Все права на товарные знаки принадлежат их законным владельцам!

Сайт носит исключительно информационный характер, и предоставляемые им сведения являются открытыми публичными данными.

Администрация сайта не несет ответственность за какие бы то ни было убытки, возникающие в результате доступа и использования сайта.

Спасибо, понятно.

МАК: МАТЕМАТИКИ - АЛТАЙСКОМУ КРАЮ

Архив статей журнала