Kalkul (disambiguation) - Calculus (disambiguation)

Počet (z latinský počet což znamená „oblázek“, množné číslo calculī ) v nejobecnějším smyslu je jakákoli metoda nebo systém výpočet.

Počet může odkazovat na:

Matematika

• Infinitezimální počet (nebo jednoduše Počet ), které zkoumají pohyb a rychlosti změn
  • Diferenciální počet
  • Integrální počet
  • Nestandardní počet, přístup k nekonečně malému počtu pomocí Robinsonových nekonečných čísel
• Počet součtů a rozdílů (operátor rozdílu ), nazývaný také kalkul konečné diference, diskrétní analogie „kalkulu“
• Funkční počet, způsob použití různých typů funkcí na operátory
• Schubertův počet, obor algebraické geometrie
• Tenzorový počet (také nazývaná tenzorová analýza), zobecnění vektorového počtu, které zahrnuje tenzorová pole
  • Vektorový počet (nazývaná také vektorová analýza), obsahující specializované notace pro multivariační analýzu vektorů v prostoru vnitřního produktu
  • Maticový počet, specializovaná notace pro více proměnný počet nad prostory matic
• Numerický počet (také nazývaná numerická analýza), studium numerických aproximací
• Pupeční kalkul, kombinatorika určitých operací na polynomech
• The variační počet, obor zabývající se extremizujícími funkcionály

Logika

• Logický počet, formální systém, který definuje jazyk a pravidla pro odvození výrazu z premís
  • Výrokový počet, specifikuje pravidla odvození, která řídí logiku výroků
  • Predikční počet, určuje pravidla pro odvození, která řídí logiku predikátů
  • Důkazní kalkul, rámec pro vyjádření systémů logické inference
    • Sekvenční počet, důkazní kalkul pro logiku prvního řádu
    • Obvodový počet, důkazní kalkul založený na strukturách ve stylu grafu obvody
  • Situační kalkul, rámec pro popis vztahů v dynamickém systému
    • Počet událostí, model pro uvažování o událostech a jejich účincích
    • Plynulý počet, model pro popis vztahů v dynamickém systému
• Počet vztahů, manipulace binárních vztahů s algebrou množin, složení vztahů a transpoziční vztahy
• Epsilonový počet, logický jazyk, který nahrazuje kvantifikátory operátorem epsilon
• Fitchův kalkul, metoda konstrukce formálních důkazů používaných v logice prvního řádu
• Modální μ-kalkul, běžná časová logika používaná formálními ověřovacími metodami, jako je kontrola modelu

Fyzika

• Bondi k-počet, metoda používaná v teorii relativity
• Jonesův počet, používaný v optice k popisu polarizovaného světla
• Muellerův počet, který se v optice používá ke zpracování Stokesových vektorů, které popisují polarizaci nekoherentního světla
• Provozní počet, který se používá k řešení diferenciálních rovnic vznikajících v elektronice

Formální jazyk

• Lambda kalkul, formulace teorie reflexních funkcí, která má hluboké vazby na výpočetní teorii
  • Kappa kalkul, přeformulování fragmentu prvního řádu typizovaného lambda kalkulu
  • Rho kalkul, představený jako obecný prostředek k jednotné integraci přepisování do lambda kalkulu
• Procesní počet, soubor přístupů k formulování formálních modelů souběžných systémů
  • Ambientní počet, rodina modelů pro souběžné systémy založená na konceptu mobility agentů
  • Připojte se k počtu, teoretický model pro návrh distribuovaných programovacích jazyků
  • π-počet, formulace teorie souběžných komunikačních procesů
• Relační počet, počet pro relační datový model
  • Relační počet domén
  • Tuple počet
• Zušlechťovací počet, způsob rafinace modelů programů na efektivní programy

Jiné významy

• Zubní kámen (zubní), usazeniny solí fosforečnanu vápenatého na zubech, také známé jako zubní kámen
• Kalkul (lék), kámen vytvořený v těle, jako je žlučový kámen nebo ledvinový kámen
• Počet bitevních polí, válečný výpočet všech známých faktorů do procesu rozhodování a plánování akcí
• Počet (pavouk), rod z čeledi Oonopidae
• Počet kaseolů, rod a druh malých suchozemských hlemýžďů
• Profesorský kalkul, románová postava v seriálu komiksů Tintinova dobrodružství
• Kalkul nedbalosti, právní norma v americkém zákoně o občanskoprávních deliktech, která určuje, zda byla porušena povinnost péče
• Felicific počet, postup k vyhodnocení přínosu akce, tvrdí Bentham

Stránka disambiguation poskytující odkazy na témata, na která by mohl odkazovat stejný hledaný výraz Tento rozcestník stránka uvádí články spojené s titulem Počet. Pokud interní odkaz dovedl vás sem, možná budete chtít změnit odkaz tak, aby odkazoval přímo na zamýšlený článek.