ЗЛІЧЭ́ННЕ,
сістэма правіл аперыравання са знакамі пэўнага віду, якая дазваляе даць дакладнае апісанне некаторага класа задач і алгарытмы іх рашэння; спосаб утварэння якой-н. сукупнасці (мноства) элементаў на аснове правіл атрымання новых элементаў з зададзеных зыходных. Мае фундаментальны характар, як і паняцце алгарытму. Узнікла і развівалася ў рамках матэматыкі (
У матэматычнай логіцы любое З. адназначна задаецца зыходнымі элементамі (алфавітам З.), правіламі ўтварэння формул дадзенага З. (
Літ.:
Гильберт Д., Аккерман
Методологические проблемы развития и применения математики.
Жуков Н.И. Философские основания математики. 2 изд.
С.Ф.Дубянецкі.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)