Dasturlash tillari va ularning klassifikatsiyasi. “Informatika o’qitish metodikasi”


Download 11.05 Kb.
bet8/11
Sana12.11.2021
Hajmi11.05 Kb.
1   2   3   4   5   6   7   8   9   10   11

Paskal programmalash tili, zamonaviy programmalashda muhim ahamiyatga ega bo‘lgan, programmalarning to‘g‘riligini isbotlovchi analitik usullarning taraqqiy topishida katta rol o‘ynadi. U hozirgi kungacha programmalashning to‘g‘riligini isbotlashga imkon beradigan programmalash sistemalariga ega bo‘lgan yagona tildir. Paskal programmalash tili, programmaning qismlari yoki butun programma to‘g‘risida turli xil mulohazalarni isbotlashni ta’minlaydigan, yaxshi matematik apparatga asoslangan. K. Xoarning aksiomatik sistemalari yordamida ifodalanadi. Programmalarni ishlashini "sozlash"ning eski usullari o‘rniga, hozirgi paytda paydo bo‘layotgan programmalarning to‘g‘riligini tekshiradigan avtomatik sistemalardan foydalanish maqsadga muvofiqdir.


Download 11.05 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8   9   10   11




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2020
ma'muriyatiga murojaat qiling