Kalkyl (disambiguation)

Calculus (från latin calculus som betyder 'sten', plural calculī ) i dess mest allmänna betydelse är vilken metod eller system som helst för beräkning .

Kalkyl kan syfta på:

Biologi

• Tandsten (spindel) , ett släkte av familjen Oonopidae
• Caseolus calculus , ett släkte och art av små landsniglar

Matematik

• Infinitesimalkalkyl (eller helt enkelt Calculus ), som undersöker rörelse och förändringshastigheter
  • Differentialkalkyl
  • Integralkalkyl
  • Icke-standardkalkyl , ett tillvägagångssätt för infinitesimalkalkyl med Robinsons infinitesimaler
• Beräkning av summor och differenser ( differensoperator ), även kallad finita differenskalkyl, en diskret analog av "kalkyl"
• Funktionskalkyl , ett sätt att tillämpa olika typer av funktioner på operatorer
• Schubert calculus , en gren av algebraisk geometri
• Tensorkalkyl (även kallad tensoranalys), en generalisering av vektorkalkyl som omfattar tensorfält
  • Vektorkalkyl (även kallad vektoranalys), som omfattar specialiserade notationer för multivariabel analys av vektorer i ett inre produktutrymme
  • Matriskalkyl , en specialiserad notation för multivariabelkalkyl över rum av matriser
• Numerisk kalkyl (även kallad numerisk analys), studiet av numeriska approximationer
• Umbral calculus , kombinatoriken för vissa operationer på polynom
• Variationskalkylen , ett studieområde som behandlar extremiserande funktionaler
• Itô kalkyl En utvidgning av kalkyl till stokastiska processer.

Logik

• Logisk kalkyl , ett formellt system som definierar ett språk och regler för att härleda ett uttryck från premisser
  • Propositionskalkyl , specificerar reglerna för slutledning som styr propositionernas logik
  • Predikatkalkyl , specificerar inferensreglerna som styr predikats logik
  • Proof calculus , ett ramverk för att uttrycka system av logisk slutledning
    • Sequent calculus , en beviskalkyl för första ordningens logik
    • Cirquent calculus , en beviskalkyl baserad på grafiska strukturer som kallas cirquents
  • Situationskalkyl , ett ramverk för att beskriva relationer inom ett dynamiskt system
    • Händelsekalkyl , en modell för resonemang kring händelser och deras effekter
    • Fluent calculus , en modell för att beskriva samband inom ett dynamiskt system
• Relationsanalys , manipulering av binära relationer med algebra av mängder, sammansättning av relationer och transponera relationer
• Epsilon calculus , ett logiskt språk som ersätter kvantifierare med epsilon-operatorn
• Fitch-stil calculus , en metod för att konstruera formella bevis som används i första ordningens logik
• Modal μ-kalkyl , en vanlig tidslogik som används av formella verifieringsmetoder som modellkontroll

Medicin

• Tandsten (dental) , avlagringar av kalciumfosfatsalter på tänderna, även känd som tandsten
• Tandsten (läkemedel) , en sten som bildas i kroppen såsom en gallsten eller njursten

Fysik

• Bondi k -kalkyl , en metod som används inom relativitetsteorin
• Jones calculus , används inom optik för att beskriva polariserat ljus
• Mueller-kalkyl , som används inom optik för att hantera Stokes-vektorer, som beskriver polariseringen av inkoherent ljus
• Operationell kalkyl , används för att lösa differentialekvationer som uppstår i elektronik

Formellt språk

• Lambdakalkyl , en formulering av teorin om reflexiva funktioner som har djupa kopplingar till beräkningsteori
  • Kappa calculus , en omformulering av första ordningens fragment av maskinskriven lambda calculus
  • Rho-kalkyl , introducerad som ett allmänt sätt att enhetligt integrera omskrivning i lambda-kalkyl
• Processkalkyl , en uppsättning tillvägagångssätt för att formulera formella modeller av samtidiga system
  • Ambient calculus , en familj av modeller för samtidiga system baserade på konceptet agentmobilitet
  • Gå med i calculus , en teoretisk modell för design av distribuerade programmeringsspråk
  • π-kalkyl , en formulering av teorin om samtidiga, kommunicerande processer
• Relationskalkyl , en kalkyl för relationsdatamodellen
  • Domänrelationskalkyl
  • Tupelkalkyl
• Förfiningskalkyl , ett sätt att förfina modeller av program till effektiva program

Andra betydelser

• Battlefield calculus, militär beräkning av alla kända faktorer i beslutsfattande och handlingsplaneringsprocessen
• Calculus of negligence , en juridisk standard i amerikansk skadeståndsrätt för att avgöra om en aktsamhetsplikt har brutits
• Felicific calculus , en procedur för att utvärdera nyttan av en åtgärd, enligt Bentham
• Professor Calculus , en fiktiv karaktär i serieserien Tintins äventyr