rachunek różniczkowy (ujednoznacznienie)

Rachunek różniczkowy (z łac. calculus oznacza „kamyk”, liczba mnoga calculī ) w najbardziej ogólnym znaczeniu to dowolna metoda lub system obliczeniowy .

Rachunek może odnosić się do:

Biologia

• Calculus (pająk) , rodzaj rodziny Oonopidae
• Caseolus calculus , rodzaj i gatunek małych ślimaków lądowych

Matematyka

• Rachunek nieskończenie mały (lub po prostu rachunek różniczkowy ), który bada ruch i tempo zmian
  • Rachunek różniczkowy
  • Rachunek całkowy
  • Rachunek niestandardowy , podejście do rachunku nieskończenie małych z wykorzystaniem nieskończenie małych Robinsona
• Rachunek sum i różnic ( operator różnicowy ), zwany także rachunkiem różnic skończonych, dyskretny odpowiednik „rachunku różniczkowego”
• Rachunek funkcjonalny , sposób zastosowania różnych typów funkcji do operatorów
• Rachunek Schuberta , gałąź geometrii algebraicznej
• Rachunek tensorowy (zwany także analizą tensorową), uogólnienie rachunku wektorowego obejmującego pola tensorowe
  • Rachunek wektorowy (zwany także analizą wektorową), zawierający wyspecjalizowane notacje do wielowymiarowej analizy wektorów w przestrzeni iloczynu wewnętrznego
  • Rachunek macierzowy , wyspecjalizowana notacja rachunku różniczkowego wielu zmiennych w przestrzeniach macierzy
• Rachunek numeryczny (zwany także analizą numeryczną), badanie przybliżeń numerycznych
• Rachunek umbralny , kombinatoryka pewnych operacji na wielomianach
• Rachunek wariacyjny , dziedzina nauki zajmująca się ekstremalnymi funkcjonałami
• Itô calculus Rozszerzenie rachunku różniczkowego na procesy stochastyczne.

Logika

• Rachunek logiczny , system formalny, który definiuje język i zasady wyprowadzania wyrażenia z przesłanek
  • Rachunek zdań , określa zasady wnioskowania rządzące logiką zdań
  • Rachunek predykatów , określa zasady wnioskowania rządzące logiką predykatów
  • Rachunek dowodowy , ramy do wyrażania systemów wnioskowania logicznego
    • Rachunek sekwencyjny , rachunek dowodowy dla logiki pierwszego rzędu
    • Cirquent calculus , rachunek dowodowy oparty na strukturach w stylu grafów zwanych cirquents
  • Rachunek sytuacyjny , ramy opisu relacji w systemie dynamicznym
    • Rachunek zdarzeń , model rozumowania o zdarzeniach i ich skutkach
    • Biegły rachunek różniczkowy , model opisu relacji w układzie dynamicznym
• Rachunek relacji , manipulacja relacjami binarnymi z algebrą zbiorów, składanie relacji i transpozycja relacji
• Rachunek epsilon , język logiczny, który zastępuje kwantyfikatory operatorem epsilon
• Rachunek w stylu Fitcha , metoda konstruowania dowodów formalnych stosowana w logice pierwszego rzędu
• Rachunek modalny μ , powszechna logika czasowa używana w formalnych metodach weryfikacji, takich jak sprawdzanie modelu

Medycyna

• Kamień nazębny (zębowy) , złogi soli fosforanu wapnia na zębach, znane również jako kamień nazębny
• Rachunek (medycyna) , kamień powstały w ciele, taki jak kamień żółciowy lub kamień nerkowy

Fizyka

• Bondi k -calculus , metoda stosowana w teorii względności
• Rachunek Jonesa , używany w optyce do opisu światła spolaryzowanego
• Rachunek Muellera , używany w optyce do obsługi wektorów Stokesa, które opisują polaryzację światła niespójnego
• Rachunek operacyjny , używany do rozwiązywania równań różniczkowych powstających w elektronice

Język formalny

• Rachunek lambda , sformułowanie teorii funkcji odruchowych, które ma głębokie powiązania z teorią obliczeniową
  • Rachunek Kappa , przeformułowanie fragmentu pierwszego rzędu typowanego rachunku lambda
  • Rho calculus , wprowadzony jako ogólny sposób jednolitej integracji przepisywania z rachunkiem lambda
• Rachunek procesowy , zestaw podejść do formułowania formalnych modeli systemów współbieżnych
  • Rachunek otoczenia , rodzina modeli dla systemów współbieżnych opartych na koncepcji mobilności agentów
  • Join calculus , teoretyczny model projektowania rozproszonych języków programowania
  • Rachunek π , sformułowanie teorii współbieżnych, komunikujących się procesów
• Rachunek relacyjny , rachunek dla relacyjnego modelu danych
  • Rachunek relacyjny domeny
  • Rachunek krotkowy
• Rachunek rafinacyjny , sposób udoskonalania modeli programów w wydajne programy

Inne znaczenia

• Rachunek pola bitwy, wojskowa kalkulacja wszystkich znanych czynników w procesie podejmowania decyzji i planowania działań
• Rachunek zaniedbania , standard prawny w amerykańskim prawie deliktowym służący do ustalenia, czy naruszono obowiązek staranności
• Felicific calculus , procedura oceny korzyści z działania, według Benthama
• Profesor Rachunek , fikcyjna postać z serii komiksów Przygody Tintina