Kvantorlar. Kvantorlarning turlari




Download 45.43 Kb.
bet2/9
Sana19.06.2022
Hajmi45.43 Kb.
#24003
1   2   3   4   5   6   7   8   9
Bog'liq
Braxmanlikdagi kasta tizimi, jismoniy shaxslarning mehnatga xaq to\'lash shklidagi daromadlarini soliqqa tortishni nazorat qilish, To\'garak kitobi 1, 2-MARUZA. Mikroiqtisodiyotning asosiy kategoriyalari talab va taklif, Abdulla Qodiriy, Sinf rahbari H., 3 opintojaksoa, Zamonaviy shinalar xususiyatlari, 11-sinf 4-bilet yechimi 114942, Mustaqil ishi mavzu Kommivoyajer masalasi algoritimlarini o’rganish, 1-topshiriq sirtqi-3, Operatsion tizimlar” fanidan test savollari, 1-Amaliy topshiriqlari, 6-ma’ruza
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.
1   2   3   4   5   6   7   8   9




Download 45.43 Kb.

Bosh sahifa
Aloqalar

    Bosh sahifa



Kvantorlar. Kvantorlarning turlari

Download 45.43 Kb.