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


Download 12.85 Kb.
bet8/11
Sana18.01.2022
Hajmi12.85 Kb.
#389374
1   2   3   4   5   6   7   8   9   10   11
Bog'liq
Dasturlash tillari va ularning klassifikatsiyasi. “Informatika o-fayllar.org
110 баллик Услубий кулланма 2019 й 30.08, 206 guruh, 1 МАВЗУ 3, 1-amaliy, Чет тили ўқитиш методикаси 3 курс, ReadMe UzTransLit, Sevinch, Банк аризаси1, 000000000000000000000000, 1 Labarotoriya ishi, 1-мав.эвол., 2 5377577621875852760, 2- mavzu (1), 1-Amaliy, 1-mavzu. To’plamlar nazariyasining

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 12.85 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 2022
ma'muriyatiga murojaat qiling