Calcul (homonymie) - Calculus (disambiguation)

Le calcul (du latin calcul signifiant «caillou», au pluriel calculī ) dans son sens le plus général est toute méthode ou système de calcul .

Le calcul peut faire référence à:

Mathématiques

  • Calcul infinitésimal (ou simplement calcul ), qui étudie le mouvement et les taux de changement
  • Calcul des sommes et des différences ( opérateur de différence ), également appelé calcul des différences finies, un analogue discret du "calcul"
  • Calcul fonctionnel , un moyen d'appliquer divers types de fonctions aux opérateurs
  • Calcul de Schubert , une branche de la géométrie algébrique
  • Calcul tensoriel (également appelé analyse tensorielle), une généralisation du calcul vectoriel qui englobe les champs tensoriels
    • Calcul vectoriel (également appelé analyse vectorielle), comprenant des notations spécialisées pour l'analyse multivariée de vecteurs dans un espace de produit interne
    • Matrix calculus , une notation spécialisée pour le calcul multivariable sur des espaces de matrices
  • Calcul numérique (également appelé analyse numérique), l'étude des approximations numériques
  • Calcul ombral , la combinatoire de certaines opérations sur les polynômes
  • Le calcul des variations , un domaine d'étude qui traite des fonctionnelles extrémisantes

Logique

  • Calcul logique , un système formel qui définit un langage et des règles pour dériver une expression à partir de locaux
  • Calcul des relations , manipulation des relations binaires avec l'algèbre des ensembles, composition des relations et relations de transposition
  • Epsilon calculus , un langage logique qui remplace les quantificateurs par l'opérateur epsilon
  • Calcul de style Fitch , une méthode de construction de preuves formelles utilisées dans la logique du premier ordre
  • Μ-calcul modal , une logique temporelle courante utilisée par les méthodes de vérification formelles telles que la vérification de modèle

La physique

  • Bondi k -calculus , une méthode utilisée en théorie de la relativité
  • Calcul de Jones , utilisé en optique pour décrire la lumière polarisée
  • Calcul de Mueller , utilisé en optique pour gérer les vecteurs de Stokes, qui décrivent la polarisation de la lumière incohérente
  • Calcul opérationnel , utilisé pour résoudre des équations différentielles issues de l'électronique

Langue formelle

  • Calcul lambda , une formulation de la théorie des fonctions réflexives qui a des liens profonds avec la théorie computationnelle
    • Kappa calcul , une reformulation du fragment de premier ordre du lambda calcul typé
    • Rho calcul , introduit comme un moyen général d'intégrer uniformément la réécriture dans le calcul lambda
  • Calcul de processus , un ensemble d'approches pour formuler des modèles formels de systèmes concurrents
    • Calcul ambiant , une famille de modèles de systèmes concurrents basés sur le concept de mobilité des agents
    • Join calculus , un modèle théorique pour la conception de langages de programmation distribués
    • π-calcul , une formulation de la théorie des processus concurrents et communicants
  • Calcul relationnel , un calcul pour le modèle de données relationnelles
  • Calcul de raffinement , un moyen d'affiner les modèles de programmes en programmes efficaces

Autres significations

  • Calcul (dentaire) , dépôts de sels de phosphate de calcium sur les dents, également connu sous le nom de tartre
  • Calcul (médecine) , une pierre formée dans le corps comme un calcul biliaire ou un calcul rénal
  • Calcul du champ de bataille , militaire calcul de tous les facteurs connus dans la prise de décision et le processus de planification des mesures
  • Calcul (araignée) , un genre de la famille des Oonopidae
  • Caseolus calculus , un genre et une espèce de petits escargots terrestres
  • Professeur Calcul , personnage fictif de la série de bandes dessinées Les Aventures de Tintin
  • Calcul de la négligence , une norme juridique du droit américain de la responsabilité délictuelle pour déterminer si une obligation de diligence a été violée
  • Calcul félicifique , une procédure pour évaluer le bénéfice d'une action, selon Bentham