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

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

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

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

Математика

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

Логика

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

Физика

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

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

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

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

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

Страница устранения неоднозначности, содержащая ссылки на темы, на которые может ссылаться один и тот же поисковый запрос Этот устранение неоднозначности на странице перечислены статьи, связанные с заголовком Исчисление. Если внутренняя ссылка привел вас сюда, вы можете изменить ссылку, чтобы она указывала прямо на предполагаемую статью.