- теоретико-множественная формула
- мат. set-theoretical formula
Большой англо-русский и русско-английский словарь. 2001.
теоретико-множественная формула
Смотреть что такое "теоретико-множественная формула" в других словарях:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Коэффициент сходства — (также мера сходства, индекс сходства) безразмерный показатель, применяемый в биологии для количественного определения степени сходства биологических объектов. Также известен под названиями: мера ассоциации, мера подобия и др. более редкие… … Википедия
ИНТЕРПРЕТАЦИЯ — задание значения (смысла) математич. выражений (символов, формул и т. д.). В математике такими значениями служат математич. объекты (множества, операции, выражения и т. д.). Сами эти значения также наз. И. соответствующих выражений. Примеры.… … Математическая энциклопедия
ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ — один из методов математич. анализа, позволяющий в ряде случаев сводить исследование дифференциальных операторов, псевдодифференциалъных операторов и нек рых типов интегральных операторов и решение уравнений, содержащих эти операторы, к… … Математическая энциклопедия
ДЕСКРИПТИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел теории множеств, изучающий внутреннее строение множеств в зависимости ют тех операций, при помощи к рых эти множества могут быть построены из множеств сравнительно простой природы (напр., замкнутых или открытых подмножеств данного… … Математическая энциклопедия
ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… … Математическая энциклопедия
