непустой
11фоновый заряд — Нрк. заряд смещения непустой нуль Заряд, который определяет нулевой уровень аналогового сигнала и вводится во все потенциальные ямы. Примечание Обычно фоновый заряд вводится электрическим путем или путем облучения фоточувствительного поля прибора …
12диаграммы венна — геометрическое наглядное представление отношений между классами (объемами понятий) в булевой алгебре с помощью кругов или иных фигур. Д. В. были введены в логику в конце XIX в. англ. логиком Дж. Венном. Элемент 1 булевой алгебры представляется… …
13индивид — (от лат. individuum неделимое) единичное как противоположность совокупности, массе; отдельное живое существо, особь, отдельный человек, в отличие от стада, группы, коллектива. В логике И. называют любой объект, обозначаемый единичным, или… …
14логика предикатов — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… …
15МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …
16ЛОГИКА КЛАССОВ — раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… …
17ЛЁВЕНХЕЙМ — (Löwenheim), Леопольд (1878–1940) – нем. логик и математик. Осн. работы Л. посвящены исследованию разрешения проблемы для узкого предикатов исчисления. Он доказал, что решение этой проблемы в общем случае сводится к ее решению для случая, когда… …
18ПУСТОЕ — (в математике и логике) – то же, что не содержащее элементов (членов) . Так, П. множество (или класс) – это множество (соответственно класс ), не имеющее ( ий) элементов; П. слово (в формализованных языках математики и математич. логики) – слово …
19АЛГЕБРАИЧЕСКИХ СИСТЕМ МНОГООБРАЗИЕ — алгебраических систем класс фиксированной сигнатуры и, аксиоматизируемый при помощи тождеств, т. е. формул вида где к. л. предикатный символ из или знак равенства, а термы сигнатуры Q от предметных переменных А. с. м. наз. иначе э к,… …
20АНАЛИТИЧЕСКОЕ ПРОДОЛЖЕНИЕ — функции доопределение функции f0, определенной на нек ром подмножестве Екомплексного многообразия М, до функции f, голоморфной в нек рой области , содержащей Е, такое, что сужение функции f на Есовпадает с . Отправным в теории А. п. является… …
