1-mavzu: Kirish uslubmetdiReja

Savodxon dasturlash
Savodxon yoki adabiy dasturlash taniqli kompyuter olimi Donald Knut tomonidan taklif qilingan kodni o'z-o'zini hujjatlashtirish texnologiyasidir. U ushbu nom ostida kitob yozdi, unda u ushbu texnologiyani tasvirlab berdi (Knuth 92). Bu an'anaviy dasturlash modeliga radikal alternativa, ammo ba'zilar yaxshi dasturlash davri Knutning karerasidagi katta muvaffaqiyatsizlik deb hisoblashadi.
Asosiy g'oya oddiy: dastur emas, balki hujjat yozishingiz kerak. Hujjatlar tili dasturlash tili bilan chambarchas bog'liq. Hujjatingizda asosan dasturlashtirilgan narsa tasvirlangan, ammo baribir kerakli dasturga kompilyatsiya qilish mumkin. Shunday qilib, manba kodi hujjatdir va aksincha.
Manbalar
· dasturlash paradigmasi. [2018-2018] .URL: http://ccfit.nsu.ru/~shadow/DT6/pdf/lecture_2_1_paradigms.pdf (kirish sanasi: 02.12.2018).
· · Paradigmani dasturlash // Albest. [2000-2018]. Yangilangan sana: 16.12.2014.URL: https://otherreferats.allbest.ru/programming/00498870_0.html (kirish sanasi: 02.12.2018).
· · Dasturlash paradigmalari. [2018-2018] .URL: http://ccfit.nsu.ru/~shadow/DT6/pdf/lecture_2_1_paradigms.pdf (kirish sanasi: 02.12.2018).
· · Mantiqiy dasturlash // StudFiles [2015-2019] .URL: https://studfiles.net/preview/2975967/page:42/ (kirish sanasi: 11.01.2019).
· · Strukturaviy dasturlash // StudFiles. [2015—2019] .URL: https://studfiles.net/preview/4290050/ (kirish sanasi: 11.01.2019).
· · Umumlashtirilgan dasturlash // StudFiles [2015-2019] .URL: https://studfiles.net/preview/2081779/page:2/ (kirish sanasi: 11.01.2019).
Mavzu: Dasturlash paradigmalarini qo’llab quvvatlash

Ushbu ma’ruzada dasturlash tili qanday qilib aniqlanadi va uning dasturlash tizimlarida qo’llanilishi va turli paradigmalarni qo’llab-quvvatlanishi bayon qilingan. Dasturlash tillarini aniqlash va uning kengaytmaylarini dasturlash tizimlarida amalga oshirshning usul va vositalari ko’rib chiqilgan. Misol tariqasida PureLisp va Pascal dasturlash tillari olingan.

Odatda dasturlash tili leksika, sintaksis, semantika va pragmatika darajalarida tavsiflanadi. Dasturlash semantikasi uchun dasturiy tizimlarni qo’llanilishi interpretator yoki kompilyator sifatida amalga oshiriladi.
Sintaktik jihatdan o’xhshash bo’lgan dasturlash tillarini ularni boshqa tizmga ko’chirish uchun tayyorlash va almashtirish qulay bo’lishi mumkin.
Dasturlash tillari va dasturlash tizimlarini tavsiflash muammolari dasturlash tillarini tavsiflashning vengercha metodi bilan hal etilgan. Bu metodika 60-yillarning oxirida ishlab chiqilgan. Uning asosiy g’oyasi- abstrakt sintaksis va abstrakt mashinada dasturlash tilining semantikasini tavsiflashda foydalanish.