«Исчисление»

Исчисление в словарях и энциклопедиях

Значение слова «Исчисление»

Источники

  1. Словарь Брокгауза и Ефрона
  2. Большая Советская энциклопедия
  3. Словарь форм слова
  4. Толковый словарь Ожегова
  5. Малый академический словарь
  6. Толковый словарь Ушакова
  7. Толковый словарь Ефремовой
  8. Большой энциклопедический словарь
  9. Большой англо-русский и русско-английский словарь
  10. Англо-русский словарь технических терминов
  11. Большой немецко-русский и русско-немецкий словарь
  12. Большой немецко-русский и русско-немецкий словарь
  13. Большой немецко-русский и русско-немецкий словарь
  14. Большой французско-русский и русско-французский словарь
  15. Большой испано-русский и русско-испанский словарь
  16. Большой итальяно-русский и русско-итальянский словарь
  17. Научно-технический энциклопедический словарь
  18. Философская энциклопедия
  19. Энциклопедический словарь
  20. Начала современного естествознания
  21. Библейская энциклопедия Брокгауза
  22. Математическая энциклопедия
  23. Русско-английский политехнический словарь
  24. Dictionnaire technique russo-italien
  25. Русско-украинский политехнический словарь
  26. Русско-украинский политехнический словарь
  27. Естествознание. Энциклопедический словарь
  28. Словарь терминов логики
  29. Русско-шведский бизнес-словарь
  30. Большой Энциклопедический словарь

    Словарь Брокгауза и Ефрона

    Этим словом означают отдельные части математики, см. Вариационное И., Дифференциальное И., Интегральное И. и И. конечных разностей.

  1. Источник: Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона



  2. Большая Советская энциклопедия

    основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для некоторых подклассов этого класса (лишь для наиболее простых И., совпадающих с ним) — и Алгоритмы решения. Примерами И. могут служить совокупность арифметических правил оперирования с цифрами (т. е. числовыми знаками), «буквенное» И. элементарной алгебры, дифференциальное И., интегральное И., вариационное И. и другие ветви математического анализа и теории функций. Несмотря на раннее происхождение, термин «И.» употреблялся в математике до недавнего времени без строгого общего определения. С развитием математической логики возниклапотребность в общей теории И. и в уточнении самого понятия «И.», которое подверглось более последовательной формализации. В большинстве случаев, однако, оказывается достаточным следующее (идущее от Д. Гильберта) представление об И. Рассматривается некоторый (вообще говоря, бесконечный, хотя и, быть может, задаваемый посредством конечного числа символов) алфавит, из элементов которого, именуемых буквами, с помощью четко сформулированных правил образования строятся формулы рассматриваемого И. (называемые также иногда словами, или выражениями). Некоторые из таких («правильно построенных») формул объявляются аксиомами, а из них с помощью правил преобразования (или, иначе, правил вывода) «выводятся» новые формулы, называемые теоремами данного И. Иногда термин «И.» относят лишь к «словарной» («выразительной») части описанного построения, говоря, что присоединение к ней «дедуктивной» части (т. е. добавление к алфавиту и правилам образования аксиом и правил ввода) даёт формальную систему. Впрочем, эти термины часто считают синонимичными (и в качестве синонимов пользуются также терминами «логистическая система», «формализм», «формальная теория» и многими др.). Если такое неинтерпретированное («бессмысленное») И. сопоставить с некоторой интерпретацией (См. Интерпретация) (или, как говорят, дополнить чисто синтаксические рассмотрения некоторой семантикой; см. Логическая семантика) тополучают Формализованный язык. Представление содержательных логических (и логико-математических) теорий в виде формализованных языков есть характерная особенность математической логики (см. также Доказательство).

    Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 14—20;Марков А. А., Теория алгорифмов, М.—Л., 1954 (Тр. Математического института им. В. А. Стеклова, т. 42); Карри Х. Б., Основания математической логики, пер. с англ., М., 1969, гл. 2; Математическая теория логического вывода, Сборник переводов, под ред. А. В. Идельсона, Г. Е. Минца, М., 1967; Логические и логико-математические исчисления, 1, Сб. работ, под ред. В. П. Оревкова, Л., 1968.

    Ю. Л. Гастев.

  3. Источник: Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.



  4. Словарь форм слова

    1. исчисле́ние;
    2. исчисле́ния;
    3. исчисле́ния;
    4. исчисле́ний;
    5. исчисле́нию;
    6. исчисле́ниям;
    7. исчисле́ние;
    8. исчисле́ния;
    9. исчисле́нием;
    10. исчисле́ниями;
    11. исчисле́нии;
    12. исчисле́ниях.
  5. Источник: Полная акцентуированная парадигма по А. А. Зализняку»



  6. Толковый словарь Ожегова

    ИСЧИ́СЛИТЬ, -лю, -лишь; -ленный; сов., что (книжн.). Высчитать, вычислить. И. стоимость ремонта.

  7. Источник: Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949-1992.



  8. Малый академический словарь

    , ср.

    1.

    Действие по знач. глаг. исчислить—исчислять; вычисление.

    Исчисление времени.

    2.

    с определением.

    Название разделов высшей математики.

    Дифференциальное исчисление. Интегральное исчисление.

  9. Источник: Малый академический словарь. — М.: Институт русского языка Академии наук СССР. Евгеньева А. П.. 1957—1984.



  10. Толковый словарь Ушакова

    ИСЧИСЛЕ́НИЕ, исчисления, ср. (книжн.).

    1. Действие по гл. исчислить-исчислять. Исчисление убытков.

    2. Название отделов высшей математики (мат.). Диференциальное исчисление. Интегральное исчисление. Исчисление конечных плоскостей.

  11. Источник: Толковый словарь Ушакова. Д.Н. Ушаков. 1935-1940.



  12. Толковый словарь Ефремовой

    I

    ср.

    1.

    процесс действия по гл. исчислять I

    2.

    Результат такого действия; подсчёт, вычисление.

    II

    ср. устар.

    1.

    процесс действия по гл. исчислять II

    2.

    Результат такого действия; перечисление.

  13. Источник: Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000.



  14. Большой энциклопедический словарь

    ИСЧИСЛЕНИЕ - знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.

  15. Источник: Большой Энциклопедический словарь. 2000.



  16. Большой англо-русский и русско-английский словарь

    ср. calculation;
    calculus мат. вести исчисление ≈ (от какой-л. Даты) to date дифференциальное исчисление вариационное исчисление интегральное исчислениес.
    1. (вычисление) calculation, computation;
    ~ налога фин. calculation of a tax, tax calculation;

    2. мат. calculus.

  17. Источник: Большой англо-русский и русско-английский словарь



  18. Англо-русский словарь технических терминов

    calculus, computation

  19. Источник: Англо-русский словарь технических терминов



  20. Большой немецко-русский и русско-немецкий словарь

    исчисление с 1. Berechnung f c; Kalkulation f c (калькуляция) исчисление убытков Verlustberechnung f 2. мат. Rechnung f c интегральное исчисление Integralrechnung f

  21. Источник: Большой немецко-русский и русско-немецкий словарь



  22. Большой немецко-русский и русско-немецкий словарь

    с

    1)Berechnung f; Kalkulation f(калькуляция)

    исчисление убытков — Verlustberechnung f

    2)мат. Rechnung f

    интегральное исчисление — Integralrechnung f

  23. Источник: Большой немецко-русский и русско-немецкий словарь



  24. Большой немецко-русский и русско-немецкий словарь

    исчислениеAufzählung

  25. Источник: Большой немецко-русский и русско-немецкий словарь



  26. Большой французско-русский и русско-французский словарь

    с.

    calcul m

    исчисление прибыли — calcul du bénéfice

    дифференциальное исчисление мат. — calcul différentiel

  27. Источник: Большой французско-русский и русско-французский словарь



  28. Большой испано-русский и русско-испанский словарь

    с.

    cálculo m; cómputo m(вычисление)

    дифференциа́льное, интегра́льное исчисле́ние — cálculo differencial, integral

  29. Источник: Большой испано-русский и русско-испанский словарь



  30. Большой итальяно-русский и русско-итальянский словарь

    с.

    calcolo m тж. мат., computo m

  31. Источник: Большой итальяно-русский и русско-итальянский словарь



  32. Научно-технический энциклопедический словарь

    ИСЧИСЛЕНИЕ, область математики, включающая в себя методы ДИФФЕРЕНЦИРОВАНИЯ и ИНТЕГРИРОВАНИЯ. Дифференциальное исчисление имеет дело с дифференцированием, т.е. процессом нахождения мгновенной скорости изменения функции в любой момент времени. Предельные значения приращения функции устанавливаются, когда приращение одной из ее переменных стремится к нулю; отношение этих величин называют ПРОИЗВОДНОЙ. Дифференциальное исчисление используют для определения наклона кривых. Интегральное исчисление посвящено операции интегрирования, т.е. нахождения функции по одной или более ее переменным, заданным заранее. В качестве простого примера приведем такой случай: ИНТЕГРАЛ х по х равен х2/2 + с, где с - поястоянная. Интегральным исчислением пользуются для определения площади или объема фигуры, заключенной в определенных границах. В течение двухсот с лишним лет считалось, что это исчисление было изобретено независимо друг от друга Готфридом ЛЕЙБНИЦЕМ и Исааком Ньютоном. Однако в 1934 г. была найдена заметка, написанная Ньютоном, где он отмечал, что его формулировка исчисления была основана на методе проведения касательных, впервые разработанном Пьером ФЕРМА.

  33. Источник: Научно-технический энциклопедический словарь



  34. Философская энциклопедия

    ИСЧИСЛЕНИЕ

    (формальная система) — система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов — букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы), 4) правила вывода теорем (производных доказуемых формул) из аксиом.

    Символам формальной системы может придаваться различная смысловая интерпретация в зависимости от того, какая конкретная семантическая модель ставится в соответствие всей формальной системе в целом. В результате такой интерпретации И. преобразуется в формальный язык. Напр., язык логики высказываний и язык логики предикатов являются интерпретированными логическими И.; язык арифметики — интерпретированным логико-математическим И.; язык теории множеств — интерпретированным теоретико-множественным И., и т.д. Логические И. являются важнейшей разновидностью формальных систем. От др. формальных систем такие И. отличаются сугубо логическим пониманием формул и правил вывода. Формулы, содержащие неквалифицированные переменные, рассматриваются в качестве пропозициональных переменных, вместо которых допускается подстановка соответствующих высказываний, а правила вывода задаются с таким расчетом, чтобы они отражали отношение логического следования между формулами. Наиболее значимыми являются классическое И. высказываний и классическое И. предикатов. На основе собственно логических И. строятся различные прикладные И. путем присоединения к логическим аксиомам тех или иных дополнительных аксиом. Прикладным логическим И. является, в частности, И. предикатов с равенством, получающееся в результате добавления к классическому И. предикатов дополнительных аксиом, характеризующих отношение математического равенства.

  35. Источник: Философская энциклопедия



  36. Энциклопедический словарь

    исчисле́ние

    знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы — языка исчисления, то есть термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений, то есть рассмотрение исчисления как знаковой системы (интерпретация исчисления), преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.

    * * *

    ИСЧИСЛЕНИЕ

    ИСЧИСЛЕ́НИЕ, знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы — языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.

  37. Источник: Энциклопедический словарь



  38. Начала современного естествознания

    некоторая знаковая, символьная система. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений преобразует исчисление в формализованный язык. Основные примеры исчислений: числовые и алгебраические системы, логические исчисления, например, логистика, как математическая логика.

  39. Источник: Начала современного естествознания



  40. Библейская энциклопедия Брокгауза

    Исчисление см. Считать, исчисление.

  41. Источник: Библейская энциклопедия Брокгауза



  42. Математическая энциклопедия

    - 1) Составная часть названия нек-рых разделов математики, трактующих правила вычислений и оперирования с объектами того или иного типа; напр., дифференциальное И., вариационное И. 2) Дедуктивная система, т. е. способ задания множества путем указания исходных элементов (аксиом исчисления) и вывода правил, каждое из к-рых описывает, как строить новые элементы из исходных и уже построенных. Выводомв И. наз. такое линейно упорядоченное множество, что всякий его элемент Рявляется либо аксиомой И. либо заключением применения к.-л. принадлежащего правила вывода, причем все посылки этого применения предшествуют Рв выводе. Элемент наз. выводимым в если в можно построить вывод, кончающийся этим элементом. Для удобства изучения выводов они иногда записываются в виде нелинейной структуры (см. Вывода дерево);выводы могут быть снабжены анализом, т. е. дополнительной информацией, облегчающей проверку правильности вывода (напр., при каждом элементе вывода пишутся код правила и номера предшествующих элементов, при помощи к-рых получен данный элемент).

    Пример. Рассмотрим исчисление задающее множество Мзаписей в однобуквенном алфавите {| } всех чисел вида 2n при п=1, 2,... И. имеет одну аксиому|| и одно правило вывода "Из слова Рможно получить РР". Легко убедиться, что слова из Ми только они выводимы в

    И. может иногда порождать также нек-рые вспомогательные элементы, в таком случае задается нек-рый алгоритм, позволяющий отличать основные элементы от вспомогательных. При отсутствии вспомогательных элементов говорят о строгом представлении множества Мисчислением Таков, в частности, приведенный выше пример.

    Используются и более сложные формы задания множеств посредством И., когда вместо элементов множества порождаются их коды (т. е. нужен еще дополнительный алгоритм, декодирующий основные элементы). Так, широко распространены кодировки нелинейных объектов словами, кодировки слов и n-к чисел натуральными числами и др. Важным частным случаем нестрогого представления является ступенчатое построение П., когда выводимые объекты предыдущих ступеней носят вспомогательный характер при формировании следующей ступени (такие построения особенно характерны для логико-математич. теорий, к-рые оказываются верхней ступенью над рядом И., задающих язык теории).

    Понятие И. является формализацией интуитивного представления об индуктивно порождаемом множестве. Такие множества широко используются в математике; в частности, формализация любой развитой теории опирается на большое количество индуктивно определяемых множеств, начиная с простейших (множества переменных, термов, формул и т. п.) и кончая множеством теорем, к-рые выводятся из аксиом теории при помощи соответствующих логич. переходов. Неудивительно поэтому, что И. являются одним из основных аппаратов математич. логики. Именно логические исчисления были первыми примерами полностью формализованных дедуктивных систем (на базе этих И. вырабатывались основные понятия и методы общей теории И., возникли далеко идущие обобщения И.; см., напр., Карнапа правило). Нек-рые специальные виды И. хорошо пригодны для описания формальных грамматик (чем определяется роль И. в математической лингвистике )и для задания множеств, распознаваемых автоматами конечными.

    Одной из основных сфер применения общей теории И. является алгоритмов теория. Это объясняется тем, что понятие И. имеет такой же фундаментальный характер, как и понятие алгоритма. Действительно, класс множеств, к-рые могут быть заданы при помощи И., совпадает с классом алгоритмически перечислимых множеств слов (если оставаться в рамках общепринятых уточнений понятия И. и не прибегать к обобщениям, нарушающим потенциальную возможность порождения каждого выводимого элемента). Отсюда вытекает существование такого И., для к-рого неразрешима проблема выводимости, т. е. невозможен алгоритм, к-рый для всех слов (в языке И.) кончал бы работу с правильным ответом (напр., давал бы 0 на всех выводимых словах и 1 на остальных). Из возможности задания сколь угодно сложных перечислимых множеств вытекает также существование универсальных в том или ином смысле И. (т. е . И., моделирующих все другие И. фиксированного языка, см. Креативное множество). Эти факты, в сочетании с изучением различных модификаций и специализаций общего понятия И., открывают возможности получения интересных алгоритмически неразрешимых проблем. Основополагающее значение для этого направления имела работа Э. Поста (см. [1]), в к-рой впервые было предложено понятие дедуктивной системы, пригодной для порождения произвольных перечислимых множеств слов (см. Поста каноническая система). Широкие возможности в оформлении правил вывода канонических И. позволяют хорошо обслуживать процессы индуктивного порождения множеств; подавляющее большинство построенных конкретных И. легко и естественно можно сформулировать как частные случаи канонических И.

    Ассоциативные исчисления, называемые также системами Туэ, служат удобным средством задания и изучения групп и полугрупп.

    Лит.:[1] Post E. L., "Amer. J. Math.", 1943, v. 65, № 2, p. 197-215; [2] Марков А. А., Теория алгорифмов, M.- Л., 1954 ("Тр. матем. ин-та АН СССР", т. 42); [3] "Тр. матем. ин-та АН СССР", 1964, т. 72, с. 5-56; 1967,т. 93, с. 3-42.

    С. Ю. Маслов.

  43. Источник: Математическая энциклопедия



  44. Русско-английский политехнический словарь

    calculus, computation

    * * *

    исчисле́ние с.

    calculus

    исчисле́ние бесконе́чно ма́лых — infinitesimal calculus

    вариацио́нное исчисле́ние — calculus of variations

    ве́кторное исчисле́ние — vector calculus, vector analysis

    исчисле́ние вероя́тностей — calculus of probability

    исчисле́ние выска́зываний — sentential [propositional] calculus

    дифференциа́льное исчисле́ние — differential calculus

    исчисле́ние зада́ч — problem calculus

    интегра́льное исчисле́ние — integral calculus

    логи́ческое исчисле́ние — logical calculus

    ма́тричное исчисле́ние — matrix calculus

    операцио́нное исчисле́ние — operational calculus

    исчисле́ние предика́тов — predicate calculus

    пропозициона́льное исчисле́ние — propositional calculus

    расши́ренное исчисле́ние — extended calculus

    спино́рное исчисле́ние — spinor calculus

    те́нзорное исчисле́ние — tensor calculus

    функциона́льное исчисле́ние — functional calculus

    * * *

    calculus

  45. Источник: Русско-английский политехнический словарь



  46. Dictionnaire technique russo-italien

    с. матем.

    calcolo m

    - алгебраическое исчисление

    - исчисление бесконечно малых

    - булево исчисление

    - вариационное исчисление

    - векторное исчисление

    - исчисление вероятностей

    - десятичное исчисление

    - дифференциальное исчисление

    - интегральное исчисление

    - итерационное исчисление

    - комбинаторное исчисление

    - исчисление конечных разностей

    - логическое исчисление

    - матричное исчисление

    - операционное исчисление

    - повторяющееся исчисление

    - предварительное исчисление

    - исчисление размерностей

    - разностное исчисление

    - тензорное исчисление

    - функциональное исчисление

  47. Источник: Dictionnaire technique russo-italien



  48. Русско-украинский политехнический словарь

    матем.

    1)(действие) обчи́слення, (неоконч. - ещё) обчи́слювання, обчисля́ння; ви́рахування, (неоконч. - ещё) вирахо́вування

    2)(совокупность приёмов, наименований и обозначений чисел) чи́слення

    - дифференциальное исчисление

    - интегральное исчисление

    - исчисление вероятностей

    - исчисление высказываний

    - исчисление кванторов

    - исчисление классов

    - исчисление отношений

    - исчисление подстановок

    - исчисление равенства

    - приближённое исчисление

    - разностное исчисление

    - ступенчатое исчисление

    - тензорное исчисление

    - уравнительное исчисление

    - функциональное исчисление

  49. Источник: Русско-украинский политехнический словарь



  50. Русско-украинский политехнический словарь

    матем.

    1)(действие) обчи́слення, (неоконч. - ещё) обчи́слювання, обчисля́ння; ви́рахування, (неоконч. - ещё) вирахо́вування

    2)(совокупность приёмов, наименований и обозначений чисел) чи́слення

    - дифференциальное исчисление

    - интегральное исчисление

    - исчисление вероятностей

    - исчисление высказываний

    - исчисление кванторов

    - исчисление классов

    - исчисление отношений

    - исчисление подстановок

    - исчисление равенства

    - приближённое исчисление

    - разностное исчисление

    - ступенчатое исчисление

    - тензорное исчисление

    - уравнительное исчисление

    - функциональное исчисление

  51. Источник: Русско-украинский политехнический словарь



  52. Естествознание. Энциклопедический словарь

    знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символич. выражений из букв алфавита системы - языка И., т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул И. (его фразеологии) из нек-рого фиксируемого в том же языке набора формул-аксиом. Любое И. однозначно определяется заданием алфавита И., правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам И. значений, т. е. рассмотрение И. как знаковой системы (интерпретация И.), преобразует И. в формализованный язык. Осн. примеры И.: числовые и алгебр. системы, логич. исчисления.

  53. Источник: Естествознание. Энциклопедический словарь



  54. Словарь терминов логики

  55. Источник:



  56. Русско-шведский бизнес-словарь

  57. Источник:



  58. Большой Энциклопедический словарь

  59. Источник: