Cálculo (desambiguación)

Cálculo (del latín calculus, que significa 'guijarro', plural calculī ) en su sentido más general es cualquier método o sistema de cálculo .

El cálculo puede referirse a:

Biología

• Cálculo (araña) , un género de la familia Oonopidae
• Caseolus calculus , un género y especie de pequeños caracoles terrestres

Medicamento

• Cálculo (dental) , depósitos de sales de fosfato de calcio en los dientes, también conocido como sarro.
• Cálculo (medicamento) , una piedra que se forma en el cuerpo, como un cálculo biliar o renal.

Matemáticas

• Cálculo infinitesimal (o simplemente cálculo ), que investiga el movimiento y las tasas de cambio.
  • Cálculo diferencial
  • Cálculo integral
  • Cálculo no estándar , una aproximación al cálculo infinitesimal utilizando los infinitesimales de Robinson
• Cálculo de sumas y diferencias ( operador de diferencia ), también llamado cálculo de diferencias finitas, un análogo discreto del "cálculo"
• Cálculo funcional , una forma de aplicar varios tipos de funciones a los operadores.
• Cálculo de Schubert , una rama de la geometría algebraica
• Cálculo tensorial (también llamado análisis tensorial), una generalización del cálculo vectorial que abarca campos tensoriales.
  • Cálculo vectorial (también llamado análisis vectorial), que comprende notaciones especializadas para el análisis multivariable de vectores en un espacio de producto interno.
  • Cálculo matricial , una notación especializada para el cálculo multivariable sobre espacios de matrices.
• Cálculo numérico (también llamado análisis numérico), el estudio de aproximaciones numéricas
• Cálculo umbral , la combinatoria de ciertas operaciones sobre polinomios
• El cálculo de variaciones , un campo de estudio que se ocupa de las funciones extremas
• Cálculo de Itô Una extensión del cálculo a los procesos estocásticos.

Lógica

• Cálculo lógico , un sistema formal que define un lenguaje y reglas para derivar una expresión a partir de premisas.
  • El cálculo proposicional especifica las reglas de inferencia que rigen la lógica de las proposiciones.
  • Cálculo de predicados , especifica las reglas de inferencia que rigen la lógica de los predicados.
  • Cálculo de pruebas , un marco para expresar sistemas de inferencia lógica
    • Cálculo secuencial , un cálculo de prueba para la lógica de primer orden
    • Cálculo circular , un cálculo de prueba basado en estructuras de estilo gráfico llamadas circunferencias
  • Cálculo de situaciones , un marco para describir las relaciones dentro de un sistema dinámico
    • Cálculo de eventos , un modelo para razonar sobre eventos y sus efectos.
    • Cálculo fluido , un modelo para describir las relaciones dentro de un sistema dinámico
• Cálculo de relaciones , manipulación de relaciones binarias con el álgebra de conjuntos, composición de relaciones y relaciones de transposición.
• Cálculo épsilon , un lenguaje lógico que reemplaza los cuantificadores con el operador épsilon
• Cálculo de estilo Fitch , un método para construir pruebas formales utilizadas en lógica de primer orden.
• Cálculo μ modal , una lógica temporal común utilizada por métodos de verificación formal como la verificación de modelos.

Física

• Cálculo k de Bondi , un método utilizado en la teoría de la relatividad
• Cálculo de Jones , utilizado en óptica para describir la luz polarizada.
• Cálculo de Mueller , utilizado en óptica para manejar los vectores de Stokes, que describen la polarización de la luz incoherente.
• Cálculo operacional , utilizado para resolver ecuaciones diferenciales que surgen en electrónica.

Lenguaje formal

• Cálculo lambda , una formulación de la teoría de funciones reflexivas que tiene profundas conexiones con la teoría computacional.
  • Cálculo kappa , una reformulación del fragmento de primer orden del cálculo lambda tipificado
  • Cálculo Rho, introducido como un medio general para integrar uniformemente la reescritura en el cálculo lambda
• Cálculo de procesos , un conjunto de enfoques para formular modelos formales de sistemas concurrentes.
  • Cálculo ambiental , una familia de modelos para sistemas concurrentes basados ​​en el concepto de movilidad de agentes
  • Cálculo de unión , un modelo teórico para el diseño de lenguajes de programación distribuida
  • Cálculo π , una formulación de la teoría de procesos concurrentes y comunicantes.
• Cálculo relacional , un cálculo para el modelo de datos relacionales
  • Cálculo relacional de dominios
  • Cálculo de tuplas
• Cálculo de refinamiento , una forma de refinar modelos de programas para convertirlos en programas eficientes.

Otros significados

• un cálculo (pl. calculi ), una ficha de conteo romana
• Cálculo del campo de batalla, cálculo militar de todos los factores conocidos en el proceso de toma de decisiones y planificación de acciones.
• Cálculo de negligencia , un estándar legal en la ley de responsabilidad civil de EE. UU. para determinar si se ha incumplido un deber de cuidado
• Cálculo feliz , un procedimiento para evaluar el beneficio de una acción, según Bentham
• Profesor Tornasol , personaje ficticio de la serie de cómics Las aventuras de Tintín

Véase también

• Lista de temas de cálculo

Temas a los que se refiere el mismo término