Высказываний Исчисление

89

пропозициональное исчисление,- общее название дедуктивных систем, выводимые объекты к-рых интерпретируются как суждения, составленные из простейших (не анализируемых в рамках В. И.) суждений при помощи пропозициональных связок (таких, как "не", "и", "или", "если..., то..." и др. См. Логические исчисления). Важнейшим примером является классич. В. И., в интерпретации к-рого суждения рассматриваются как принимающие два значения ("истина" и "ложь") и выводимыми объектами оказываются все тождественно истинные суждения и только они. Интерес к В. И. Определяется тем, что эти исчисления лежат в основе почти любой логико-математич. Теории и обычно соединяют сравнительную простоту с высокой содержательностью. В частности, многие важные задачи как теоретического, так и прикладного характера сводятся к тем или иным проблемам для классич.

В. И. Лит. См. При ст. Логические исчисления. С. Ю. Мослов.

Значения в других словарях
Вырожденное Ядро

- ядро линейного интегрального Фредгольма оператора, имеющее вид где Ри Q - точки евклидовых пространств. А. Б. Бакушинский. ..

Вырожденных Ядер Метод

один из методов построения аппроксимирующего уравнения для приближенного (и численного) решения нек-рых видов линейных и нелинейных интегральных уравнений. Основным типом интегральных уравнений, пригодных для применения В. Я. М., являются линейные одномерные интегральные уравнения Фредгольма II рода. Для таких уравнений В. Я. М. Состоит в приближенной замене ядра К( х, s).интегрального уравнения на вырожденное ядро вида и в последующем решении вырожденного интегрального уравнения Ф..

Высота

в диофантовой геометрии - некоторая численная функция на множестве решений диофантова уравнения. В простейшем случае целочисленного решения диофантова уравнения высота есть функция решения, равная В таком виде она встречается уже в методе спуска Ферма. Пусть имеется проективное алгебраич. Многообразие X, определенное над глобальным полем К. Высота представляет собой класс действительнозначных функций , определенных на множестве рациональных точек Р, и зависящий от морфизма многообразия ..

Высота Идеала

- минимум высот простых идеалов, содержащих данный идеал. Высота простого идеала в кольце А - наибольшее число h(или , если такого числа нет) такое, что существует цепочка различных простых идеалов Ковысота простого идеала определяется как наибольшее h, для к-рого существует цепочка простых идеалов Иначе говоря, где dim означает размерность соответствующего кольца по Круллю. Высота простого идеала равна коразмерности многообразия, определяемого идеалом, а ковысота - размер..

Дополнительный поиск Высказываний Исчисление Высказываний Исчисление

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

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

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