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

Mathematics for Computer Science

This text explains how to use mathematical models and methods to analyze problems that arise in computer science. Proofs play a central role in this work because the authors share a belief with most mathematicians that proofs are essential for genuine understanding. Proofs also play a growing role in computer science; they are used to certify that software and hardware will always behave correctly, something that no amount of testing can do. The first three Chapters assume the reader is familiar with a few mathematical concepts like sets and functions. Chapters 4 and 8 offer a more careful look at such mathematical data types, examining in particular properties and methods for proving things about infinite sets. Chapter 7 goes on to examine recursively defined data types.

Особо опасные и экономически значимые инфекционные болезни животных

В учебном пособии приведен материал по основным особо опасным и факторным наиболее распространённым в мире и СНГ инфекционным болезням сельскохозяйственных животных, показаны современные вирусологические, бактериологические и молекулярно-генетические методы их диагностики, а также меры борьбы и профилактики болезней. Учебное пособие предназначено для аспирантов, студентов, магистрантов учреждений высшего образования по специальности «Ветеринария» и ветеринарных врачей факультетов повышения квалификации.

Цветы на чердаке

Эта книга покорила весь мир и принесла ее автору, американской писательнице В. К. Эндрюс, заслуженную любовь миллионов поклонников. Роман «Цветы на чердаке», основанный на реальных событиях, сразу стал бестселлером и был дважды экранизирован (в 1987 и 2014 гг.). За ним последовали другие книги захватывающей саги о семействе Доллангенджер

Matematik fizika tenglamalari

Matematik fizika tenglamalari

Канон врачебной науки. Том- 5

Ты знаешь о том, что мы уже говорили о зубах, их анатомии и их полезности, и тебе следует вдуматься в то, что было сказано.

ИСТОРИЯ ЭКОНОМИЧЕСКИХ УЧЕНИЙ

Учебное пособие по курсу "История экономических учений" предназначено для студентов высших учебных заведений, обучающихся по экономическим специальностям.

Три мушкетера

Примерно год тому назад, занимаясь в Королевской библиотеке разысканиями для моей истории Людовика XIV, я случайно напал на «Воспоминания г-на д'Артаньяна», напечатанные – как большинство сочинений того времени, когда авторы, стремившиеся говорить правду, не хотели отправиться затем на более или менее длительный срок в Бастилию, – в Амстердаме, у Пьера Ружа. Заглавие соблазнило меня; я унес эти мемуары домой, разумеется, с позволения хранителя библиотеки, и жадно на них набросился

Алгебра

Книга отражает изменения, происшедшие в алгебре за последние два десятилетия, и дает читателю возможность основательно познакомиться с областями алгебры, ставшими уже классическими.

Geoarxeologiya

Ushbu o‘quv qo'llanmada qadim zamonlardan hozirgi vaqtgacha bo'lgan davrdagi geologik jarayonlar va ularning natijalari qat’iy izchillik bilan xronologik tartibda o‘rganiladi. Inson evolutsiyasi yer po‘stining geologik rivojlanishi bilan chambarchas bog'liq, shu bois ham organik dunyoning o‘zgarish qonuniyatlarini faqat geoarx­eologiya fanini o‘rganish bilan birga aniqlash mumkin.

Sonate on H moll

for rlavier and violine

Logic for Computer Science. Lecture Notes

This set of lecture notes has been prepared as a material for a logic course given in the Swedish National Graduate School in Computer Science (CUGS). The course is focused on various aspects of classical and non-classical logics, including: • the classical propositional and predicate calculus • modal logics, including logics of programs and temporal logics • fixpoint calculus. The main emphasis is put on automated deduction and computer science applications of considered logics. Automated deduction techniques are presented mainly in the context of the classical logics.

Теория точечного оценивания

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

ВЕТЕРИНАРНАЯ МИКРОБИОЛОГИЯ

Микробиология (micros — малый, bios — жизнь, logos — учение) — наука, изучающая строение, функции, распространение и специфическую активность микроорганизмов (микробов). Большая часть этих организмов в диаметре не превышает 0,1 мм и поэтому невооруженным глазом невидима.

3 Sonatas

for cello and piano

Регрессионный анализ и его математическое обеспечение на ЕС ЭВМ

Рассматривается комплекс вопросов связанных с обработкой стастистических данных и оцениванием коэффициентов регрессионных моделей.

Элементы математической статистики

В книге дается общедоступное изложение простейших методов математической статистики.