Kalkulo

El Vikipedio

Kalkulo estas matematikalogika formala sistemo.

Foje oni uzas la vorton kalkulo kiel mallongigo por infinitezima kalkulo.

Jen gravaj kalkuloj:

  • Infinitezima kalkulo - Branĉo de matematiko, kiu entenas la diferencialan kaj integralan kalkulojn, kaj pritraktas la infinitezimojn.
    • Diferenciala kalkulo - Branĉo de matematiko, kiu sin bazas sur la nocioj diferencialo kaj derivaĵo, kaj okupiĝas pri solvado de diferencialaj ekvacioj.
    • Integrala kalkulo - Branĉo de matematiko, kiu okupiĝas pri kalkulado de integraloj kaj malderivaĵoj, kaj pri solvado de diferencialaj ekvacioj.
  • Probablokalkulo - Branĉo de matematiko, kiu okupiĝas pri modeligo de hazardo.
  • Bulea kalkulo
  • Propozicia Kalkulo
  • Predikatkalkulo
  • Lambdokalkulo