Unilibrary. Oliy ta'lim muassasalarining yagona elektron kutubxona axborot tizimi.

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq

The book develops a unique automated proof style and applies it throughout; even experienced Coq users may benefit from reading about basic Coq concepts from this novel perspective. The book also offers a library of tactics, or programs that find proofs, designed for use with examples in the book. Readers will acquire the necessary skills to reimplement these tactics in other settings by the end of the book. All of the code appearing in the book is freely available online.

Рус тилининг амалий грамматикаси

Мазкур қўлланмада рус тилининг барча сатҳлари (фонетика, лексикология, морфология, синтаксис кабилар) бўйича ўзбек тилидан фарқланувчи ва ўзбекзабон тил ўрганувчиларда қийинчилик туғдирувчи асосий материаллар қамраб олинган.

O`zbek xalq og`zaki ijodi

O`zbek xalq og`zaki ijodi asarlarini nashr qilish, ularning tariximiz va bugungi kunimizdagi ahamiyatini aniqlashdagi ijobiy o`zgarishlar tashabbuskori yurtboshimiz Islom Karimov bo`ldi. 1990 yilda, hali mustaqillik qo`lga kiritilmasdan avval taqiqlangan Navro`z bayrami umumxalq tantanasi darajasida nishonlandi. Muhimi, xalq ijodi, xususan, og`zaki ijod asarlari millat sifatidagi o`zbeklar tabiatining shakllanishidagi ahamiyatini yurtboshimiz mohiyat jihatdan yuksak baholaydi. Qo`lingizdagi qo`llanmada bu munosabat har bir mavzu bayonida o`z ifodasini topdi.

Психокоррекция

Учебние пособие разработано по одноименному учебному курсу для слушателей факультета по подготовке практических психологов. В пособии представлены актуальные проблемы современных достижений психологии в области практической психологической коррекции: методологической основы психокоррекции; современные направления в психотерапии; гуманистическая психотерапия, бихевиоральная психотерапия, гештальттерапия, психодрама, психологическая коррекция личности, эмоциональных состаяний и межличностных отношений. Учебное пособие предназначено профессиональным психологам, преподавателям и студентам факультета психологии.

O`zbek tilidan universal qo`llanma

Dars jamlanmasini tuzishda o`rta maktab, akademik litsey, oliy ta`lim va mustaqil shug`ullanuvchi uchun o`zbek tili bo`yicha yaratilgan turli darslik va manbaga tayanildi. Shuning uchun qo`llanmani tuzuvchilar o`zlarini muallif emas, balki musannif sifatida e`tirof etishadi. Qo`llanma o`rta maktab o`quvchisi, akademik litsey, kasb-hunar kolleji va oliy maktab talabasi, ona tili o`qituvchisi, oliy o`quv yurtiga kirish uchun mustaqil tayyorlanuvchi hamda qiziquvchilar uchun mo`ljallangan.

Metrologiya asoslari

Ma'lumki metrologiyaning vazifasi bizni o'rab turgan borliq atrof muhit to'g'risida axborot hosil qilishdan va undan foydalanishdan iborot. Metrologiyaning, yani o'lchashlarning mohiyati, ahamiyati fan-texnikaning rivojlanishida beqiyos bo'lib va u bilan bog'liq muammolarni yechishda keng imkoniyatlarni ochib bermoqda.

Hozirgi o`zbek adabiy tili va adabiyot fanlaridan test savollari to`plami

Mazkur qo`llanmada hozirgi o`zbek adabiy tili va adabiyot fanlaridan tuzilgan test savollari o`rin olgan. To`plam akademik litsey o`quvchilari, o`qituvchilari hamda abituriyentlar uchun mo`ljallangan, shu bilan birga, undagi "Yopiq test savollari"dan akademik litseyda o`tkaziladigan oraliq va yakuniy nazoratlar, ichki olimpiadalar o`tkazishda ham foydalanish mumkin.

Экстремизм, терроризм тарихи ва моҳияти

Ушбу ўқув қўлланмада диний фундаментализм, экстремизм ва терроризм тарихи, ваҳҳобийликнинг юзага келишининг асосий ғоялари, диний экстремизмнинг Ўзбекистонга ёйилиши, экстремист ва террористларнинг ваҳшиёна жиноятлари ҳамда уларга қарши кураш чоралари ёритилган.

Maxsus fanlarni o'qitish metodikasi

