К содержанию
CiteXCiteX — научный поиск с источниками
РецензированоUZ2022

BILIMLARNI TAQDIM ETISH MODELLARI

Amridinov

Учебная литература · 2022

Аннотация

Ma'lumki, yuqorida ko'rilgan bilimlarni taqdim etishning barcha usullari mahsuliy(produksion) bilan birga formal bo'lmagan modellarga kiradi. Qat'iy matematik nazariyaga asoslangan formal modellardan farqli ravishda, formal bo'lmagan modellar bunday nazariyaga asoslanmaydi. Har bir formal bo'lmagan model faqat aniq bir predmet soha uchun yaroqli bo'ladi va shuning uchun formal modellarga xos bo'lgan universallikka ega emas. SI tizimlaridagi asosiy operasiya - mantiqiy xulosa - formal tizimlarda qat'iy va to'g'ri, chunki qat'iy aksiomatik qoidalarga bo'ysunadi. Formal bo'lmagan tizimlarda xulosa chiqarish ko'p hollarda uni to'g'riligiga javob beradigan tadqiqotchi tomonidan aniqlanadi.

Доказательный фрагмент

«Ma'lumki, yuqorida ko'rilgan bilimlarni taqdim etishning barcha usullari mahsuliy(produksion) bilan birga formal bo'lmagan modellarga kiradi.»

Образец извлечения

Демо-превью

Ma'lumki, yuqorida ko'rilgan bilimlarni taqdim etishning barcha usullari mahsuliy(produksion) bilan birga formal bo'lmagan modellarga kiradi. Полный текст публикации CiteX не хранит — доступ к первоисточнику открывается по DOI согласно лицензии издателя и выбранному плану.

DOI не указан
Цитирований
0
Тип
Журнал
Страна
Узбекистан
Спросить CiteX об этой работе

Смежные источники