|
Kvantorlar. Kvantorlarning turlari
|
| bet | 2/9 | | Sana | 12.12.2023 | | Hajmi | 45,43 Kb. | | #117292 |
Bog'liq 176 Bilimlarni namoyish etish modellari. Evrestik model179
|
Kvantorlar. Kvantorlarning turlari
Fikrlarda dalil sifatida o‘zgaruvchilar ishlatilishi mumkin. Bunday holatda o‘zgaruvchilar bilan ishlash uchun kvantor tushunchasi kiritiladi.
Kvantorlar 2 turda bo‘ladi:
Umumlik kvantori
Mavjudlik kvantori
, barcha ayrim sohaga tegishli bo‘lgan qovusdagi o‘zgaruvchilar haqiqiy bo‘lishi kerakligini bildiradi.
oznachaet, x mazmunlardan faqat ayrimlarigina haqiqiy ekanini bildiradi.
va bir-birining xossasi bo‘lishi mumkin
|
180
|
Fremlar. Fremlarning yutuq va kamchiliklari
Freym (angl. Frame – karkas yoki rom) – bu ayrim standart holat yoki abstrakt ko‘rinishlarni namoyish etishga asoslangan bilimlar strukturasidir.
Freym- bu qandaydir standart situatsiya uchun mo‘ljallangan ma’lumotlarni deklarativ keltirilishidir. Freymlarni tarmoq ko‘rinishida ko‘rsatish mumkin. Unda yuqori tabaqalar ularning ma’nosini namoyish etadi va xar qanday sharoitda chin qiymatga ega bo‘ladi. Pastki tabaqa konkret informatsiya bilan to‘ldirilgan slotlar bilan to‘ldiriladi. Xar bir slotni shart-sharoitining ta’siri bo‘ladi. Freymlarni quyidagi konstruksiya bilan ifodalash mumkin:
F=[,…]
F-freym nomi
ri-slot nomi
vi-slotning qiymati.
|
181
|
SI va uning asosiy yo’nalishlari
SI-bu dasturiy muhitning shunday tizimiki unda inson tafakkuri kompyuter jarayoniga imitatsiyalangan. SI atamasi 1956-yilda AQSh ning Stenford universiteti tomonidan taklif qilingan. 1969-yilda Vashingtonning Dartsmut kollejida SI bo’yicha 1-Xalqaro birlashma konferensiya bo’lib o’tadi va SI termini qonunlashtiriladi. SIning asosiy yo’nalishlariga Neyrokbernetika va “Qora yashik (quti)” kibernetikasi kabilar kiradi. Neyrokbernetikaning asosi inson miyasi neyronlardan tashkil topga. Demak fikirlay oladigan qurilma neyrokibernetika asosi hisoblanib dasturiy va uskunaviy vositalardan iborat bo’ladi. Neyronlarni birlashmasi esa neyron tarmoqlari deb ataladi. Kibernetikaning “qora yashik” uchun esa qurilmaning fikirlash uskunasi qanday bo’lishidan tashqari har xil savollarga odam miyasiga o’xshab javob bera oladigan edi.
|
|
|
| |
