Классов Исчисление

75

- традиционное, восходящее к Дж. Булю (G. Boole) название раздела математич. Логики, изучающего логику классов. К. И. Фактически представляет собой логику высказываний, в к-рой дополнительно рассматривается субъектно-предикатная структура элементарных высказываний (т. Е. Элементарные высказывания имеют вид "элемент хобладает свойством Р"), причем с каждым предикатом (свойством) Рсвязывается класс элементов из рассматриваемой области, обладающих этим свойством. К. П. Было задумано как математич. Эквивалент аристотелевой силлогистики, однако оно не является таковым, поскольку допустимые в К. И. Пустой и одноэлементные классы Аристотелем не рассматривались. К. И. Обычно не выделяют в самостоятельный раздел математич. Логики, так как все его выразительные возможности перекрываются исчислением одноместных предикатов (являющимся, в свою очередь, разрешимым фрагментом узкого исчисления предикатов, см.

Логические исчисления). Аристотелева силлогистика адекватным образом формализована Я. Лукасевичем [4]. Лит.:[1] Гильберт Д., Аккерман В., Основы теоретической логики, пер. С нем., М., 1947. [2] Кутюра Л., Алгебра логики, [пер. С франц.], Одесса, 1909. [3] Wajsberg M., "Monatsch. Fur Math, und Phys.", 1933, Bd 40, S. 113-26. [4] Лукасевич Ян, Аристотелевская силлогистика с точки зрения современной формальной логики, пер. С англ., М., 1959. [5] Яновская С, Логика классов, в кн. Философская энциклопедия, т. 3, М., 1964, с. 224 - 26. Б. А. Душский..

Значения в других словарях
Классической Небесной Механики Математические Задачи

- задачи, возникающие в астрономии в связи с изучением движения небесных тел в гравитационном поле. Классическими объектами, изучаемыми небесной механикой, являются планеты и спутники Солнечной системы. Движение звезд и звездных систем изучает звездная астрономия (см. Звездной астрономии математические задачи). Движение искусственных небесных тел исследует астродинамика. Так как расстояния между телами Солнечной системы велики по сравнению с размерами самих тел, то поступательное и вращательно..

Классов Дивизоров Группа

- факторгруппа группы диеизориалъных идеалов D (А) Крулля кольца А по подгруппе главных идеалов F(A). К. Д. Г. Является абелевой группой и обычно обозначается С(А). Группа С(А)порождается классами простых идеалов высоты 1 в кольце А. В некотором смысле К. Д. Г. Измеряет отклонение от однозначности разложения элементов кольца Ана неразложимые множители. Так, факториальное кольцо имеет нулевую К. Д. Г. Пусть j :- гомоморфизм колец Крулля, тогда при некоторых дополнительных предположениях (напр..

Клебша Условие

- необходимое условие оптимально'сти в задаче вариационного исчисления на условный экстремум. Установлено Р. Клебшем [1]. Если экстремаль x(t), x. Доставляет условный минимум функционалу в Болъца задаче. то согласно правилу множителей она является безусловной экстремалью функционала где а - Лагранжа множители, определяемые вместе с x(t)из необходимых урловий экстремума функционала (1). Одним из таких необходимых условий является К. У. Для того, чтобы экстремаль x(t)доставляла минимум в р..

Клейна - Гордона Уравнение

- релятивистски инвариантное квантовое уравнение, описывающее бесспиновые скалярные или псевдоскалярные частицы, напр, p-, К-мезоны. Уравнение установлено О. Клейном [1] и несколько позднее В. А. Фоком как волновое уравнение при условии цикличности по пятой координате и вскоре было выведено без привлечения пятой координаты многими авторами (напр., В. Гордоном [2]). Последовательное применение К.-Г. У. Как квантового релятивистского уравнения возможно лишь в квантовой теории поля, а не в квантов..

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

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

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

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