Символикалық логика

lat: Sımvolıkalyq logıka

м а т. Логикалық қорытындыларды қатаң символикалық тілдің негізіндегі логикалық есептеулер арқылы зерттейтін логиканың тармағы; математикалық логика. С и м в о л и к а л ы қ л о г и к а н ы ң дамуының негізгі ынталандырушысы математиканың негіздемелері мәселесі болды (ҚҰЭ).

Қазақ әдеби тілінің сөздігі. Он бес томдық. 13-том / Құраст. А. Фазылжанова, Н. Оңғарбаева, Қ. Ғабитханұлы және т.б. - Алматы, 2011. - 752 б.

Telegram мессенджерін жиі қолданасыз ба?