выразимость


выразимость
f. expressibiiity

Русско-английский словарь математических терминов. — Американское математическое общество. . 1990.

Смотреть что такое "выразимость" в других словарях:

  • О формально неразрешимых предложениях —         «О ФОРМАЛЬНО НЕРАЗРЕШИМЫХ ПРЕДЛОЖЕНИЯХ» классическая работа К. Геделя (Godel К. Uber formal unentscheidbare Satze der Principia Mathemati ca und verwandter Systeme, I // Monatshefte fur Mathematik und. Physik. 1931. Bd. 38. S. 173 198;… …   Энциклопедия эпистемологии и философии науки

  • Дифференциальный бином — В математическом анализе дифференциальным биномом или биномиальным дифференциалом называется интеграл вида где m, n, p, a, b действительные числа. Содержание 1 Свойства …   Википедия

  • Логическая семантика —         раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… …   Большая советская энциклопедия

  • Субстанция — (лат. substantia сущность, нечто лежащее в основе)         объективная реальность, рассматриваемая со стороны её внутреннего единства; Материя в аспекте единства всех форм её движения; предельное основание, позволяющее сводить чувственное… …   Большая советская энциклопедия

  • ФИЛОСОФИЯ КУЛЬТУРЫ — филос. исследование принципов и общих закономерностей культуры. Может существовать как специальная теория или как аспект более широкой концепции. От Ф.к. следует отличать культурологию как специальную гуманитарную науку, не требующую… …   Философская энциклопедия

  • ПАРАДОКС ЛОГИЧЕСКИЙ — положение, которое сначала еще не является очевидным, однако, вопреки ожиданиям, выражает истину. В античной логике парадоксом называли утверждение, многозначность которого относится прежде всего к его правильности или неправильности. В… …   Философская энциклопедия

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

  • ОПРЕДЕЛИМОСТЬ —         одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …   Философская энциклопедия

  • ЭФФЕКТИВИЗМ —         направление в филос. основаниях математики, ставившее своей задачей переосмысление «платонистской» концептуальной основы содержат. (канторовской) теории множеств с т. зр. принципов эмпиризма. Выдвинуто в кон. 19 нач. 20 вв. в работах… …   Философская энциклопедия

  • АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… …   Математическая энциклопедия

  • ЛИ РАЗРЕШИМАЯ ГРУППА — группа Ли, разрешимая как абстрактная группа. В дальнейшем рассматриваются вещественные или комплексные Ли р. г. Нильпотентная, в частности абелева, группа Ли разрешима. Если F={Vi} полный флаг в конечномерном векторном пространстве V(над или ),… …   Математическая энциклопедия

Книги

Другие книги по запросу «выразимость» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.