bu yerda  - mavjudlik kvantori;  - qo’shimcha masala;  - funksional o’zgaruvchi.
Demak, dasturni strukturali sintez qilish usulida har bir aniq masala sharti faqat masala ma’lumotlari isbotlanishi kerak bo’lgan maxsus deduktiv tizimlarni beradi.
Bu bir cheklangan shakldagi aksiomalarni qaralayotgan maxsus nazariyalarda ishlatadi
Do'stlaringiz bilan baham: |
