непустой

  • 1 непустой — непустой …

    Орфографический словарь-справочник

  • 2 непустой — содержательный, небесплодный, незряшный Словарь русских синонимов. непустой прил., кол во синонимов: 3 • небесплодный (8) • …

    Словарь синонимов

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

    Философская энциклопедия

  • 4 АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… …

    Математическая энциклопедия

  • 5 ЛОГИЧЕСКИЙ ЗАКОН — или Закон логики, выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Примерами Л.з. могут служить закон противоречия, закон исключенного третьего, закон де Моргана, закон… …

    Философская энциклопедия

  • 6 ПРАВИЛО ВЫВОДА —         определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… …

    Философская энциклопедия

  • 7 Список (информатика) — У этого термина существуют и другие значения, см. Список. В информатике, список (англ. list)  это абстрактный тип данных, представляющий собой упорядоченный набор значений, в котором некоторое значение может встречаться более одного… …

    Википедия

  • 8 незряшный — непустой, небесплодный Словарь русских синонимов. незряшный прил., кол во синонимов: 4 • достойный внимания (11) • …

    Словарь синонимов

  • 9 содержательный — Массивный, полный. Прот. полный …

    Словарь синонимов

  • 10 логический закон — выражение, содержащее только логические константы и переменные и явля ющееся истинным в любой (непустой) предметной области. Примером Л. з. может служить любой закон логики высказываний (скажем, непротиворечия закон, закон исключенного третьего,… …

    Словарь терминов логики

  • 11 фоновый заряд — Нрк. заряд смещения непустой нуль Заряд, который определяет нулевой уровень аналогового сигнала и вводится во все потенциальные ямы. Примечание Обычно фоновый заряд вводится электрическим путем или путем облучения фоточувствительного поля прибора …

    Справочник технического переводчика

  • 12 диаграммы венна — геометрическое наглядное представление отношений между классами (объемами понятий) в булевой алгебре с помощью кругов или иных фигур. Д. В. были введены в логику в конце XIX в. англ. логиком Дж. Венном. Элемент 1 булевой алгебры представляется… …

    Словарь терминов логики

  • 13 индивид — (от лат. individuum неделимое) единичное как противоположность совокупности, массе; отдельное живое существо, особь, отдельный человек, в отличие от стада, группы, коллектива. В логике И. называют любой объект, обозначаемый единичным, или… …

    Словарь терминов логики

  • 14 логика предикатов — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… …

    Словарь терминов логики

  • 15 МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …

    Философская энциклопедия

  • 16 ЛОГИКА КЛАССОВ —         раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… …

    Философская энциклопедия

  • 17 ЛЁВЕНХЕЙМ — (Löwenheim), Леопольд (1878–1940) – нем. логик и математик. Осн. работы Л. посвящены исследованию разрешения проблемы для узкого предикатов исчисления. Он доказал, что решение этой проблемы в общем случае сводится к ее решению для случая, когда… …

    Философская энциклопедия

  • 18 ПУСТОЕ — (в математике и логике) – то же, что не содержащее элементов (членов) . Так, П. множество (или класс) – это множество (соответственно класс ), не имеющее ( ий) элементов; П. слово (в формализованных языках математики и математич. логики) – слово …

    Философская энциклопедия

  • 19 АЛГЕБРАИЧЕСКИХ СИСТЕМ МНОГООБРАЗИЕ — алгебраических систем класс фиксированной сигнатуры и, аксиоматизируемый при помощи тождеств, т. е. формул вида где к. л. предикатный символ из или знак равенства, а термы сигнатуры Q от предметных переменных А. с. м. наз. иначе э к,… …

    Математическая энциклопедия

  • 20 АНАЛИТИЧЕСКОЕ ПРОДОЛЖЕНИЕ — функции доопределение функции f0, определенной на нек ром подмножестве Екомплексного многообразия М, до функции f, голоморфной в нек рой области , содержащей Е, такое, что сужение функции f на Есовпадает с . Отправным в теории А. п. является… …

    Математическая энциклопедия


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