Секвенциально Компактное Пространство

(в теории игр) функции F,заданной на декартовом произведении двух множеств ,- точка , для к-рой Наличие С. Т. У функции Fравносильно существованию оптимальных стратегий у игроков в антагонистической игре Г=( Х, Y, F). В. ..

- одна из тригонометрических функций. другое обозначение sc x. Область определения - вся числовая прямая за исключением точек, абсциссы к-рых С.- неограниченная четная периодическая (с периодом 2p) функция. Производная С. Интеграл от С. С. Разлагается в ряд Ю. А. Горьков. ..

топологическое пространство Xтакое, что из и (т. Е . множество Анезамкнуто) следует существование последовательности , k=1, 2, . ., точек из А, сходящихся к нек-рой точке . Если из всегда следует, что существует последовательность точек из А, сходящаяся к х, то Xназ. Пространством Ф р е ш е - У р ы с о н а. М. Я. Войцеховский.. ..

одна из формулировок предикатов исчисления. Благодаря удобной форме вывода С. И. Находит широкое применение в доказательств теории, основаниях математики, при автоматич. Поиске вывода. С. И. Было предложено Г. Генценом в 1934 (см. [1]). Ниже приводится один из вариантов классич. Исчисления предикатов в форме С. И. Н а б о р о м ф о р м у л наз. Конечное множество формул нек-рого логико-математического языка W, причем в этом множестве допускаются повторения формул. Порядок формул в наборе Г ..