Dərs vəsaiti Bakı Slavyan Universteti Elmi Şurasının 27 aprel 2017-ci IL tarixli

İnformasiya modelləri və formallaşdırmanın
öyrədilməsi metodikası.
Formallaşdırma anlayışını
nəzərdən keçirərkən müəllim qeyd etməlidir ki,
informasiya modellərini qurmaq üçün müxtəlif üsul
və alətlərdən istifadə etmək olar. Bu məqsədlə təbii
dillərdən və şəkillərdən istifadə edilir. Lakin bu halda
həmin proseslərin kəmiyyət xarakteristikalarına
baxılmır. Ona görə də, riyaziyyatçılar, fiziklər,

---

Xumar Novruzova                İnformatikanın tədrisi metodikası
- 113 -
kimyaçılar obyekt, hadisə və prosesin riyazi
modellərini hazırlayırlar. Bu modellərdə düsturlardan,
həndəsi fiqurlardan, başqa sözlə formal dildən istifadə
olunur. Buna misal olaraq kimyəvi reaksiyaların
düsturlarını, notlarla yazılmış musiqini, hətta
smaylikləri göstərmək olar.
Bundan sonra formallaşdırmaya tərif verilir.
Formallaşdırma – formal dillərin köməyilə infor-
masiya modelinin qurulması prosesidir. Alqoritmlərin
qurulması da formallaşdırmanın bir növüdür.