ChemStudy

В

НВ Н ВН

Н Н

В

В Н В Н

ДМИТРИЕВ Владимир Карпович (1868-1913) , российский экономист-математик и статистик. С помощью линейных уравнений разработал способ выражения полных затрат труда.

СКОБЕЛЬЦЫН Дмитрий Владимирович (1892-1990) , российский физик, основатель отечественной школы по физике атомного ядра и космических лучей, академик АН СССР (1946), Герой Социалистического Труда (1969). Директор Физического института АН СССР (1951-73). Обнаружил в космических лучах заряженные частицы и их ливни, заложив этим основы физики высоких энергий. Открыл электронноядерные ливни и ядерный каскадный процесс. Исследовал эффект Комптона. Ленинская премия (1982), Государственная премия СССР (1951).

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ , раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.