Xalq xo'jaligining turli sohalari hamda oliy ta'lim muassasalari uchun etuk pedagog kadrlar zaxirasining tayorlash magistraturasining ta'limining asosiy vazifalari hisoblanadi.

Психологик маслаҳат

Ўқув қўлланмада психологик маслаҳатни ташкил этиш техникаси, босқичлари, технологияси каби маслаҳатнинг қизиқарли жараёнлари акс этган. Қўлланмадан олий ўқув юртлари педагогика-психология йўналиши (5140800) бўйича таълим олаётган талабалар, ўқитувчилар, илмий ходимлар, умуман, шу соҳага қизиққан кенг китобхонлар оммаси фойдаланишлари мумкин.

Эконометрика асослари

Ўқув қўлланма “Эконометрика асослари” фани ўқув дастурига мувофиқ ёзилган. Унда эконометрик моделлаштириш асослари, эконометрик моделларнинг ахборот таъминоти, жуфт ва кўп омилли эконометрик таҳлил, эконометрик моделларни баҳолаш, вақтли қаторлар, тенгламалар тизими кўринишидаги эконометрик модел, амалий эконометрик моделлар, иқтисодий кўрсаткичларни прогнозлашда эконометрик моделлардан фойдаланиш мазмун- моҳияти ёритиб берилган.

Molekulyar fizika va termodinamika asoslari

Mazkur o`quv qo`llanmada "Molekulyar fizika va termodinamika asoslari" fani bo`yicha to`liq nazariy ma`lumotlar berilgan bo`lib, unda mavzularga oid masalalar yechish namunalari, ko`plab testlar keltirilgan. O`quv qo`llanma Oliy pedagogika o`quv yurtlarining "Fizika-astronomiya" ta`lim yo`nalishi talabalari uchun mo`ljallangan bo`lib, undan texnik va tabiiy yo`nalishlari talabalari ham foydalanishlari mumkin.

Arxitektura tarixi

Arxitektura san'at turi sifatida insonni o'rab turgan borliqni csletik ravishda shakllantiradi, jamiyat g'oyalarini badiiy obraz orqali ifoda etadi. Obrazli ifoda sifatida arxitektura o'zining ko'p asrlik tarixi davomida bar doim tasviriy va amaliy-bezak san'ali biJan hamjihatlikdu rivojlangan.

Oliy matematika

Qo'lanma barcha texnika yo'nalishlarida ta'lim olayotgan talablar uchun mo'ljallangan

Pedogogika Psixologiya

Ushbu o’quv qo’llаnmа bаkаlаvriаt tа’lim stаndаrtlаrigа kiritilgаn «Pеdаgоgikа.Psiхоlоgiya» fаnini iхtisоsligi «Psiхоlоgiya» vа «Pеdаgоgikа» bo’lmаgаn оliygохlаrdа o’qitishgа mo’ljаllаngаn. O’quv qo’llаnmаdа pеdаgоgik vа psiхоlоgik bilim аsоslаri muхtаsаr tаrzdа bаyon etilgаn bo’lib, undаgi mа’lumоtlаr yoshlаrni o’z-o’zini, o’zgаlаrni bilish, turli vаziyatlаr vа guruhlаrdа muоmаlа qilish sirlаri, tа’lim vа tаrbiyaning turlаri, qоnuniyatlаri, pеdаgоgik vа psiхоlоgik tехnоlоgiyalаrning ko’llаsh shаrtlаri, erkin, mustаqil fikrlаsh оmillаri, psiхik hоdisаlаr, qоnuniyatlаrni bilgаn tаrzdа ulаrni bоshqаrish to’g’risidаgi mа’lumоt bilаn tаnishtirаdi. O’quv qo’llаnmаdаgi hаr bir bоb uchun rеjа, qisqаchа uning mаzmuni, mustаhkаmlаsh uchun sаvоllаr vа аdаbiyotlаr ro’yхаti bеrilgаn.

Turizm biznesi va menejmenti

Turizm biznesi va menejmenti o`quv qo`llanmasida turizm sohasining asosiy kategoriyalari va tushunchalari, jahon tajribasi hamda turizmning rivojlanishidagi muhim omillar yoritilgan. Qo`llanmada ekologiya va turizm, milliy park va rezervatsiyalar, turistik sayohatlar xavfsizligini ta`minlash, turistik sug`urta, turistik hujjatlarni rasmiylashtirish kabi masalalar ham o`z aksini topgan