исчисление
21ИСЧИСЛЕНИЕ КЛАССОВ — аксиоматич. (см. Аксиоматический метод) описание логики классов. И. к. рав нообъёмно исчислению одноместных предикатов (см. Логика предикатов): у этих исчислений совпадают классы как исходных формул, так и выводимых формул (теорем);… …
22ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — исчисление предложений, формализованная система, в крой задаётся способ доказательства некоторых высказываний (формул), наз. теоремами. И. в. может быть формализовано различными способами: с помощью задания аксиом и правил вывода, т. е.… …
23ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ — исчисление, символы и правила которого могут быть интерпретированы в терминах логики. Любое исчисление представляет собой знаковую систему, которая, как чисто синтаксическая структура, однозначно определяется двумя порождающими процедурами: 1)… …
24ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математич. логики, совокупность логико математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры предложений) правила оперирования с… …
25Исчисление процессов — (алгебра процессов)  семейство связанных подходов к формальному моделированию конкурентных систем. Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление взаимодействующих систем… …
26ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ — ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ одна из основных форм представления логических систем, применяемая в логике наряду с аксиоматическими системами (гильбертовского типа) и системами натурального (естественного) вывода. Термин “секвенция” происходит от… …
27Исчисление и уплата налога на прибыль организациями, имеющими обособленные подразделения — налогоплательщики российские организации, имеющие обособленные подразделения, исчисление и уплату в федеральный бюджет сумм авансовых платежей, а также сумм налога, исчисленного по итогам налогового периода, производят по месту своего нахождения… …
Энциклопедический словарь-справочник руководителя предприятия
28Исчисление срока давности привлечения к ответственности за совершение налогового правонарушения — исчисление срока давности со дня совершения налогового правонарушения применяется в отношении всех налоговых правонарушений, кроме предусмотренных статьями 120 (грубое нарушение правил учета доходов и расходов и объектов налогообложения) и 122… …
Энциклопедический словарь-справочник руководителя предприятия
29ИСЧИСЛЕНИЕ КЛАССОВ — раздел математической логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля …
30ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… …