Злічэнне

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі.



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

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