Зьлічэньне

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі
Перайсьці да навігацыі Перайсьці да пошуку

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

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