Bosh sahifa>Qidiruv natijalari
🔍

Формальные системы

Ushbu kitob oliy va o'rta maxsus ta'lim vazirligi tomonidan O'zbekiston Respublikasi uchun nashr etilgan bo'lib, Toshkent arxitektura-qurilish institutining "Informatika va axborot texnologiyalari" kafedrasida tayyorlangan "Mustaqil ish" hisoblanadi. Kitobda "Informatsion sistemalar" fanidan "Formal sistemalar" mavzusi o'rganiladi. Unda predmet sohasi, ob'ektlar, munosabatlar semantikasi, amallar, algebraik sistemalar, ularning xususiyatlari, formal logik sistemalar va algoritmlar keltirilgan.

🔑 Kalit soʻz🎯 100.0%

Хомский граматикаси иерархияси

Ushbu kitobda tizimli dasturiy ta'minotning nazariy va amaliy asoslari, formal tillar, grammatikalar, sintaksis tahlili, translyatsiya usullari, Хомский иерархияси ва avtomatlar синфлари, shuningdek, турли xil dasturlash тилларининг тузилиши ва ишлаш принциплари batafsil yoritilgan. Kitobда амалий misollar ва листинги kodlar тақдим этилган бўлиб, ушбу соҳадаги мутахассислар учун фойдалидир.

🔑 Kalit soʻz🎯 76.2%

Формализация и анализ интеллектуальных систем управления динамическими объектами с ассоциативной памятью

Ushbu maqola dinamik ob'ektlar bilan bog'liq muammolarni hal etishda assotsiativ xotirali intellektual tizimlardan foydalanishning nazariy va amaliy jihatlarini yoritib beradi. Maqolada intellektual tizimlar va ularning qo'llanilish sohalari, xususan, dinamik tizimlarni boshqarishdagi o'rni tahlil qilinadi. Asosiy e'tibor, intellektual tizimlarni loyihalash va amalga oshirishning turli usullari, jumladan, neyron tarmoqlar va boshqa tadqiqotlar asosida yaratilgan tizimlar haqida batafsil ma'lumot beriladi. Shuningdek, maqolada intellektual tizimlarni optimallashtirish va ularning samaradorligini oshirish yo'llari ko'rsatib beriladi va bu boradagi tadqiqotlarning ahamiyati ta'kidlanadi.

🔑 Kalit soʻz🎯 76.2%

Разработка формальной модели грамматики официально-делового стиля узбекского языка и её программная реализация

Ushbu dissertatsiya ishi o'zbek tilining rasmiy-ish yuritish uslubi grammatikasining formal modelini yaratishga bag'ishlangan. Ishda ushbu uslubning morfologik va sintaktik tuzilishi, grammatik qoidalari va ularni kompyuterda amalga oshirish masalalari ko'rib chiqilgan. Dissertatsiyada rasmiy-ish yuritish uslubining formal grammatikasi, aksiomatik nazariyasi ishlab chiqilgan va sintaktik tahlil dasturi yaratilgan.

🔑 Kalit soʻz🎯 75.9%

Мантиқ илмининг предмети ва аҳамияти

Ushbu kitob mantiq ilmining mohiyatini, tafakkurning shakllari va qonunlarini, formal mantiqning predmetini va vazifalarini, mantiqni o'rganishning ahamiyatini yoritadi. Kitobda mantiqning ta'rifi, bilish jarayoni, hissiy bilish, tafakkur, tushuncha, hukm, xulosa chiqarish kabi asosiy tushunchalar tahlil qilinadi. Shuningdek, kitobda mantiqning fan sifatidagi o'rni va boshqa fanlar bilan aloqasi ko'rsatib o'tilgan.

🔑 Kalit soʻz🎯 75.9%

Different forms of addressing in the English language

Ushbu referat ingliz tilidagi murojaat shakllariga bag'ishlangan. Unda leksikologiya fanining asoslari, formal va informal uslublar o'rtasidagi farqlar, shuningdek, turli vaziyatlarda qo'llaniladigan murojaat shakllari ko'rib chiqiladi. Referatda oilaviy munosabatlarda, ish joyida va jamiyatda ishlatiladigan murojaat shakllariga alohida e'tibor qaratilgan. Bundan tashqari, unda ingliz tilini o'rganuvchilar uchun murojaat shakllari bilan bog'liq qiyinchiliklar va ularni bartaraf etish yo'llari muhokama qilinadi.

🔑 Kalit soʻz🎯 75.6%