исчисление
91исчисление — см. исчислить; я; ср. Исчисле/ние времени …
92исчисление — расчёт …
93исчисление — ис/числ/ени/е [й/э] …
94Дифференциальное исчисление — Исчисление бесконечно малых, включающее так называемое Д. исчисление, а также ему обратное интегральное, принадлежит к числу наиболее плодотворных открытий человеческого ума и составило эпоху в истории точных наук. Ближайшим поводом к изобретению …
95Логическое исчисление — Исчисление (формальная система), интерпретируемое в терминах какого либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. и …
96ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний, логическое исчисление, в к ром выводимыми объектами являются пропозициональные формулы. Каждое П. и. задается набором аксиом (произвольных пропозициональных формул) и вывода правил. Формула, выводимая в данном П. и., наз …
97ПОЗИТИВНОЕ ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний в языке {a, , }, задаваемое следующими 8 схемами аксиом: и правилом вывода модус поненс, П. п. и. содержит ту часть интуиционистского исчисления высказываний I (см. Интуиционизм), к рая не зависит от отрицания, а именно:… …
98Натуральное исчисление — исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и независимо польским логиком С. Яськовским) с целью формализации процесса логического …
99ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — исчисление, символы и правила к рого могут быть интерпретированы в терминах логики …
100Стохастическое исчисление Ито — Исчисление Ито  математическая теория, описывающая методы манипулирования со случайными процессами, такими как броуновское движение (или винеровский процесс). Названа в честь создателя, японского математика Киёси Ито. Часто применяется в… …