Übersetzung für '
исчисление' von Russisch nach Deutsch
13 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!
Anwendungsbeispiele Russisch
- 1691: будучи во Франции, пропагандирует новое исчисление, создав первую парижскую школу анализа.
- Хотя исчисление было независимо изобретено Исааком Ньютоном, большая часть обозначений в современном исчислении принадлежит Лейбницу.
- В этом направлении тензорное исчисление было развито Туллио Леви-Чивитой и Грегорио Риччи (ранее тензорное исчисление также называли «исчислением Риччи»).
- Среди вариантов исчисления — исчисление индуктивных конструкций (использует индуктивные типы), исчисление коиндуктивных конструкций (с применением коиндукции), предикативное исчисление индуктивных конструкций (устраняет некоторую часть непредикативности).
- Вторичное дифференциа́льное исчисле́ние — раздел современной математики, который расширяет классическое дифференциальное исчисление на многообразиях до пространства решений нелинейных дифференциальных уравнений в частных производных.
- Ля́мбда-исчисле́ние ("λ-исчисление") — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.
- Дифференциальное исчисление на градуированных многообразиях формулируется как дифференциальное исчисление над коммутативными градуированными алгебрами, аналогично дифференциальному исчислению над коммутативными алгебрами.
- Давыдов перевёл два труда Франкёра: «Высшая алгебра» (1824) и «Интегральное и вариационное исчисление и исчисление разностей»(1825).
- (полиморфное лямбда-исчисление высшего порядка с зависимыми типами) фактически представляет собой исчисление конструкций.
- "Интегральное исчисление" — это изучение определения, свойств и применения двух взаимосвязанных понятий: "неопределённого интеграла" и "определённого интеграла".
- В 1932 году Курт Гедель показал, что интуиционистское исчисление не является конечномерным и ввел свою систему (Геделевское исчисление, англ. ...
- Просто типизированное лямбда-исчисление ("простое типизированное лямбда-исчисление", "лямбда-исчисление с простыми типами", "система [...] ") — система типизированного лямбда-исчисления, в которой лямбда-абстракции приписывается специальный «стрелочный» тип.
- Мишель Ролль писал, что новое исчисление есть «"набор гениальных ошибок"»; Вольтер ядовито заметил, что это исчисление представляет собой искусство вычислять и точно измерять вещи, существование которых не может быть доказано.
© dict.cc Russian-German dictionary 2025
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!