исчисление в словаре кроссвордиста
Толковый словарь русского языка. Д.Н. Ушаков
исчисления, ср. (книжн.).
Действие по глаг. исчислить-исчислять. Исчисление убытков.
Название отделов высшей математики (мат.). Диференциальное исчисление. Интегральное исчисление. Исчисление конечных плоскостей.
Новый толково-словообразовательный словарь русского языка, Т. Ф. Ефремова.
Энциклопедический словарь, 1998 г.
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы языка исчисления, т.е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений, т.е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
Большая Советская Энциклопедия
основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для некоторых подклассов этого класса (лишь для наиболее простых И., совпадающих с ним) ≈ и алгоритмы решения. Примерами И. могут служить совокупность арифметических правил оперирования с цифрами (т. е. числовыми знаками), «буквенное» И. элементарной алгебры, дифференциальное И., интегральное И., вариационное И. и другие ветви математического анализа и теории функций. Несмотря на раннее происхождение, термин «И.» употреблялся в математике до недавнего времени без строгого общего определения. С развитием математической логики возникла потребность в общей теории И. и в уточнении самого понятия «И.», которое подверглось более последовательной формализации. В большинстве случаев, однако, оказывается достаточным следующее (идущее от Д. Гильберта ) представление об И. Рассматривается некоторый (вообще говоря, бесконечный, хотя и, быть может, задаваемый посредством конечного числа символов) алфавит, из элементов которого, именуемых буквами, с помощью четко сформулированных правил образования строятся формулы рассматриваемого И. (называемые также иногда словами, или выражениями). Некоторые из таких («правильно построенных») формул объявляются аксиомами, а из них с помощью правил преобразования (или, иначе, правил вывода) «выводятся» новые формулы, называемые теоремами данного И. Иногда термин «И.» относят лишь к «словарной» («выразительной») части описанного построения, говоря, что присоединение к ней «дедуктивной» части (т. е. добавление к алфавиту и правилам образования аксиом и правил ввода) даёт формальную систему. Впрочем, эти термины часто считают синонимичными (и в качестве синонимов пользуются также терминами «логистическая система», «формализм», «формальная теория» и многими др.). Если такое неинтерпретированное («бессмысленное») И. сопоставить с некоторой интерпретацией (или, как говорят, дополнить чисто синтаксические рассмотрения некоторой семантикой; см. Логическая семантика ) то получают формализованный язык . Представление содержательных логических (и логико-математических) теорий в виде формализованных языков есть характерная особенность математической логики (см. также Доказательство ).
Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, ╖ 14≈20; Марков А. А., Теория алгорифмов, М.≈Л., 1954 (Тр. Математического института им. В. А. Стеклова, т. 42); Карри Х. Б., Основания математической логики, пер. с англ., М., 1969, гл. 2; Математическая теория логического вывода, Сборник переводов, под ред. А. В. Идельсона, Г. Е. Минца, М., 1967; Логические и логико-математические исчисления, 1, Сб. работ, под ред. В. П. Оревкова, Л., 1968.
Ю. Л. Гастев.
Википедия
В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории ( множества формул, полученных из аксиом с помощью правил вывода).
- Дифференциальное исчисление
- Интегральное исчисление
- Вариационное исчисление
- Многомерное исчисление
Исчисления в математической логике :
- Логическое исчисление
- Исчисление высказываний
- Исчисление предикатов
- Лямбда-исчисление
- Исчисление Ламбека
Примеры употребления слова исчисление в литературе.
Труднее пользоваться записями акселерометра для определения направления движения Все эти координатные системы, аппараты, дифференциальные исчисления, небесные координаты, эклиптики, знаки зодиака, параллаксы, измерения широт, ортогональные проекции, перигелии, афелии, скорости В многочисленных чертежах чертовски трудно разобраться.
Германии нами применена та же балансовая методика, что и при исчислении потерь Советских Вооруженных Сил.
Зато подведение итога и исчисление барыша за этот год дало блестящие результаты.
Поэтому, обсуждая созданную им алгебру алгоритмов, он говорил об этапах развития формульного аппарата математики от алгебраической символики Виета и символики дифференциально-интегрального исчисления Лейбница и Ньютона до современных алгоритмических языков, для которых необходимо создавать соответствующие исчисления и алгебру.
В экономическом же, как в переходной форме, в которой смешаны, не отделены еще друг от друга политическое и математическое, идет их борьба, война, победитель в которой - математическое - определен уже заранее, но должен теперь выкристализоваться в процессе этой войны как новое единое методографическое основание общественной коммуникации, общественного договора, как исчисление общественного согласия.
При исчислении гарантийного срока на АМТС установлено интересное правило.
С помощью преподавателей и учебников, гипнопедических лент, шептавших ему на ухо, когда он спал, и обучающих машин, командовавших Ганном во время бодрствования, он начал овладевать исчислением утверждений, логикой отношений, геометрией Гильберта, Аккермана и Буля.
Израилевых, главы семейств их, начальники колен, заведывавшие исчислением, 3 и представили приношение свое пред Господа, шесть крытых повозок и двенадцать волов, по одной повозке от двух начальников и по одному волу от каждого, и представили сие пред скинию.
Человечество же, Джонни знал, пользовалось десятеричной системой исчисления.
Вы подготовите нам доклад с использованием диффузионного исчисления, где будет показано, как возникают эти классы.
Помимо того, что деятельность, связанная с применением и производством информации и знаний, имеет своим результатом невоспроизводимые блага, издержки производства которых не поддаются исчислению, сама она, будучи мотивирована внеэкономическими факторами, создает продукцию, характеристики которой отнюдь не сводятся к экономическим параметрам.
Томпсон знал, что под инерциальными данными имелось ввиду то, что для исчисления дальнейшего курса корабля машина будет использовать последнее известное местоположение лайнера, последнюю скорость и курс, а также случайные ускорения, отмеченные бортовыми гироскопами.
Понятие значения, на наш взгляд, превосходит, достоинством и силом понятием множества таким образом, что конструктивная теория множеств, предполагающая те множества, которые имеют референтативный характер, являются, следовательно, семантическими категориями, значением и характеристиками использования констант в системах исчислений, смыслом тем самым подстановочной интерпретации квантификации, подстановочных констант на места переменных, переводит константы одной формализованной системы в переменные другой, причем такой перевод есть перевод языковой, интерпретируемый в системе паранепротиворечивых логик, что и предполагает образование понятия морфизма.
Поднимается один старик, и, после того как для исчисления продолжительности речи в какой-то сосудец 5 с узеньким, как в решете, отверстием была налита вода, вытекавшая оттуда капля за каплей, он обращается к народу с такими словами: - Почтеннейшие квириты, дело идет не о пустяках, но о событии, непосредственно касающемся спокойствия всего города и которое послужит на будущее серьезным примером.
Качественный язык, в котором Кондильяк и его последователи видели идеал научного знания, не следовало искать, как это слишком поспешно делали некоторые врачи1, в направлении языка исчислений, но в направлении языка, соразмерного2 сразу и вещам, которые он описывает, и речи, в которой он их описывает.
Источник: библиотека Максима Мошкова