Mulohazalar hisobida uch kategoriyali simvollardan iborat alfavit qabul qilinadi: Birinchi kategoriya simvollari

Masalani yechish senariyasi. Berilgan masalani yechish ucun quyidagi vositalarni hosil qilish lozim:

1) masala yechish funksiyasi – aniqlangan formal tavsiflar bo’yicha tuzilgan Zmasalani yechish algoritmi:

• 
  Masalani tipini tanlash;
  
• 
  Kiritilgan ma’lumotlar analizi;
  
• 
  Masala holatini analizi;
  

2) funksional modul bu dasturiy kompleksnig muloqat muhiti bo’lib, ma’lumotlar bilan ishlash bo’yicha xizmatchi funkiyani amalga oshiradi, ya’ni kiritish, chiqarish, tanlash, ko’rish, yozish va boshqa vositalar.

• 
  “Uchburchak” punktlaridan birini tanlash;
  
• 
  Tanlangan qism bo’yiha mos dasturga boshqarishni uzatish;
  
• 
  Yechilish jarayonini yozish uchun masala faylini tanlash;
  
• 
  Masala turiga qarab shakllarning xilini tanlash;
  
• 
  Berilgan parametrlarni tanlash va kiritish;
  
• 
  Masalani bajarishga uzatish;
  
• 
  Listing-faylga yechish jarayoni va natijani yozish;
  

3) amaliy modul – bu dasturiy kompleks qismi bo’lib, “Masala yechish funksiyasi” asosida aniq masala yechishni amalga oshiradi.

4) masalani natijasi saqlanadi.

• 
  Chiqish faylini tashkil etish;
  
• 
  MB katalogida masala faylini regestratsiya qilish;
  

5) masala yechish protokoli

- Aniqlangan strukturalar bo’yicha tuzilgan masala yechiminig analitik matni hosil qilish.