- непротиворечивая система
- мат. consistent system
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ПОЛНОТА — в математической логике свойство, близкое к понятию максимального элемента в частично упорядоченном множестве. Термин П. в математич. логике употребляется в контекстах вида: полное исчисление, полная теория (или полное множество аксиом), w полная … Математическая энциклопедия
НЕЗАВИСИМОСТЬ — в логике и математике, невыводимость (недоказуемость) предложения некоторой теории (или выражающей его формулы соответствующего исчисления) и его отрицания из данной совокупности предложений (конъюнкции формул), напр. из данной системы… … Философская энциклопедия
управление аварийными сигналами — [Интент] Переход от аналоговых систем к цифровым привел к широкому, иногда бесконтрольному использованию аварийных сигналов. Текущая программа снижения количества нежелательных аварийных сигналов, контроля, определения приоритетности и… … Справочник технического переводчика
управление аварийными сигналами — [Интент] Переход от аналоговых систем к цифровым привел к широкому, иногда бесконтрольному использованию аварийных сигналов. Текущая программа снижения количества нежелательных аварийных сигналов, контроля, определения приоритетности и… … Справочник технического переводчика
НЕПРОТИВОРЕЧИВОСТЬ — свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз. непротиворечивым и, или формально непротиворечивым и. В противном случае формальная система наз … Математическая энциклопедия
Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… … Википедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Независимость — I Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы … Большая советская энциклопедия
Мировоззрение — форма самосознания, существующая как непротиворечивая система взглядов человека или общества в целом на мир во всех его проявлениях, на сущность и место человека в нем (в миру), и определяющая понимание, восприятие и преобразование… … Основы духовной культуры (энциклопедический словарь педагога)
ПРАВОСОЗНАНИЕ — совокупность взглядов на действующее право, на существующие правовые нормы. Правосознание граждан, их отношение к закону (понимание необходимости его неукоснительного исполнения либо полное пренебрежение) определяет правовая культура, отражающая… … Большая актуальная политическая энциклопедия
АЛЕКСАНДРИЙСКАЯ ПРАВОСЛАВНАЯ ЦЕРКОВЬ (АЛЕКСАНДРИЙСКИЙ ПАТРИАРХАТ) — От основания до сер. VII в. Александрия Судьбы Александрийского Патриархата, особенно на раннем этапе его становления, в значительной степени определялись спецификой исторического развития столицы эллинистического и рим. Египта Александрии. Этот… … Православная энциклопедия