Зьлічэньне (неадназначнасьць)

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

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

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

Гэтая назва мае некалькі сэнсаў. Калі ласка, выберыце той, які Вас цікавіць. Калі вы патрапілі сюды зь іншай старонкі Вікіпэдыі, калі ласка, вярніцеся і выпраўце спасылку на патрэбную.