4) Bilimlarni formallashtirish
Mantikiy metodlar (I tartibli predikatlarni hisoblash va boshkalar)
Mahsuliy modellar
Semantik tarmoklar
Freymlar;
Sinflar, ob’ektlar va boshka ierarhiyalarga asoslangan ob’ektga-yunaltirilgan tillar:
Bilimlarni formallashtirish bu bir tomondan bilimlar maydoni tuzilmasiga mos keluvchi, ikkinchi tomondan ED timsolini dasturiy realizastiyaning navbatdagi boskichida realizastiya kilish imkonini beradigan tildagi bilimlar bazasini ishlab chikishdir.
Davomiyligi urtacha 1-2 oy
5) Amalda tatbik etish:
(Bilimlar bazasi va boshka bloklar yaratiladi)
Paskal, Si va boshka an’anaviy tillarda dasturlash.
Sun’iy intellekt masalalarida kullaniladigan mahsus tillarda dasturlash: (LISP, FRL, Small Talk va boshkalar)
ED ishlanmasida Mathcad, Matlab va boshka instrumental vositalardan foydalanish.
ED kobiklarbdan foydalanish;
Gibrid yondashuv.
Joriy qilish - yondashuvni butunligicha hayotiyligini namoyish etuvchi dasturiy kompleksni ishlab chikish.
(Davomiyligi o’rtacha 1-2 oy)
6) Testdan o`tkazish
Kiritish va chikarish interfeyslarining kulayligi va adekvatligi (mulokotdagi savollarning har Elektron qo`llanmalar eri, chikuvchi mavzu, natija va hokazolarning o`zaro boglikligi)
Boshkaruv strategiyasining samaradorligi (tanlov tartibi va boshkalar)
Tekshiruvchi misollarning sifati;
Bilimlar bazasining korrektligi (koidalarning tulaligi va karama-karshi bulmasligi).
Testlashtirish - timsolni yaratish yondashuvida va uni joriy kilishda hatolarni aniklash va yaratilgan tizimni sanoat variantigacha keltirish uchun tavsiyalar ishlab chikish.
Kasb-hunar kollejlarida bir necha turdagi elektron qo`llanmalardan foydalaniladi. Shunday qo`llanmalardan biri Buxoro Tibbiyot instituti qoshidagi 1-sonli Akademik litsey o`qituvchisi narzullayev N.M tomonidan tayyorlangan bo’lib, uning “Termodinamika 0elementlari” va “Termodinamika qonunlari” ga bag`ishlangan qismini quyida keltiramiz.
Bunda har bir mavzu reja asosida berilgan bo`lib rejalarga gippersilga berilgan va u orqali darslikdagi matn va formulalarning keltirilib chiqarilishi animatsiyalar yordamida bayon qilingan.
Shu qo`llanmani biz namoyish etib ko`rsatishimiz mumkin. Elektron qollanmalarda 1-2-3 darajali testlar (qiyinlik darasiga qarab) hamda uyga vazifalar ham kiritilgan.
2.3. Termodinamika elementlari
|
