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

Category Theory for Computing Science

This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions we feel are basic to category theory in the context of examples and applications to computing science. Some categorical ideas and constructions are already used heavily in computing science and we describe many of these uses. Other ideas, in particular the concept of adjoint, have not appeared as widely in the computing science literature. We give here an elementary exposition of those ideas we believe to be basic categorical tools, with pointers to possible applications when we are aware of them.

Category theory for the sciences

Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerful communication between disparate fields and subfields within mathematics. This book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences. Information is inherently dynamic; the same ideas can be organized and reorganized in countless ways, and the ability to translate between such organizational structures is becoming increasingly important in the sciences. Category theory offers a unifying framework for information modeling that can facilitate the translation of knowledge between disciplines.

Анализ и синтез химико-технологических систем

Системотехника химических производств-молодая бурно развивающаяся область науки. Первый международный журнал по системотехнике химических производств «Process Engineering M agazine (РЕМ)» начал издаваться в 1981 г. в Англии.

Cellular Automata, Mainframes, Maple, Mathematica and Computer Science in Tallinn Research Group

The book presents an expanded excursion into the creative activities of the Tallinn Research Group during 1970–2022 with a focus on researches and development in such main fields as mainframes, personal computers, general statistics theory, issues of parallel information processing and computing, computer mathematics systems (Maple, Mathematica), programming, automated control systems, mathematical developmental biology, some mathematical problems in the cellular automata theory with a focus on our standpoint on the main stages of formation of the cellular automata theory. The book may be of certain interest as a retrospective standpoint on development of the above areas in the USSR (primarily in the ESSR) and the republics of the former USSR. The book is equipped with a fairly extensive bibliography on the issues under consideration.

CK-12 Basic Geometry Concepts

In this chapter, students will learn about the building blocks of geometry. We will start with what the basic terms: point, line and plane. From here, students will learn about segments, midpoints, angles, bisectors, angle relationships, and how to classify polygons.

Collaborative Statistics

Collaborative Statistics was written by Barbara Illowsky and Susan Dean, faculty members at De Anza Collegein Cupertino, California. The textbook was developed over several years and has been used in regularand honors-level classroom settings and in distance learning classes. Courses using this textbook have beenarticulated by the University of California for transfer of credit. The textbook contains full materials forcourse offerings, including expository text, examples, labs, homework, and projects. A Teacher's Guide iscurrently available in print form and on the Connexions site at and supplemental course materials including additional problem sets and video lectures are available. The on-line text for each of these collections collections willmeet the Section 508 standards for accessibility.

Navoiyshunoslik 1-qism

Mazkur darslik Respublika oliy o'quv yurtlari o'zbek filologiyasi va o'zbek tili va adabiyotini o'qitish yo'nalishidagi talabalar uchun mo'ljallangan bolib, unda Alisher Naviy hayoti va ijod hamda asarlari poetikasi bilan bog'liq eng muhim ma'lumotlar qamrab olingan, buyuk mutafakkir ijodiga doir yangicha talqinlar berilgan. Darslik navoiyshunoslikda qo'lga kiritilgan eng songgi yutuqlarni o'zida aks ettirganligi bilan alohida ahamiyat kasb etadi.

Техническая механика

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

Труды Уральского политехнического института им С.М. Кирова

В связи с этим обстоятельством, естественно, возникает задача изучения устойчивости решений систем обыкновенных дифференциальных уравнений «порожденных» системой, или иначе—«порожденных» системами и когда между параметрами и И V устанавливается та или иная связь, а на матрицы р(и qv) наложено соответствующее ограничение.

College Algebra

This College Algebra text will cover a combination of classical algebra and analytic geometry, with an introduction to the transcendental exponential and logarithmic functions. If mathematics is the language of science, then algebra is the grammar of that language. Like grammar, algebra provides a structure to mathematical notation, in addition to its uses in problem solving and its ability to change the appearance of an expression without changing the value.

Anatomiya II-jild

Ushbu darslik O'zbekiston Respublikasi Oliy va o'rta maxsus ta'lim vazirligi hamda Sog'liqni saqlash vazirligi tomonidan tasdiqlangan umumiy amaliyot shifokori tayyorlash o'quv dasturi asosida yozildi.

Расчеты на прочность подвижного состава и конструкций

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

Kimyoviy texnologiyaning nazariy asoslari

Ушбу китобда умумий кимёвий технологиянинг назарий асосларини ташкил этувчи маълумотлар-асосий кимёвий (гомоген, гетсроген, каталитик) жараёнлар тавсифлари, уларнинг тезлигига таъсир килувчи омиллар, кимёвий мувозанат, кимёвий реакторларининг турлари, уларни хисоблаш формулалари ва чизмалари келтирилган хайда кимёвий реакторларда кечадиган реакцияларнинг хусусиятлари баён этилгаи

Anatomiya I-jild

Ushbu darslik O'zbekiston Respublikasi Oliy va o'rta maxsus ta'lim vazirligi hamda Sog'liqni saqlash vazirligi tomonidan tasdiqlangan umumiy amaliyot shifokori tayyorlash o'quv dasturi asosida yozildi.

ОЧЕРКИ СОВРЕМЕННОЙ ГАРМОНИИ

Исследование посвящено некоторым важнейшим проблемам современной музыки. Автор анализирует произведения Ц. Шостаковича, Н. Мясковского, И. Стравинского, Б. Бартока, П. Хиндемита, К. Дебюсси, .М. Равеля и др., рассматривая стиль и особенности гармонического языка их творчества, на основе анализа делая выводы о сложившихся закономерностях современной гармонии.

Правила перевозки опасных грузов

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