непротиворечивости
Смотреть что такое "непротиворечивости" в других словарях:
Непротиворечивости Принцип — Непротиворечивости{ (Принцип) ♦ Contradiction, Principe de Non Принцип непротиворечивости гласит: два противоположных высказывания не могут быть одновременно истинными. Конъюнкция «р и не р» есть противоречие, следовательно, она необходимо… … Философский словарь Спонвиля
обеспечение непротиворечивости данных — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN data coherency control … Справочник технического переводчика
требование непротиворечивости — Бухгалтерский принцип, обуславливающий необходимость тождества данных аналитического учета оборотом и остатком по синтетическим счетам на первое число каждого месяца, показателей бухгалтерской отчетности данным синтетического и аналитического… … Справочник технического переводчика
ТРЕБОВАНИЕ НЕПРОТИВОРЕЧИВОСТИ — бухгалтерский принцип, обуславливающий необходимость тождества данных аналитического учета оборотом и остатком по синтетическим счетам на первое число каждого месяца, показателей бухгалтерской отчетности данным синтетического и аналитического… … Большой бухгалтерский словарь
ребование непротиворечивости — Принцип бухгалтерского учета. Устанавливает обязательность соблюдения тождества данных аналитического учета оборотам и остаткам по счетам синтетического учета на последний календарный день каждого месяца. п. 7 Положения по бухгалтерскому учету… … Словарь: бухгалтерский учет, налоги, хозяйственное право
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… … Математическая энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… … Философская энциклопедия
ФИНИТИЗМ — (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа … Философская энциклопедия
Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… … Википедия