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

Mathematical Logic

A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning. With its user-friendly approach, this book successfully equips readers with the key concepts and methods for formulating valid mathematical arguments that can be used to uncover truths across diverse areas of study such as mathematics, computer science, and philosophy. The book develops the logical tools for writing proofs by guiding readers through both the established "Hilbert" style of proof writing, as well as the "equational" style that is emerging in computer science and engineering applications. Chapters have been organized into the two topical areas of Boolean logic and predicate logic.

Antropologiya

Ushbu darslik bakalavrlar uchun mo’ljalangan bo’lib, unda odamning anatomiya va morfologiya elementlari, odam tanasi tashqi shaklining umumiy tavsifi, odam tanasi tashqi shaklining asosiy morfologik belgilari, odam gavdasining o’lchamlarini tekshirish usullari, antropometrik tadqiqot uslublari, o’lchashlar dasturi, aholining asosiy tipologiyasi tamoyillari. Ishlab chiqarishda bolalar va kattalar razmer tipologiyasini qo’llash muammolari haqida ma’lumotlar berilgan.

Ligand-macromolecular interactions in drug discovery

The aim of this edition of Methods in Molecular Biology is to present the techniques for the study of ligand–macromolecule interactions as tools in the drug discovery process.Ligand–Macromolecular Interactions in Drug Discovery: Methods and Protocols is divided in two sections.

Неорганическая химия

Пособие предназначено для углубленного изучения школьного курса химии и подготовки к централизованному тестированию. Может быть использовано при изучении химии в общеобразовательных школах, в специализированных классах лицеев и гимназий. Для абитуриентов, школьников, учителей и репетиторов.

Жиноят ишлари бўйича процессуал ҳужжатлар

Жиноят процессида расмийлаштириладиган процессуал ҳужжатлар ўз мазмун, мохиятига кўра муҳим аҳамиятга эга. Судгача ва суддан кейинги процессуал хужатлар аниқ шакл ва талабга жавоб бериши шарт. Ҳар бир процессуал ҳужжатни расмийлаштириш зарурияти, субъекти, шарт-шароити, таркиби ва мазмуни мавжуд.

To'la asarlar to'plami 3-jild

Ushbu kitob adabiyotshunoslar ahliga.

Применение электрофизиологических методов исследования при двигательных и чувствительных нарушениях в области лица

Учебно-методическое пособие для слушателей послевузовского и дополнительного профессионального образования. Пособие посвящено актуальной проблеме неврологии – диагностике двигательных и чувствительных нарушений в области лица с помощью современных нейрофизиологических методов исследования – стимуляционной электромиографии и вызванных потенциалов мозга. Описаны методики исследований, приведены нормативные данные, как литературные, так и собственные, и клинические примеры c результатами нейрофизиологических исследований. Учебно-методическое пособие предназначено для слушателей послевузовского и дополнительного профессионального образования.

Biologiya asoslari

O‘quv q o'llanma umum ta’Iim maktabiari va akademik litseylar o‘quv dastuiriga kiritilgan mavzulami qamrab olgan. Uni yozishda hozir amalda bo'lgan botanika, zoologiya, odam va uning salomatligi, biologiya, darsiiklari va ilmiy ornmabob manbaiarda keltiriigan ma’Iumotlardan foydalanildi. Qo‘llanmaga kiritilgan barcha mavzuiarga kalit so'zlar, mustaqil o‘qish va o‘zini o‘zi baholash uchun ko‘p tanlov javobli test topshiriqlari ilova qilingan. Mustaqil bilim olish va o'zini o'zi baholash qoidalari bilan kitobning so'nggi sahifalarida tanishish mumkin.

Atrof-muhit kimyosi fanidan amaliy mashg`ulotlar uchun uslubiy ko`rsatmalar

Ushbu qo'llanmada favqulotda holat natijasida atrof-muhit sifat ko`rsatkichlari, atrof muhitni himoya qilish ko'rsatkichlari jadval asosida yoritilgan

Tabiatshunoslik asoslari

O‘quv qo‘llanmada tabiiy fanlar konsepsiyasi, bugungi kunning global muammolari, hozirgi zamon texnologiyasi va energetikasining ilmiy asoslari bayon qilingan. Shuningdek, qo‘llanmada mikrodunyo, makrodunyo va megadunyolarning masalalari, biosfera, zamonaviy texnologiyalar, ekologik halokatlami bartaraf qilish yollari, tabiatshunoslikning fizik asoslari hamda atom va yadrolarning hozirgi zamon fizikasi elementlari, yadro energetikasi muammolariga oid mavzular yoritilgan.

Автомобильные эксплуатационные материалы

В учебнике освещено современное состояние развития автомобильных эксплуатационных материалов на основе достижений науки и практики; изложены седения по производству топливо-смазочных (ТСМ) и неметаллических материалов и предъявляемые к ним требования, в том числе экологические.

Самолет Ил-18

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

Nometall materiallar texnologiyasi fanidan uslubiy ko`rsatma

Uslubiy koʻrsatma 5320100 - Materialshunoslik va yangi materiallar texnologiyasi yoʻnalishi boʻyicha “Nometall materiallar texnologiyasi” fanidan bakalavriat talabalari uchun laboratoriya ishlarini bajarishga moʻljallangan boʻlib, unda polimer organik va noorganik materiallarning asosiy fizik-mexanik va issiqbardoshlik xossalarini hamda struktura tuzilishini aniqlash usullari ifodalangan.

Индуцированный мутационный процесс хлопчатника

Рассмотрены современные теоретические вопросы механизма действия химических мутагенов на генетические структуры высших растений, роль потенциальных изменений в ДНК для процессов появления мутаций.

Elektrotexnikaning nazariy asoslari

O'quv qo'llanmaning ushbu ikkinchi kitobida uch fazali zanjirlar, nosinusoidal tok chiziqli elektr zanjirlari va chiziqli elektr zanjirlari va chiziqli elektr zanjirlarini hisoblash usullari haqida tegishli bakalavriat yo`nalishlarida ta'lim olayotgan talabalar uchun yetarli ma'lumotlar keltirilgan bo'lib, unda har bir bobda tegishli masalalar, mustaqil tayyorlanishga doir referat mavzulari va o'z-o'zini sinash savollari bilan to'ldirilgan. O'quv qo'llanma energetika, elektrotexnika, avtomatika, radiotexnika va elektr aloqa sohalariga oid ta'lim yo'nalishlari talabalari uchun mo'ljallangan bo'lib, undan ishlab chiqarish sohalarining mutaxassislari, muhandislar, magistrantlar va ilmiy-texnik xodimlar ham foydalanishlari mumkin.

Измерительная техника

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