Translation for 'исчисление' from Russian to English

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

differential calculusмат.

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

integral calculusмат.

• 1691: будучи во Франции, пропагандирует новое исчисление, создав первую парижскую школу анализа.
• Хотя исчисление было независимо изобретено Исааком Ньютоном, большая часть обозначений в современном исчислении принадлежит Лейбницу.
• В этом направлении тензорное исчисление было развито Туллио Леви-Чивитой и Грегорио Риччи (ранее тензорное исчисление также называли «исчислением Риччи»).
• Среди вариантов исчисления — исчисление индуктивных конструкций (использует индуктивные типы), исчисление коиндуктивных конструкций (с применением коиндукции), предикативное исчисление индуктивных конструкций (устраняет некоторую часть непредикативности).
• Вторичное дифференциа́льное исчисле́ние — раздел современной математики, который расширяет классическое дифференциальное исчисление на многообразиях до пространства решений нелинейных дифференциальных уравнений в частных производных.

• Ля́мбда-исчисле́ние ("λ-исчисление") — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.
• Дифференциальное исчисление на градуированных многообразиях формулируется как дифференциальное исчисление над коммутативными градуированными алгебрами, аналогично дифференциальному исчислению над коммутативными алгебрами.
•  Давыдов перевёл два труда Франкёра: «Высшая алгебра» (1824) и «Интегральное и вариационное исчисление и исчисление разностей»(1825).
• (полиморфное лямбда-исчисление высшего порядка с зависимыми типами) фактически представляет собой исчисление конструкций.
• "Интегральное исчисление" — это изучение определения, свойств и применения двух взаимосвязанных понятий: "неопределённого интеграла" и "определённого интеграла".

• В 1932 году Курт Гедель показал, что интуиционистское исчисление не является конечномерным и ввел свою систему (Геделевское исчисление, англ. ...
• Просто типизированное лямбда-исчисление ("простое типизированное лямбда-исчисление", "лямбда-исчисление с простыми типами", "система [...] ") — система типизированного лямбда-исчисления, в которой лямбда-абстракции приписывается специальный «стрелочный» тип.
• Мишель Ролль писал, что новое исчисление есть «"набор гениальных ошибок"»; Вольтер ядовито заметил, что это исчисление представляет собой искусство вычислять и точно измерять вещи, существование которых не может быть доказано.