2.Modellarni rasmiylashtirish. Modellarni rasmiylashtirish. Axborot modellarini u yoki bu shaklda ifodalash uchun tabiiy va rasmiy tillardan foydalaniladi. Ta'riflovchi axborot modellarini yaratish uchun tabiiy tillar qo'llaniladi. Formal axborot modellari (matematik, mantiqiy va boshqalar) formal tillar yordamida quriladi. Eng ko'p ishlatiladigan rasmiy tillardan biri matematikadir. Matematika tili rasmiy tillar to'plamidir. Ularning ba'zilari (algebra, geometriya, trigonometriya) bilan maktabda tanishasiz, boshqalari bilan (to'plamlar nazariyasi, ehtimollar nazariyasi va boshqalar) keyingi ta'lim jarayonida tanishishingiz mumkin bo'ladi.Algebra tili kattaliklar orasidagi funksional munosabatlarni rasmiylashtirish imkonini beradi. Shunday qilib, Nyuton mexanika qonunlari va butun olam tortishish qonunini kashf etib, ularni algebraik funksional bog’liqliklar ko’rinishida yozib, dunyoning geliotsentrik tizimini rasmiylashtirdi. Maktab fizikasi kursida o'rganilayotgan hodisa yoki jarayonlarning matematik modellari bo'lgan algebra tilida ifodalangan ko'plab turli funktsional bog'liqliklar ko'rib chiqiladi. Mantiq algebrasi tili (takliflar algebrasi) rasmiy mantiqiy modellarni qurish imkonini beradi. Taklif algebrasi yordamida siz rasmiylashtirishingiz mumkin (shaklda yozing mantiqiy ifodalar) tabiiy tilda ifodalangan sodda va murakkab gaplar. Mantiqiy modellarni qurish mantiqiy masalalarni yechish, kompyuter qurilmalarining mantiqiy modellarini qurish (toplayıcı, trigger) va hokazo. Modellarni rasmiylashtirish. Modellarni rasmiylashtirish.Rasmiy tillardan foydalangan holda axborot modellarini yaratish jarayoni rasmiylashtirish deb ataladi. Atrofdagi dunyoni bilish jarayonida insoniyat doimo modellashtirish va rasmiylashtirishdan foydalanadi. Yangi ob'ektni o'rganishda birinchi navbatda uning tavsifiy axborot modeli odatda tabiiy tilda quriladi, keyin u rasmiylashtiriladi, ya'ni rasmiy tillar (matematika, mantiq va boshqalar) yordamida ifodalanadi. Tarkibi Modellarni rasmiylashtirish. Modellarni rasmiylashtirish.