Зьлічэньне

Зьлічэ́ньне – фармальная (аксіяматычная) матэматычная тэорыя, якая задаецца чацьвёркай $<A,S,D,R>$, дзе A – альфабэт, $S$ – мноства сынтаксічных правілаў (формулы), $D$ – мноства аксіём, $R$ – мноства правілаў вываду. Такім чынам пара $<A,S>$ задае фармальную мову без сэмантыкі, а $<D,R>$ – пачатковую інфармацыйную канструкцыю і апэрацыі, якія дазваляюць пераходзіць да наступных інфармацыйных канструкцый.

Асобнымі выпадкамі зьлічэньняў зьяўляюцца:

• зьлічэньне выказваньняў,
• зьлічэньне прэдыкатаў,
• дыфэрэнцыйнае зьлічэньне,
• інтэгральнае зьлічэньне і іншыя