Исчисление (значения) - Calculus (disambiguation)
Исчисление (из латинский исчисление значение «камешек», множественное число Calculī ) в самом общем смысле - это любой метод или система расчет.
Исчисление может относиться к:
Математика
- Исчисление бесконечно малых (или просто Исчисление ), которые исследуют движение и скорость изменения
- Дифференциальное исчисление
- Интегральное исчисление
- Нестандартное исчисление, подход к исчислению бесконечно малых с использованием бесконечно малых Робинсона
- Исчисление сумм и разностей (оператор разницы ), также называемое конечно-разностным исчислением, дискретным аналогом «исчисления»
- Функциональное исчисление, способ применения к операторам различных типов функций
- Исчисление Шуберта, раздел алгебраической геометрии
- Тензорное исчисление (также называемый тензорным анализом), обобщение векторного исчисления, охватывающее тензорные поля
- Векторное исчисление (также называемый векторным анализом), включающий специализированные обозначения для многомерного анализа векторов в пространстве внутреннего продукта
- Матричное исчисление, специализированные обозначения для многомерного исчисления над пространствами матриц
- Численное исчисление (также называемый численным анализом), изучение численных приближений
- Темное исчисление, комбинаторика некоторых операций над многочленами
- В вариационное исчисление, область исследований, посвященная экстремизирующим функционалам
Логика
- Логическое исчисление, формальная система, которая определяет язык и правила для получения выражения из предпосылок
- Исчисление высказываний, определяет правила вывода, управляющие логикой предложений
- Исчисление предикатов, определяет правила вывода, управляющие логикой предикатов
- Исчисление доказательств, структура для выражения систем логического вывода
- Последовательное исчисление, исчисление доказательств для логики первого порядка
- Циркулярное исчисление исчисление доказательств, основанное на структурах графического стиля, называемых круговорот
- Ситуационное исчисление, каркас для описания отношений в динамической системе
- Исчисление событий, модель рассуждений о событиях и их последствиях
- Свободный расчет, модель для описания отношений в динамической системе
- Исчисление отношений, манипулирование бинарными отношениями с алгеброй множеств, композиция отношений и транспонирование отношений
- Эпсилон исчисление, логический язык, который заменяет кванторы оператором эпсилон
- Расчет в стиле Fitch, метод построения формальных доказательств, используемый в логике первого порядка
- Модальное μ-исчисление, общая темпоральная логика, используемая формальными методами проверки, такими как проверка модели
Физика
- Бонди k-исчисление, метод, используемый в теории относительности
- Исчисление Джонса, используется в оптике для описания поляризованного света
- Исчисление Мюллера, используется в оптике для обработки векторов Стокса, которые описывают поляризацию некогерентного света
- Оперативный расчет, используется для решения дифференциальных уравнений, возникающих в электронике
Формальный язык
- Лямбда-исчисление, формулировка теории рефлексивных функций, которая имеет глубокие связи с теорией вычислений.
- Исчисление каппа, переформулировка фрагмента первого порядка типизированного лямбда-исчисления
- Rho исчисление, введенный как общее средство для единообразной интеграции переписывания в лямбда-исчисление
- Расчет процесса, набор подходов к формулированию формальных моделей параллельных систем
- Окружающий расчет, семейство моделей параллельных систем, основанное на концепции мобильности агентов.
- Присоединиться к исчислению, теоретическая модель для проектирования распределенных языков программирования
- π-исчисление, формулировка теории параллельных, коммуникационных процессов
- Реляционное исчисление, исчисление для реляционной модели данных
- Исчисление уточнения, способ преобразования моделей программ в эффективные программы
Другие значения
- Камни (стоматологические), отложения солей фосфата кальция на зубах, также известные как зубной камень
- Камни (медицина), камень, образовавшийся в теле, например, желчный камень или камень в почках
- Расчет поля боя, военный расчет всех известных факторов в процессе принятия решений и планирования действий
- Исчисление (паук), род семейства Oonopidae
- Казеолус исчисление, род и вид мелких наземных улиток
- Профессор исчисления, вымышленный персонаж из серии комиксов Приключения Тинтина
- Исчисление халатности, правовой стандарт деликтного права США, чтобы определить, была ли нарушена обязанность проявлять осторожность
- Благоприятное исчисление, процедура для оценки выгоды действия, согласно Бентаму
Если внутренняя ссылка привел вас сюда, вы можете изменить ссылку, чтобы она указывала прямо на предполагаемую статью. | Этот устранение неоднозначности на странице перечислены статьи, связанные с заголовком Исчисление.