Справочник от Автор24
Нужна помощь?
Найдем эксперта за 5 минут
Подобрать эксперта
+2

Кортеж (конечная последовательность)

Предмет Высшая математика
👍 Проверено Автор24

отображение отрезка натурального ряда или вообще конечного множества натуральных чисел в некоторое множество; обозначается 〈a0, a1, ... , an〉, или (a0, a1, ... , an), или a0, a1, ... , an, или a0a1 ... an (последнее в случае слова); элементы кортежа называются также его компонентами

Скачать

Научные статьи на тему «Кортеж (конечная последовательность)»

Создание списков в языке Паскаль

Математическими списками, или кортежами, являются конечные последовательности компонентов какого-либо

Статья от экспертов

О существовании предельных моделей над последовательностью типов

Рассматриваются предельные модели, т. е. счетные модели, которые представляются в виде объединения элементарных цепей простых моделей над конечными множествами, но не изоморфные никакой простой модели над конечным множеством. Любая счетная модель малой теории (т. е. теории со счетным числом типов) является либо простой над некоторым кортежем, либо предельна. При этом любая предельная модель является либо предельной над типом, т. е. представляется в виде объединения элементарной цепи попарно изоморфных простых моделей над реализациями некоторого фиксированного типа, либо предельна над некоторой последовательностью попарно различных типов, над которыми простые модели не изоморфны.В работе охарактеризовано свойство существования предельной модели над последовательностью типов в терминах отношений изолированности и полуизолированности: показано, что существует предельная модель над последовательностью типов тогда и только тогда, когда имеется бесконечно много несимметричным переходов ме...

Научный журнал

Секвенции

Секвенции – это формальная запись отношения логической выводимости, имеющая вид F → Θ, где F и Θ являются последовательностями...
Если удается построить вывод, в котором рассматриваемая секвенция является конечной (последней), то секвенция...
Иногда изменяют само понятие секвенции и используют такие объекты, как «надсеквенции», «кортежи секвенций

Статья от экспертов

Еще термины по предмету «Высшая математика»

Абелев интеграл

интеграл вида ∫f (x, y) dx, (от a до b), где f — рациональная функция от двух переменных и y — алгебраическая функция от x

🌟 Рекомендуем тебе

Китайская теорема об остатках

для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)

🌟 Рекомендуем тебе

Суммирование

процесс составления или вычисления суммы

🌟 Рекомендуем тебе
Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

  1. Напиши термин
  2. Выбери определение из предложенных или загрузи свое
  3. Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
Нужна помощь с заданием?

Эксперт возьмёт заказ за 5 мин, 400 000 проверенных авторов помогут сдать работу в срок. Гарантия 20 дней, поможем начать и проконсультируем в Telegram-боте Автор24.

Перейти в Telegram Bot