Bilimlar modeli

Bilimlar modeli Reja: Bilimlar, bilimlarni namoyish etish; Kategoriya, funktor; Semantik tarmoq. Bilimlarni rasmiylashtirish - bu bilimlarni namoyish etish va qabul qilishga qoidalarning konstruktiv sistemasini qo'llash. Rasmiylashtirilmaydigan bilimlar - bu nomalum (rasmiylashtirilmagan) qoidalarni qo'llash orqali olinadigan bilimlar. Bilimlarning sinflanishi: Tushunchali; Konstruktiv; Jarayonli; Faktografik; Metabilimlar. Bilimlar namoyishining maqsadi - axborotni quyidagi ko'rinishlarda ifodalash : Informativ xabarlar; Og'zaki nutq jumlalari; Yozma nutq jumlalari; Kitoblar sahifalari va ma'lumotnomalar tushunchalari; geografik karta obyektlari, rasmlar va kartina personajlari. Kategoriya va funktorlar - bilimlarni qatiy rasmiylashtirish uchun istiqbolli vositalar Kategoriya - bu ekvivalentlik, invariantlik va boshqa xossalarni bayon etishga imkon beradigan, kategoriya obyektlari va o'zgartirishlar, M- maxsus turdagi o'zgartirish morfizmlari deb ataladigan S elementlar (tashkil etuvchilar, xarakteristikalar, parametrlar, xossalar) to'plamidir. Funktor - bu kategoriya tushunchasining umumlashtirilganligidir. Funktor -semantik operatsiyasining analogi. Bilimlarni namoyish etishning asosiy modellaridan biri bu bilimlarni semantik tarmoqlar ko'rinishida ifodalashdir. Semantik tarmoq - bu yo'naltirilgan grafli tasnif, uning har bir uchi qandaydir bir tushunchani (obyekt, jarayon, holat) ifodalaydi, graf qirralari esa bu , tegishli, sababi, ga kiradi, iborat, kabi va shunga o'xshash juftlik tushunchalar o'rtasidagi holatlar turiga mos keladi. Semantik tarmoqlarning ijobiy tomoni - unda bilimlarning ko'rgazmali namoyish etilishidir. Uning kamchiligi -chiqishning, tegishli savolga grafni topishning qiyinligi. ...