176 Bilimlarni namoyish etish modellari. Evrestik model


Kvantorlar. Kvantorlarning turlari



Download 45,43 Kb.
bet2/9
Sana17.07.2022
Hajmi45,43 Kb.
#816217
1   2   3   4   5   6   7   8   9
179

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:

  1. Umumlik kvantori

  2. 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.


Download 45,43 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8   9




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

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish