prinsiplarini, matematik mantiqdagi formal xulosa qilish qoidalarini
bilish mazkur
fanni o’zlashtirish uchun bazis vazifasini o’taydi. Boshqa tomondan, dasturlash
asoslari fanini o’zlashtirish
orqali ijtimoiy, gumanitar va tabiiy fanlarning ko’pgina
tadbiqiy masalalarini komputerda modellashtirish orqali yechish va tadqiq
qilish
imkonini beradi.
7