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

Поищите исчисление в Викисловаре, бесплатном словаре.

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

Исчисление может относиться к:

Математика [ править ]

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

Логика [ править ]

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

Физика [ править ]

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

Официальный язык [ править ]

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

Другие значения [ править ]

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