Ushbu o'quv qo'llanma C/C++ dasturlash tillarining asosiy tushunchalarini, massivlar, funksiyalar, strukturalar, fayllar bilan ishlash, sinflar va obyektlar kabi mavzularni qamrab oladi. Qo'llanma talabalarga amaliy mashg'ulotlar orqali dasturlash ko'nikmalarini shakllantirishga yordam beradi.
Ushbu avtoreferat Gulsanam Tursunova tomonidan yozilgan va u ommabop portladcementlar uchun yangi turdagi kompozitsion qo'shimchalar bilan yangi texnologiyalar ishlab chiqish mavzusiga bag'ishlangan. Tadqiqotda mahalliy xomashyo (TAMD, ohaktosh, KFSF, ABOS) asosida yangi kompozitsion qo'shimchalarni (KP) tanlash, ularning kimyoviy va mineralogik tarkibi, gidravlik va puzzolan faolligini o'rganish, hamda yangi turdagi kompozitsion portladcementlar (KPC) ishlab chiqarish texnologiyasini ishlab chiqish ko'zda tutilgan. Tadqiqotda KPC ning jismoniy-mexanik xususiyatlariga ta'sir etuvchi omillar, ularning gidratlanish jarayonlari va mikrostruktura shakllanishi o'rganilgan.
Ushbu laboratoriya ishi dasturiy ta'minotni tekshirish uchun VCGen vositasidan foydalanishni o'rganishga bag'ishlangan. Unda dasturiy kodlarni JML (Java Modeling Language) orqali izohlash, tekshirish shartlarini generatsiyalash va tasdiqlash jarayonlari tushuntiriladi. Misollar orqali VCGen ning ishlash prinsipi, jumladan, 'requires', 'ensures', 'loop_invariant' kabi JML kalit so'zlari va ularning dasturiy kodni tekshirishdagi roli ko'rsatib berilgan. Shuningdek, C dasturlash tilida VCC vositasidan foydalanish ham qisqacha yoritilgan.
Kitobning nomi
Ushbu doktorlik dissertatsiyasi matematika fanining geometriya va topologiya bo'limlariga bag'ishlangan bo'lib, xususan,
Ushbu laboratoriya ishi dasturiy ta'minotni tekshirishga bag'ishlangan bo'lib, xususan, Java dasturlash tilida yozilgan kodlarni OpenJML yordamida tekshirishga qaratilgan. Ishda VCGen (Verification Condition Generation) texnikasi, uning ishlash prinsipi va kodlarni tekshirishdagi roli tushuntiriladi. Shuningdek, C dasturlash tilida VCC vositasidan foydalanish va JML (Java Modeling Language) yordamida kodlarni izohlash orqali tekshirish usullari ham ko'rsatib berilgan. Misollar orqali bu texnikalarning amalda qanday qo'llanilishi va natijalari ko'rsatilgan.
Ushbu kitob C va C++ dasturlash tillarini o'rganishga bag'ishlangan bo'lib, boshlang'ich tushunchalardan tortib to ob'ektga yo'naltirilgan dasturlash (OOD) tamoyillarigacha qamrab oladi.
Ushbu kitob C/C++ dasturlash tilida turli xil amallarni bajarish, masalalarni yechish, grafik imkoniyatlardan foydalanish, ma'lumotlar tuzilmalari va fayllar bilan ishlash asoslarini o'rgatadi. Kitobda massivlar, funksiyalar, strukturalar, grafik rejimlar, fayllar bilan ishlash, obyektga yo'naltirilgan dasturlash (OYD) kabi muhim mavzular batafsil yoritilgan. Har bir mavzu nazariy tushuntirishlar va amaliy misollar bilan mustahkamlangan.
Ushbu kitobda "Yettinchi Xalqaro Fizik Elektronika Konferentsiyasi"da taqdim etilgan ma'ruzalar to'plami keltirilgan. Konferensiya Toshkentda 2018-yilda bo'lib o'tgan. Kitobda Si-Cu (100) geterotugunlarining tarkibi va xossalari, kobalt ionlari bilan nurlantirishning ta'siri, Si-Cu tuzilmalarida Cu atomlarining diffuziya chuqurligi kabi masalalar yoritilgan. Mualliflar Si-Cu qatlamlariga Co+ ionlari bilan nurlantirishdan so'ng hosil bo'ladigan CoSi2 qatlamlari haqida tadqiqot natijalarini taqdim etishadi. Ma'lumotlar jadval ko'rinishida, ya'ni nurlantirishdan oldingi va keyingi davrlarda o'lchangan ba'zi fizik parametrlar keltirilgan.
Ushbu kitob dasturlash asoslaridan boshlab, C++ ning murakkab mavzularigacha bo'lgan keng ko'lamli ma'lumotlarni o'z ichiga oladi. Unda dasturlash tili asoslari, ma'lumotlar turlari, operatorlar, boshqaruv tuzilmalari, funksiyalar, klasslar, ob'ektga yo'naltirilgan dasturlash, merosxo'rlik, polimorfizm, istisnolar, fayllar bilan ishlash, shuningdek, murakkab ma'lumotlar tuzilmalari kabi muhim tushunchalar tushuntirilgan. Har bir mavzu amaliy misollar va mashqlar bilan mustahkamlanadi, bu esa o'quvchilarga nazariy bilimlarni amalda qo'llash imkonini beradi. Kitobning asosiy maqsadi o'quvchilarni C++ dasturlash tilini puxta o'zlashtirishga va undan samarali foydalanishga o'rgatishdir.