Правильная Интерпретация

78

интерпретация формальной системы, при к-рой все аксиомы истинны или принимают значение "истина" при всех значениях ее параметров, а правила вывода сохраняют свойство принимать значение "истина". Данное определение относится к двузначным логич. Исчислениям. Если истинностных значений больше и нек-рые из них отмечены, то в определении П. И. Вместо слов "принимать значение Дистина"" надо использовать слова "принимать отмеченные значения". Если приведенное свойство интерпретации не выполняется, то она наз. Неправильной. П. И. Для формальных систем, получающихся добавлением к узкому исчислению предикатов какого-то множества аксиом Т, наз. Также моделями системы аксиом Тили моделями для Т. Произвольные интерпретации для таких формальных систем наз.

Алгебраич. Системами или просто моделями. Лит. [1] Чёрч А., Введение в математическую логику, пер. С англ., М., 1960. В. Н. Гришин.

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

- полугруппа, простая справа (см. Простая полугруппа).и удовлетворяющая левостороннему закону сокращения. Всякая П. Г. Является вполне простой полугруппой. Свойство полугруппы Sбыть П. Г. Эквивалентно любому из следующих условий. A) Sпроста справа и содержит идемпотент, б) Sрегулярна и удовлетворяет левостороннему закону сокращения, в) Sобладает разбиением на левые идеалы, являющиеся (необходимо изоморфными) группами, г) Sесть прямое произведение группы и полугруппы правых нулей (см. Идемпотент..

Правдоподобия Уравнение

уравнение, к-рое составляют при нахождении статистич. Оценок неизвестных параметров по максимального правдоподобия методу. Пусть X - случайный вектор, плотность вероятности к-рого р( х|q). Содержит неизвестный параметр . Тогда уравнение наз. Уравнением правдоподобия, а его решение - оценкой максимального (наибольшего) правдоподобия для параметра q. В нек-рых случаях П. У. Решается элементарно, но в основном П. У. Представляет собой алгебраическое или трансцендентное уравнение, для решен..

Правильная Линейная Система

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

Правильные Многогранники

..

Дополнительный поиск Правильная Интерпретация Правильная Интерпретация

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

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

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