Siteadmin, Bureaucrats, Check users, nsAm_Govt_101RO, nsAm_Govt_101RW, nsAm_Govt_101_ta, nsJudgesRO, nsJudgesRW, nsJudges_talkRO, nsJudges_talkRW, nsTeam2RO, nsTeam2RW, nsTeam2_talkRO, nsTeam2_talkRW, oversight, Administrators
125,790
edits
Changes
Jump to navigation
Jump to search
Line 1:
Line 1: − ::The word "calculus" has historically had a much more general meaning than at present. It means "a method or 'trick' for calculating something". (The word means "little stone" in Latin, referring to the use of pebbles for counting.) Among the types of calculus are:+
no edit summary
{{Math-h}}
{{Math-h}}
The word "'''calculus'''" has historically had a much more general meaning than at present. It means "a method or 'trick' for calculating something". (The word means "little stone" in Latin, referring to the use of pebbles for counting.) Among the types of calculus are:
:::*'''[[Propositional calculus]]'''—a notation for proving theorems about logical expressions.
:::*'''[[Propositional calculus]]'''—a notation for proving theorems about logical expressions.
:::*'''Predicate calculus'''—a notation for proving theorems about functions in [[set theory]].
:::*'''Predicate calculus'''—a notation for proving theorems about functions in [[set theory]].