calculus Hear it!

calculus Definition

cal·cu·lus (kal′kyo̵̅o̅ ləs, -kyə-)

noun pl. -·li′-lī′ or -·luses

  1. any abnormal stony mass or deposit formed in the body, as in a kidney or gallbladder or on teeth
  2. Math.
    1. any system of calculation using special symbolic notations
    2. infinitesimal calculus

Etymology: L: see calculate

calculus Synonyms

calculus

n.

calculation, computation, analysis; see mathematics.

calculus Usage Examples

Preposition: of

  • variation: Calculus of variations considers the notion of optimizing an integral where the quantity to be varied is a function.

Converse of object

  • invent: To calculate accurately the motion of the Earth around the Sun, Isaac Newton was inspired to invent calculus.
  • apply: In 1702 he applied the calculus to clocks driven by a spring.
  • discover: For example the controversy over whether Newton or Leibniz discovered the calculus first can easily be answered.
  • extend: It enables us to extend matrix algebra calculus in an easy way.
  • introduce: Have you suggestions for the best way to introduce calculus?
  • type: Semantic analysis or normalization by evaluation for typed lambda calculus.

Adjective modifier

  • sequent: Recently, I started working on X, a calculus based on the sequent calculus for Classical Logic.
  • propositional: The satisfiability problem for the propositional calculus; Cook's theorem.
  • predicate: Such a question is irrelevant at the level of predicate calculus.
  • infinitesimal: The term " derivative, taken from infinitesimal calculus, refers to an isolated aspect, or " function " of a real quantity.
  • stochastic: Overview of the thesis Chapter 2 is an introduction to stochastic calculus.
  • variational: John has worked on a range of topics related to Hamiltonian mechanics and variational calculus, and in particular their application to water waves.

Modifies a noun

  • course: Adams Calculus is aimed at the upper end of the three semester calculus course.

Noun used with modifier

  • lambda: The theory is a strictly smaller theory than the lambda calculus.
  • pi: Pi calculus systems are evolving to become the new wave of software infrastructure to manage business processes.
  • tensor: They constitute the first step toward the conception of tensor calculus.
  • predicate: We extend their result to more general structures of first order predicate calculus.
  • first-order: The combinatorics was introduced by Ramsey to solve a special case of the decision problem for the first-order predicate calculus.
  • refinement: In Morgan's refinement calculus it appears with respect to initial variable values.