302-mat/info guruhi talabasi Jumayeva Muyassarning Bilimlarni tasvirlash modellari: to‘rli mavzusida tayyorlagan

302-mat/info guruhi talabasi Jumayeva Muyassarning Bilimlarni tasvirlash modellari: to‘rli mavzusida tayyorlagan

Kompyuter yordamida ishlab chiqarishni loyihalash sohasida bilimlarni samarali taqdim etish axborotni to'plash, tartibga solish va undan samarali foydalanish uchun juda muhimdir. Bilimlarni namoyish qilish modellari kompyuter tizimidagi bilimlarni ifodalash va boshqarish uchun tuzilgan tizimni ta'minlaydi. Ushbu maqola turli bilimlarni tasvirlash modellari: mantiqiy, to‘rli, freymli, produksion oid ishlarni kompyuterda loyihalashni o’rganadi.

• Kompyuter yordamida ishlab chiqarishni loyihalash sohasida bilimlarni samarali taqdim etish axborotni to'plash, tartibga solish va undan samarali foydalanish uchun juda muhimdir. Bilimlarni namoyish qilish modellari kompyuter tizimidagi bilimlarni ifodalash va boshqarish uchun tuzilgan tizimni ta'minlaydi. Ushbu maqola turli bilimlarni tasvirlash modellari: mantiqiy, to‘rli, freymli, produksion oid ishlarni kompyuterda loyihalashni o’rganadi.

Bilimlarni tasvirlash – bu figuralar, yozuvlar va tillar asosida chin mulohazalarni formallashtirishdir[1-3]. Bizni asosan EHM qabul qiluvchi (anglovchi) formallashtirishlar qiziqtiradi. EHM xotirasida bilimlarni tasvirlash, ya’ni bilimlarni tasvirlashda tillar va formallashtirishlarni yaratish haqida savollar kelib chiqadi. Ular bu tasavvurlarimizni nutq va tasvir orqali, tabiiy til asosida tuzilgan ingliz yoki nemis tili, formal til, algebra yoki mantiq, mulohaza va h.k. lar asosida EHMga kiritish va qayta ishlash imkonini yaratadi. Formallashtirishning natijasi dasturlash tilining qismini tashkil etuvchi ko`rsatmalar to`plamidan iborat bo`lishi kerak. Bilimlarni tasvirlashga taalluqli passiv aspektga kitob, jadval, ma’lumot bilan to`ldirilgan xotira kiradi. SIda tasvirlashning quyidagi aspektrlari belgilanadi: bilish faol operatsiyalardan biri bo`lib, nafaqat bilimlarni saqlash, balki olingan bilimlar asosida fikr yuritish imkonini beradi. Shuningdek, bilimlarni tasvirlash manbai - fanda anglashni, uning oxirgi maqsadi esa – informatikaning dasturiy vositalari hisoblanadi. Bilimlarni tasvirlashning ko‘plab formal tizimlari mavjud bo‘lib, ular bilimlarni tasvirlash modellari yoki tillari deb yuritiladi (1-rasm).

• Bilimlarni tasvirlash – bu figuralar, yozuvlar va tillar asosida chin mulohazalarni formallashtirishdir[1-3]. Bizni asosan EHM qabul qiluvchi (anglovchi) formallashtirishlar qiziqtiradi. EHM xotirasida bilimlarni tasvirlash, ya’ni bilimlarni tasvirlashda tillar va formallashtirishlarni yaratish haqida savollar kelib chiqadi. Ular bu tasavvurlarimizni nutq va tasvir orqali, tabiiy til asosida tuzilgan ingliz yoki nemis tili, formal til, algebra yoki mantiq, mulohaza va h.k. lar asosida EHMga kiritish va qayta ishlash imkonini yaratadi. Formallashtirishning natijasi dasturlash tilining qismini tashkil etuvchi ko`rsatmalar to`plamidan iborat bo`lishi kerak. Bilimlarni tasvirlashga taalluqli passiv aspektga kitob, jadval, ma’lumot bilan to`ldirilgan xotira kiradi. SIda tasvirlashning quyidagi aspektrlari belgilanadi: bilish faol operatsiyalardan biri bo`lib, nafaqat bilimlarni saqlash, balki olingan bilimlar asosida fikr yuritish imkonini beradi. Shuningdek, bilimlarni tasvirlash manbai - fanda anglashni, uning oxirgi maqsadi esa – informatikaning dasturiy vositalari hisoblanadi. Bilimlarni tasvirlashning ko‘plab formal tizimlari mavjud bo‘lib, ular bilimlarni tasvirlash modellari yoki tillari deb yuritiladi (1-rasm).