исчисление
81исчисление высказываний — раздел математической логики, аксиоматическое построение логики высказываний. * * * ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ, раздел математической логики, аксиоматическое построение логики высказываний (см. ЛОГИКА ВЫСКАЗЫВАНИЙ) …
82ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел матем. логики, логич. исчисление, в алфавит знаков к рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие количественно… …
83Исчисление песчинок — Псаммит (др. греч. Ψαμμίτης) или Исчисление песчинок работа древнегреческого ученого Архимеда, в которой он пытается определить верхнюю грань числа песчинок, которые занимает в своём объёме Вселенная. С этой целью он пробует вычислить размер… …
84Исчисление — основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для некоторых подклассов этого класса (лишь для наиболее …
85Исчисление — Этим словом означают отдельные части математики, см. Вариационное И., Дифференциальное И., Интегральное И. и И. конечных разностей …
86Исчисление — I ср. 1. процесс действия по гл. исчислять I 2. Результат такого действия; подсчёт, вычисление. II ср. устар. 1. процесс действия по гл. исчислять II 2. Результат такого действия; перечисление. Толковый словарь Ефремовой. Т. Ф. Ефремова …
87исчисление — исчисление, исчисления, исчисления, исчислений, исчислению, исчислениям, исчисление, исчисления, исчислением, исчислениями, исчислении, исчислениях (Источник: «Полная акцентуированная парадигма по А. А. Зализняку») …
88ИСЧИСЛЕНИЕ — знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символич. выражений из букв алфавита системы языка И., т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул… …
89исчисление — исчисл ение, я …
90исчисление — (2 с), Пр. об исчисле/нии …