Тизимли таҳлилнинг ривожланиш тарихи, предмети, мақсади

I Билимлар, билимларни намойиш этиш;
II Категория, функтор;
III Семантик тармоқ.
Билимларни расмийлаштириш – бу билимларни намойиш этиш ва қабул
қилишга қоидаларнинг конструктив системасини қўллаш.
Расмийлаштирилмайдиган билимлар – бу номаълум (расмийлаштирилмаган)
қоидаларни қўллаш орқали олинадиган билимлар.
Билимларнинг синфланиши
:
n
Тушунчали;
n
Конструктив;
n
Жараёнли;
n
Фактографик;
n
Метабилимлар.
Билимлар намойишининг мақсади – ахборотни қуйидаги кўринишларда
ифодалаш :
n
Информатив хабарлар;
n
Оғзаки нутқ жумлалари;
n
Ёзма нутқ жумлалари;
n
Китоблар саҳифалари ва маълумотномалар тушунчалари;
n
географик карта объектлари, расмлар ва картина персонажлари.
Категория ва функторлар - билимларни қатъий расмийлаштириш учун
истиқболли воситалар
n
Категория
– бу эквивалентлик, инвариантлик ва бошқа хоссаларни баён
этишга имкон берадиган, категория объектлари ва ўзгартиришлар, М-
махсус турдаги ўзгартириш морфизмлари деб аталадиган S элементлар
(ташкил этувчилар, характеристикалар, параметрлар, хоссалар) тўпламидир.
n
Функтор
– бу категория тушунчасининг умумлаштирилганлигидир.
Функтор –семантик операциясининг аналоги.

---

49
Билимларни намойиш этишнинг асосий моделларидан бири бу билимларни
семантик тармоқлар кўринишида ифодалашдир.
n
Семантик тармоқ – бу йўналтирилган графли тасниф, унинг ҳар бир учи
қандайдир бир тушунчани (объект, жараён, ҳолат) ифодалайди, граф
қирралари эса “бу ...”, “тегишли”, “сабаби”, “... га киради”, “... иборат”,
“каби” ва шунга ўхшаш жуфтлик тушунчалар ўртасидаги ҳолатлар турига
мос келади. Семантик тармоқларнинг ижобий томони – унда билимларнинг
кўргазмали намойиш этилишидир. Унинг камчилиги –чиқишнинг, тегишли
саволга графни топишнинг қийинлиги.