Дастурлаш услублари ва парадигмалар

Лаборатория машғулотлар бўйича кўрсатма ва тавсиялар

Лаборатория машғулотлар учун қўйидаги мавзулар тавсия этилади:

1. 
   Дастурлаш парадигмаларини ишлаб чикиш
   
2. 
   Семантика
   
3. 
   Парадигмаларнинг аниқловчиси
   
4. 
   Ишлаб чиқариш макротехнологияси
   
5. 
   Жараёнларни бошқариш тиллари
   
6. 
   Императив процедураларнинг функционал модели
   
7. 
   Техник хусусиятлари
   
8. 
   Хариталар ва функциялар (С++ да)
   
9. 
   Техник хусусиятлари (Спецификация)
   
10. 
    Мантикий дастурлаш
    
11. 
    Пролог декларатив дастурлаш тили
    
12. 
    ОЙДТ нинг функционал моделлари
    
13. 
    Мултипарадигма дастурлаш тиллари
    
14. 
    Амалий дастурлаш тизимлари
    
15. 
    Юкори даражали дастурлаш тиллари
    

Лаборатория машғулотлар мультимедия қурилмалари билан жиҳозланган аудиторияда бир академик гуруҳга бир профессор-ўқитувчи томонидан ўтказилиши зарур. Машғулотлар афаол ва интерактив усуллар ёрдамида ўтилиши, мос равишда муносиб педагогик ва ахборот технологиялар қўлланилиши мақсадга мувофиқ.

3. 
   Мустақил таълим ва мустақил ишлар
   

Мустақил таълим учун тавсия этиладиган мавзулар:

1. 
   Операцион прагматика
   
2. 
   Маълумотлар таркиби
   
3. 
   Aмалга ошириш прагматикаси
   
4. 
   Ишлаб чиқариш макротехнологияси
   
5. 
   Жараённи бошқариш тиллари
   
6. 
   Структурали дастурлаш
   
7. 
   ИП функционал модели
   
8. 
   Амалий дастурлаш тизимлари
   
9. 
   Aтомларнинг хоссалари
   
10. 
    Мослашувчан интерпретатор
    
11. 
    MONAD ларнинг ўзаро таъсирининг функционал модели
    
12. 
    Операцион семантика
    
13. 
    Недетерминизм моделлар
    
14. 
    Мавҳум машина
    
15. 
    ОЙД функционал моделлари
    
16. 
    Мультипарадигмал дастурлаш тиллари
    
17. 
    Параллел алгоритмлар
    
18. 
    Дастурлаш тилларида паралеллик моделлари
    
19. 
    Ултра юқори даражали тиллар
    
20. 
    Юқори самарали дастурлаш
    
21. 
    Трансформацион семантика