Mantiqiy dasturlash - Mamlakat rivojini zamonaviy kompyuter va texnologiyalarsiz tasavvur qilish mushkul. Ilm-fan...

|
Mamlakat rivojini zamonaviy kompyuter va texnologiyalarsiz tasavvur qilish mushkul. Ilm-fan taraqqiyoti hamda sohalarning rivojlanishida ular alohida ahamiyat kasb etadi
|
bet | 4/5 | Sana | 20.05.2024 | Hajmi | 35,81 Kb. | | #245112 |
Bog'liq Abduqayumov A KTMantiqiy dasturlash
FGCS loyihasi tomonidan belgilangan maqsad „Bilimlar haqida maʼlumotni qayta ishlash tizimlari“ ni ishlab chiqish edi (taxminan maʼnosi Sunʼiy intellekt). Ushbu maqsadni amalga oshirish uchun tanlangan yordamchi mantiqiy dasturlash edi. Mantiqiy dasturlash yondashuvi uning asoschilaridan biri Maarten Van Emden tomonidan tasvsiflangan:
Kompyuterda axborotni ifodalash uchun mantiqdan foydalanish.
Kompyuterga muammolarni taqdim etish uchun mantiqdan foydalanish.
Ushbu muammolarni hal qilish uchun mantiqiy xulosalardan foydalanish.
Texnik jihatdan, uni ikkita tenglamada jamlash mumkin:
Dastur = Aksiomalar toʻplami .
Hisoblash = Aksiomalardan olingan bayonotning isboti .
Odatda qoʻllaniladigan aksiomalar cheklangan shakldagi universal aksiomalar boʻlib, ular Horn-bandlar yoki aniq-bandlar deb ataladi. Hisoblashda isbotlangan bayonot ekzistensial bayonotdir. Isbot konstruktivdir va ekzistensial miqdoriy oʻzgaruvchilar uchun qiymatlarni beradi: bu qiymatlar hisoblash natijasini tashkil qiladi.
Mantiqiy dasturlash kompyuter fanining turli gradientlarini (dasturiy taʼminot muhandisligi, maʼlumotlar bazalari, kompyuter arxitekturasi va sunʼiy intellekt) birlashtirgan narsa deb hisoblangan. Mantiqiy dasturlash bilim muhandisligi va parallel kompyuter arxitekturalari oʻrtasidagi asosiy etishmayotgan bogʻliqlik boʻlib tuyuldi.
Natijalar
1970-yillarda maishiy elektronika sohasiga va 1980-yillarda avtomobil dunyosiga taʼsir qilgandan soʻng, yaponlar kuchli obroʻga ega boʻldilar. FGCS loyihasining ishga tushirilishi parallel hisoblash barcha samaradorlik yutuqlarining kelajagi ekanligi haqidagi ishonchni tarqatdi va kompyuter sohasida qoʻrquv toʻlqinini keltirib chiqardi. Tez orada parallel loyihalar AQShda Strategik hisoblash tashabbusi va Mikroelektronika va kompyuter texnologiyalari korporatsiyasi (MCC), Buyuk Britaniyada Alvey va Yevropada Axborot texnologiyalarini tadqiq qilish boʻyicha Yevropa strategik dasturi (ESPRIT) sifatida tashkil etildi. Myunxendagi Yevropa kompyuter sanoati tadqiqot markazi (ECRC) sifatida Buyuk Britaniyadagi ICL, Frantsiyadagi Bull va Germaniyadagi Siemens oʻrtasidagi hamkorlik.
Loyiha 1982 yildan 1994 yilgacha davom etdi va jami 57 milliard Yen (taxminan 320 million AQSh dollari) dan bir oz kamroq sarfladi. FGCS loyihasidan soʻng, MITI yirik kompyuter tadqiqotlari loyihalarini moliyalashtirishni toʻxtatdi va FGCS loyihasi tomonidan ishlab chiqilgan tadqiqot tezligi tarqaldi. Biroq, MITI/ICOT neyron tarmogʻi loyihasini boshladi 1990-yillarda baʼzilar Oltinchi avlod loyihasi deb atagan, shunga oʻxshash moliyalashtirish darajasi. [6] Yillik xarajatlar elektronika va aloqa uskunalari sanoatining ilmiy-tadqiqot ishlariga sarflangan barcha xarajatlarining 1% dan kamini tashkil etdi. Masalan, loyihaning eng koʻp sarflangan yili 1991-yilda 7,2 million iyena boʻlgan, biroq IBMning oʻzi 1982 yilda 1,5 milliard dollar (370 milliard yen) sarflagan boʻlsa, sanoat 1990 yilda 2150 milliard ien sarflagan
|
|
Bosh sahifa
Aloqalar
Bosh sahifa
Mamlakat rivojini zamonaviy kompyuter va texnologiyalarsiz tasavvur qilish mushkul. Ilm-fan taraqqiyoti hamda sohalarning rivojlanishida ular alohida ahamiyat kasb etadi
|