Злічэнне
Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі.
![]() |
Гэта — накід артыкула. Вы можаце дапамагчы Вікіпэдыі, напісаўшы яго, для гэтага націсьніце спасылку «Рэдагаваць». |
Злічэ́нне – фармальная (аксіяматычная) матэматычная тэорыя, якая задаецца чацвёркай < A,S,D,R > , дзе A – алфавіт, S – мноства сінтаксічных правілаў (формулы), D – мноства аксіём, R – мноства правілаў вываду. Такім чынам пара < A,S > задае фармальную мову без семантыкі, а < D,R > – пачатковую інфармацыйную канструкцыю і аперацыі, якія дазваляюць пераходзіць да наступных інфармацыйных канструкцый.
Асобнымі выпадкамі злічэнняў з'яўляюцца:
- злічэнне выказванняў,
- злічэнне прэдыкатаў,
- дыферынцыяльнае злічэнне,
- інтэгральнае злічэнне і іншыя