исчисления

См. также в других словарях:

• ИСЧИСЛЕНИЯ НАСЕЛЕНИЯ — ИСЧИСЛЕНИЯ НАСЕЛЕНИЯ, текущий полицейский учёт нас. России, введённый в 1858 вместо ревизий. Попытки организации И. н. в рамках всей империи предпринимались с кон. 30 х гг. 19 в. С 40 х гг. 19 в. Статистич. отделение Мин ва внутр. дел (с 1858… …   Демографический энциклопедический словарь

• Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …   Википедия

• Исчисления предикатов — Логика первого порядка (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …   Википедия

• ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… …   Математическая энциклопедия

• ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич …   Математическая энциклопедия

• Логические исчисления — теория формальных логических вычислений. Эта теория иначе называется ещё математической или формальной логикой. Исторически логические исчисления были разработаны для теоретической формализации процесса доказательства в различных теориях.… …   Википедия

• база для исчисления тарифа — Величина стоимости активов, согласно которой электроэнергетическое предприятие имеет право получать определённую норму прибыли, установленную органом регулирования. База для исчисления тарифа, как правило, рассчитывается на основе стоимости… …   Справочник технического переводчика

• Основа исчисления томоженной пошлины, НДС, акцизов и таможенных сборов — основой для исчисления таможенной пошлины, акцизов и таможенных сборов является таможенная стоимость товаров и транспортных средств. Основой для исчисления налога на добавленную стоимость является таможенная стоимость товаров, к которой… …   Энциклопедический словарь-справочник руководителя предприятия

• БАЗА ДЛЯ ИСЧИСЛЕНИЯ ТАРИФА — RATE BASEВ коммунальном хоз ве нормирование базируется на стоимости используемого имущества с целью установления обоснованной нормы прибыли на инвестиции в это имущество, составлявшей в последние годы обычно 5,5 6%, если только нет ограничений на …   Энциклопедия банковского дела и финансов

• МЕТОД ИСЧИСЛЕНИЯ ДОХОДА — ВНП(INCOME APPROACH). Метод исчисления ВНП, в центре внимания к рого находятся выплаты по отношению к факторам производства. Согласно этому методу, производится сложение всех доходов, полученных собственниками источников доходовПриводится список… …   Энциклопедия банковского дела и финансов

• Методики для исчисления размера вреда, причиненного экологическими правонарушениями — утвержденные в установленном порядке правовые акты, в соответствии с которыми Постановлением Пленума Верховного Суда РФ судам рекомендовано определять размер вреда, подлежащего взысканию (например, Методика оценки вреда и исчисления размера… …   Экологическое право России: словарь юридических терминов