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
- Calculs différentiels
- Calcul intégral
- Calcul non standard , une approche du calcul infinitésimal utilisant les infinitésimales de Robinson
- 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 propositionnel , spécifie les règles d'inférence régissant la logique des propositions
- Calcul des prédicats , spécifie les règles d'inférence régissant la logique des prédicats
-
Proof calculus , un cadre pour exprimer des systèmes d'inférence logique
- Calcul séquentiel , un calcul de preuve pour la logique du premier ordre
- Cirquent calculus , un calcul de preuve basé sur des structures de style graphique appelées cirquents
-
Calcul de situation , un cadre pour décrire les relations au sein d'un système dynamique
- Calcul événementiel , un modèle de raisonnement sur les événements et leurs effets
- Calcul fluide , un modèle pour décrire les relations au sein d'un système dynamique
- 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
homonymie répertorie les articles associés au titre Calculus . Si un lien interne vous a conduit ici, vous souhaiterez peut-être modifier le lien pour qu'il pointe directement vers l'article visé. |
Cette page d'