- непустой
-
непустой
Слитно или раздельно? Орфографический словарь-справочник. — М.: Русский язык. Б. З. Букчина, Л. П. Какалуцкая. 1998.
Слитно или раздельно? Орфографический словарь-справочник. — М.: Русский язык. Б. З. Букчина, Л. П. Какалуцкая. 1998.
непустой — содержательный, небесплодный, незряшный Словарь русских синонимов. непустой прил., кол во синонимов: 3 • небесплодный (8) • … Словарь синонимов
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
ЛОГИЧЕСКИЙ ЗАКОН — или Закон логики, выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Примерами Л.з. могут служить закон противоречия, закон исключенного третьего, закон де Моргана, закон… … Философская энциклопедия
ПРАВИЛО ВЫВОДА — определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… … Философская энциклопедия
Список (информатика) — У этого термина существуют и другие значения, см. Список. В информатике, список (англ. list) это абстрактный тип данных, представляющий собой упорядоченный набор значений, в котором некоторое значение может встречаться более одного… … Википедия
незряшный — непустой, небесплодный Словарь русских синонимов. незряшный прил., кол во синонимов: 4 • достойный внимания (11) • … Словарь синонимов
содержательный — Массивный, полный. Прот. полный … Словарь синонимов
логический закон — выражение, содержащее только логические константы и переменные и явля ющееся истинным в любой (непустой) предметной области. Примером Л. з. может служить любой закон логики высказываний (скажем, непротиворечия закон, закон исключенного третьего,… … Словарь терминов логики
фоновый заряд — Нрк. заряд смещения непустой нуль Заряд, который определяет нулевой уровень аналогового сигнала и вводится во все потенциальные ямы. Примечание Обычно фоновый заряд вводится электрическим путем или путем облучения фоточувствительного поля прибора … Справочник технического переводчика