Производное Правило

83

вывода для данного исчисления - вывода правило, заключение к-рого выводимо из его посылок в рассматриваемом исчислении. Напр., в высказываний исчислении правило вывода является П. П., поскольку в этом исчислении имеет место выводимость из посылок. Всякое П. П. Является допустимым правилом, но не всякое допустимое правило является П. П. Напр., подстановки правило в исчислении высказываний является допустимым правилом, но не производным. Лит.:[1] Клини С. К., Введение в метаматематику, пер. С англ., М., 1957. С. Н. Артемов.

Значения в других словарях
Производная

- одно из основных понятий математич. Анализа. Пусть действительная функция f(x) действительного переменного хопределена в нек-рой окрестности точки х 0 и существует конечный или бесконечный предел (*) Этот предел и наз. Производной от функции f(х).в точке х а. Если положить y=f(x), то предел (*) запишется так. Используют также обозначения и нек-рые другие. Операцию вычисления П. Наз. Дифференцированием. Если производная f'( х 0).конечна, то функцию f(х).наз. Дифференцир..

Производное Множество

совокупность М' всех предельных точек множества Мв топологич. Пространстве. Множество М, совпадающее со своим П. М., наз. Совершенным. М. И. Войцеховский. ..

Производное Число

производное число Дини,- понятие теории функций действительного переменного. Верхним правым П. Ч. La наз. Верхний предел отношения при , где x1>x. Аналогично определяют нижнее правое la, верхнее Lg и нижнее lg левые П. Ч. Если La=la (Lg=lg), то f(x).имеет в точке ходностороннюю правую (левую) производную. Обыкновенная производная существует, если все четыре П. Ч. Конечны и совпадают. П. Ч. Были введены У. Дини [1]. Как показал Н. Н. Лузин, если все четыре П. Ч. Конечны на нек-ром множеств..

Производный Автоморфизм

в эргодической теории - преобразование TX, определяющееся по автоморфизму Т пространства с мерой( М,m) и измеримому подмножеству положительной меры , почти все точки к-рого под действием итераций Тснова попадают в X. Для каждой такой точки хопределяют TX(x).как ту точку траектории Т"х, в к-рой эта траектория впервые после х возвращается в X(согласно Пуанкаре теореме о возвращении, условие, чтобы почти все точки из Xсо временем снова возвращались в X, автоматически выполняется, если ). Пре..

Дополнительный поиск Производное Правило Производное Правило

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Производное Правило" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Производное Правило, различные варианты толкований, скрытый смысл.

Первая буква "П". Общая длина 19 символа