Изоль
- рекурсивной эквивалентности тип изолированного (т. Е. Конечного или иммунного) множества натуральных чисел. Множество всех И. Континуально и является полукольцом относительно операций сложения и умножения, определяемых для произвольных типов рекурсивной эквивалентности. Это полукольцо наз. Арифметикой И. Последняя обладает рядом свойств арифметики натуральных чисел, в частности в ней выполнены все универсальные хорновские формулы, элементарные подформулы к-рых представляют собой равенство так наз. Комбинаторных функций. Примером такой формулы является закон сокращения. X+Z= Y+ZХ=Y. И. Рассматриваются как рекурсивные аналоги мощностей конечных по Дедекинду множеств, т. Е. Множеств, не равномощных никакому своему собственному подмножеству.
А. Л. Семенов..
Дополнительный поиск Изоль
На нашем сайте Вы найдете значение "Изоль" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Изоль, различные варианты толкований, скрытый смысл.
Первая буква "И". Общая длина 5 символа