-
1 база
-
2 данные
См. также в других словарях:
ИСЧИСЛЕНИЯ НАСЕЛЕНИЯ — ИСЧИСЛЕНИЯ НАСЕЛЕНИЯ, текущий полицейский учёт нас. России, введённый в 1858 вместо ревизий. Попытки организации И. н. в рамках всей империи предпринимались с кон. 30 х гг. 19 в. С 40 х гг. 19 в. Статистич. отделение Мин ва внутр. дел (с 1858… … Демографический энциклопедический словарь
Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… … Математическая энциклопедия
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия
Логические исчисления — теория формальных логических вычислений. Эта теория иначе называется ещё математической или формальной логикой. Исторически логические исчисления были разработаны для теоретической формализации процесса доказательства в различных теориях.… … Википедия
база для исчисления тарифа — Величина стоимости активов, согласно которой электроэнергетическое предприятие имеет право получать определённую норму прибыли, установленную органом регулирования. База для исчисления тарифа, как правило, рассчитывается на основе стоимости… … Справочник технического переводчика
Основа исчисления томоженной пошлины, НДС, акцизов и таможенных сборов — основой для исчисления таможенной пошлины, акцизов и таможенных сборов является таможенная стоимость товаров и транспортных средств. Основой для исчисления налога на добавленную стоимость является таможенная стоимость товаров, к которой… … Энциклопедический словарь-справочник руководителя предприятия
БАЗА ДЛЯ ИСЧИСЛЕНИЯ ТАРИФА — RATE BASEВ коммунальном хоз ве нормирование базируется на стоимости используемого имущества с целью установления обоснованной нормы прибыли на инвестиции в это имущество, составлявшей в последние годы обычно 5,5 6%, если только нет ограничений на … Энциклопедия банковского дела и финансов
МЕТОД ИСЧИСЛЕНИЯ ДОХОДА — ВНП(INCOME APPROACH). Метод исчисления ВНП, в центре внимания к рого находятся выплаты по отношению к факторам производства. Согласно этому методу, производится сложение всех доходов, полученных собственниками источников доходовПриводится список… … Энциклопедия банковского дела и финансов
Методики для исчисления размера вреда, причиненного экологическими правонарушениями — утвержденные в установленном порядке правовые акты, в соответствии с которыми Постановлением Пленума Верховного Суда РФ судам рекомендовано определять размер вреда, подлежащего взысканию (например, Методика оценки вреда и исчисления размера… … Экологическое право России: словарь юридических терминов