Amaliy matematika va informatika


Download 1.33 Mb.
bet129/133
Sana28.07.2020
Hajmi1.33 Mb.
#125007
1   ...   125   126   127   128   129   130   131   132   133
Bog'liq
Amaliy matematika va informatika


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



Download 1.33 Mb.

Do'stlaringiz bilan baham:
1   ...   125   126   127   128   129   130   131   132   133




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling