Исчисление (значения)

Исчисление (от латинского исчисления, означающего «камень», множественное число исчисления ) в самом общем смысле — это любой метод или система вычислений .

Исчисление может означать:

Биология

• Исчисление (паук) — род семейства Oonopidae.
• Caseoluscalculus — род и вид мелких наземных улиток.

Математика

• Исчисление бесконечно малых размеров (или просто исчисление ), которое исследует движение и скорость изменений.
  • Дифференциальное исчисление
  • Интегральное исчисление
  • Нестандартное исчисление , подход к исчислению бесконечно малых с использованием бесконечно малых Робинсона.
• Исчисление сумм и разностей ( разностный оператор ), также называемое исчислением конечных разностей, дискретный аналог «исчисления».
• Функциональное исчисление — способ применения к операторам различных типов функций.
• Исчисление Шуберта — раздел алгебраической геометрии.
• Тензорное исчисление (также называемое тензорным анализом), обобщение векторного исчисления, охватывающее тензорные поля.
  • Векторное исчисление (также называемое векторным анализом), включающее специализированные обозначения для многовариантного анализа векторов в пространстве внутреннего продукта.
  • Матричное исчисление , специализированное обозначение исчисления многих переменных над пространствами матриц.
• Численное исчисление (также называемое численным анализом), исследование численных аппроксимаций.
• Теневое исчисление , комбинаторика некоторых операций над многочленами.
• — Вариационное исчисление область исследования, занимающаяся экстремизацией функционалов.
• Исчисление Ито. Распространение исчисления на случайные процессы.

Логика

• Логическое исчисление — формальная система, определяющая язык и правила получения выражения из посылок.
  • Исчисление высказываний определяет правила вывода, управляющие логикой предложений.
  • Исчисление предикатов , определяет правила вывода, управляющие логикой предикатов.
  • Исчисление доказательств , основа для выражения систем логического вывода.
    • Секвенциальное исчисление , исчисление доказательств для логики первого порядка.
    • Цирквентное исчисление — исчисление доказательств, основанное на структурах в стиле графа, называемых цирквентами.
  • Ситуационное исчисление , основа для описания отношений внутри динамической системы.
    • Исчисление событий , модель рассуждений о событиях и их последствиях.
    • Свободное исчисление , модель описания отношений внутри динамической системы.
• Исчисление отношений , манипулирование бинарными отношениями с помощью алгебры множеств, композиция отношений и транспонирование отношений.
• Эпсилон-исчисление — логический язык, заменяющий кванторы оператором эпсилон.
• Исчисление в стиле Фитча — метод построения формальных доказательств, используемый в логике первого порядка.
• Модальное μ-исчисление , общая темпоральная логика, используемая формальными методами проверки, такими как проверка модели.

Медицина

• Зубной камень (зубной камень) , отложения солей фосфата кальция на зубах, также известные как зубной камень.
• Калькулюс (медицина) — камень, образующийся в организме, например камень в желчном пузыре или почке.

Физика

• Бонди K -исчисление — метод, используемый в теории относительности.
• Исчисление Джонса , используемое в оптике для описания поляризованного света.
• Исчисление Мюллера , используемое в оптике для обработки векторов Стокса, которые описывают поляризацию некогерентного света.
• Операционное исчисление , используемое для решения дифференциальных уравнений, возникающих в электронике.

Формальный язык

• Лямбда-исчисление — формулировка теории рефлексивных функций, имеющая глубокую связь с теорией вычислений.
  • Каппа-исчисление , переформулировка фрагмента первого порядка типизированного лямбда-исчисления.
  • Ро-исчисление , представленное как общее средство единой интеграции переписывания в лямбда-исчисление.
• Исчисление процессов , набор подходов к формулированию формальных моделей параллельных систем.
  • Эмбиентное исчисление — семейство моделей параллельных систем, основанное на концепции мобильности агентов.
  • Присоединяйтесь к исчислению , теоретической модели проектирования языков распределенного программирования.
  • π-исчисление , формулировка теории параллельных взаимодействующих процессов.
• Реляционное исчисление , исчисление для реляционной модели данных
  • Реляционное исчисление предметной области
  • Кортежное исчисление
• Уточняющее исчисление — способ преобразования моделей программ в эффективные программы.

Другие значения

• исчисление ( мн. Calculi ), римский счетный жетон
• Исчисление поля боя , военный расчет всех известных факторов в процессе принятия решений и планирования действий.
• Расчет небрежности — правовой стандарт деликтного права США, позволяющий определить, была ли нарушена обязанность проявлять осторожность.
• По мнению Бентама, исчисление счастья — процедура оценки выгоды от действия.
• Профессор исчисления , вымышленный персонаж комиксов «Приключения Тинтина».

См. также

• Список тем по исчислению