I ср.
1. процесс действия по гл. исчислять I
2. Результат такого действия; подсчёт, вычисление.
II ср. устар.
1. процесс действия по гл. исчислять II
2. Результат такого действия; перечисление.
I ср.
1. процесс действия по гл. исчислять I
2. Результат такого действия; подсчёт, вычисление.
II ср. устар.
1. процесс действия по гл. исчислять II
2. Результат такого действия; перечисление.
ИСЧИСЛЕ́НИЕ, исчисления, ср. (книжн.).
1. Действие по гл. исчислить-исчислять. Исчисление убытков.
2. Название отделов высшей математики (мат.). Диференциальное исчисление. Интегральное исчисление. Исчисление конечных плоскостей.
ИСЧИСЛЕ́НИЕ, -я, ср
Определение величины кого, -чего-л. в каком-л. числе, количестве; то же, что вычисление.
Исчисление расстояния и времени пути важно для начинающих туристов.
Исчисле́ние - знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, то есть термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений, то есть рассмотрение исчисления как знаковой системы (интерпретация исчисления), преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
* * *
ИСЧИСЛЕНИЕ - ИСЧИСЛЕ́НИЕ, знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
ИСЧИСЛЕНИЕ - знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
-я, ср.
1. Действие по знач. глаг. исчислить-исчислять; вычисление.
Исчисление времени.
2. с определением.
Название разделов высшей математики.
Дифференциальное исчисление. Интегральное исчисление.
исчисле́ние, исчисле́ния, исчисле́ний, исчисле́нию, исчисле́ниям, исчисле́нием, исчисле́ниями, исчисле́нии, исчисле́ниях
сущ., кол-во синонимов: 9
ад валорем (1)
вычисление (9)
подсчет (12)
подсчитывание (13)
просчитывание (6)
расценивание (13)
счисление (7)
считание (12)
эвальвация (2)
см. подсчёт
▲ система
исчисление, дедуктивная система - система вычисления;
совокупность правил оперирования с к-л. символами;
математическая модель процесса перехода от посылок к следствию, проводимого по некоторым правилам вывода (матем. дифференциальное #. # высказываний).
исчислить.
▼ система единиц, КАЛЕНДАРЬ
Исчисле́ние выска́зываний - раздел математической логики, аксиоматическое построение логики высказываний.
* * *
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ - ИСЧИСЛЕ́НИЕ ВЫСКА́ЗЫВАНИЙ, раздел математической логики, аксиоматическое построение логики высказываний (см. ЛОГИКА ВЫСКАЗЫВАНИЙ).
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ - раздел математической логики, аксиоматическое построение логики высказываний.
Исчисле́ние кла́ссов - раздел математической логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля.
* * *
ИСЧИСЛЕНИЕ КЛАССОВ - ИСЧИСЛЕ́НИЕ КЛА́ССОВ, раздел математической логики, логика классов (см. ЛОГИКА КЛАССОВ), представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля.
ИСЧИСЛЕНИЕ КЛАССОВ - раздел математической логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля.
Исчисле́ние предика́тов - раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.
* * *
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ - ИСЧИСЛЕ́НИЕ ПРЕДИКА́ТОВ, раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов (см. ЛОГИКА ПРЕДИКАТОВ).
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ - раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.
прил., кол-во синонимов: 12
выраженный (23)
высчитанный (8)
названный (32)
начисленный (5)
подсчитанный (13)
просчитанный (8)
рассчитанный (36)
расцененный (14)
счисленный (4)
считанный (12)
указанный (17)
упомянутый (20)
прил., кол-во синонимов: 16
выразивший (29)
высчитавший (17)
вычисливший (25)
перечисливший (12)
подсчитавший (30)
посчитавший (25)
произведший выкладки (12)
произведший подсчет (14)
просчитавший (9)
раскалькулировавший (12)
рассчитавший (44)
расценивший (17)
сделавший выкладки (12)
сделавший подсчет (12)
сосчитавший (26)
счисливший (3)
ИСЧИ́СЛИТЬ, исчислю, исчислишь, несовер. (к исчислять), что (книжн.).
1. Насчитать, сосчитать. Стоимость ремонта исчислена в 40 000 род.
2. Высчитать, определить математическим подсчетом, вычислить. Исчислить площадь треугольника по основанию и высоте.
ИСЧИ́СЛИТЬ, -лю, -лишь; -ленный; совер., что (книжн.). Высчитать, вычислить. И. стоимость ремонта.
| несовер. исчислять, -яю, -яешь.
| сущ. исчисление, -я, ср. Дифференциальное и. (спец.). Интегральное и. (спец.).
ИСЧИ́СЛИТЬ -лю, -лишь; св. что. Высчитать, вычислить. И. расходы. И. стоимость ремонта.
◁ Исчисля́ть, -я́ю, -я́ешь; нсв. Исчисля́ться, -я́ется; страд. Исчисле́ние, -я; ср. И. времени.
во что и чем. Исчислить стоимость ремонт:; в значительную сумму. Исчислить доход колхозника количеством трудодней.
исчи́слить, исчи́слю, исчи́слим, исчи́слишь, исчи́слите, исчи́слит, исчи́слят, исчи́сля, исчи́слил, исчи́слила, исчи́слило, исчи́слили, исчи́сли, исчи́сливший, исчи́слившая, исчи́слившее, исчи́слившие, исчи́слившего, исчи́слившей, исчи́сливших, исчи́слившему, исчи́слившим, исчи́слившую, исчи́слившею, исчи́слившими, исчи́слившем, исчи́сленный, исчи́сленная, исчи́сленное, исчи́сленные, исчи́сленного, исчи́сленной, исчи́сленных, исчи́сленному, исчи́сленным, исчи́сленную, исчи́сленною, исчи́сленными, исчи́сленном, исчи́слен, исчи́слена, исчи́слено, исчи́слены
см. подсчитать
рассчитать, просчитать, сосчитать, подсчитать, выразить, высчитать, посчитать, сделать выкладки, расценить, сделать подсчет, раскалькулировать, произвести подсчет, произвести выкладки, вычислить, счесть
прил., кол-во синонимов: 14
выражавший (32)
высчитывавший (15)
вычислявший (13)
делавший выкладки (11)
делавший подсчет (11)
перечислявший (10)
подсчитывавший (28)
просчитывавший (8)
рассчитывавший (73)
расценивавший (25)
счислявший (5)
считавший (66)
прил., кол-во синонимов: 11
выражавшийся (51)
высчитывавшийся (9)
вычислявшийся (9)
начислявшийся (6)
определявшийся путем вычислений (3)
определявшийся путем подсчета (3)
определявшийся путем расчета (3)
подсчитывавшийся (12)
счислявшийся (5)
прил., кол-во синонимов: 9
выражаемый (22)
высчитываемый (9)
вычисляемый (8)
перечисляемый (10)
подсчитываемый (13)
просчитываемый (7)
рассчитываемый (29)
расцениваемый (14)
счисляемый (5)
I несов. перех.
Подсчитывать, вычислять.
II несов. перех. устар.
Переводить, зачислять на другой счёт; перечислять II 2..
ИСЧИСЛЯ́ТЬ, исчисляю, исчисляешь (книжн.). несовер. к исчислить.
ИСЧИСЛЯТЬ, исчислить что, вычислять, расчислять, высчитывать; в мат. по данному находить искомое, по известному неизвестное.
| Считать, насчитывать, приводить оостоятельства, одно за другим. -ся, быть исчисляему. В народную перепись все жители исчисляются. Исчислив вел препоны, он отказал. Широта мысли исчисляется по высоте солнца. Исчисленье ср. действие по гл., вычисление; также самая наука. Исчислитель муж. -ница жен. исчисляющий что-либо. Исчислительный, к вычисленью служащий, относящийся
см. подсчитывать
См. считать...
I несов. неперех.
1. Выражаться в каком-либо количестве, числе.
2. Определяться путём расчёта, вычисления и т.п.
3. страд. к гл. исчислять I
II несов. неперех.
страд. к гл. исчислять II
ИСЧИСЛЯ́ТЬСЯ, исчисляюсь, исчисляешься, несовер. (книжн.).
1. страд. к исчислять. Пеня исчисляется кассиром при уплате взноса.
2. Выражаться в каком-нибудь числе, количестве. Потери в боях исчисляются тысячами.
ИСЧИСЛЯ́ТЬСЯ (-яюсь, -яешься, 1-ое лицо и 2-е лицо не употр.), -яется; несовер. (книжн.). Выражаться в каком-н. числе, количестве. Доходы исчисляются миллионами рублей.
ИСЧИСЛЯ́ТЬСЯ -я́ется; нсв. Книжн. Выражаться в каком-л. числе, количестве. Доходы исчисляются тысячами рублей, в тысячах рублей.
-я́ется; несов.
1. Выражаться в каком-л. числе, количестве.
Доходы исчисляются тысячами рублей.
◊
Силы [добровольческой] армии к этому времени исчислялись в девять тысяч штыков и сабель и четыре тысячи лошадей. А. Н. Толстой, Восемнадцатый год.
2. страд. к исчислять.
чем и во что. Доходы колхоза исчисляются сотнями тысяч рублей. Силы [добровольческой] армии к этому времени исчислялись в девять тысяч штыков и сабель и четыре тысячи лошадей (А. Н. Толстой).
исчисля́ться, исчисля́юсь, исчисля́емся, исчисля́ешься, исчисля́етесь, исчисля́ется, исчисля́ются, исчисля́ясь, исчисля́лся, исчисля́лась, исчисля́лось, исчисля́лись, исчисля́йся, исчисля́йтесь, исчисля́ющийся, исчисля́ющаяся, исчисля́ющееся, исчисля́ющиеся, исчисля́ющегося, исчисля́ющейся, исчисля́ющихся, исчисля́ющемуся, исчисля́ющимся, исчисля́ющуюся, исчисля́ющеюся, исчисля́ющимися, исчисля́ющемся, исчисля́вшийся, исчисля́вшаяся, исчисля́вшееся, исчисля́вшиеся, исчисля́вшегося, исчисля́вшейся, исчисля́вшихся, исчисля́вшемуся, исчисля́вшимся, исчисля́вшуюся, исчисля́вшеюся, исчисля́вшимися, исчисля́вшемся
исчисляться десятками => непрямой объект, оценка, измерение
срок исчисляется => субъект, оценка, измерение
прил., кол-во синонимов: 9
выражающий (25)
высчитывающий (10)
вычисляющий (9)
перечисляющий (8)
подсчитывающий (15)
просчитывающий (8)
рассчитывающий (50)
расценивающий (18)
счисляющий (5)
прил., кол-во синонимов: 6
выражающийся (40)
высчитывающийся (9)
вычисляющийся (9)
начисляющийся (6)
подсчитывающийся (11)
счисляющийся (5)