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

Global Optimization Algorithms

This ebook is devoted to global optimization algorithms, which are methods to find optimal solutions for given problems. It especially focuses on evolutionary computation by discussing evolutionary algorithms, genetic algorithms, genetic programming, learning classifier systems, evolution strategy, differential evolution, particle swarm optimization, and ant colony optimization. It also elaborates on metaheuristics like simulated annealing, hill climbing, tabu search, and random optimization.

MAKTABGACHA TA'LIMDA PEDAGOGIK DIAGNOSTIKA VA KORREKSIYA

Hozirgi davr talabi ta'lim-tarbiya ishlariga yangicha munosabatda bo'lish, yuksak madaniyatli kasb egasi, metodik jihatdan mahoratli, zamonaviy o'qitish texnologiyalarni va innovatsiyalarni mukammal egallagan kadrlarni talab etmoqda.

Grinstead and Snell's Introduction to Probability

This is an introductory probability textbook, published by the American Mathematical Society. It is designed for an introductory probability course taken by mathematics, the physical and social sciences, engineering, and computer science students. The text can be used in a variety of course lengths, levels, and areas of emphasis. For use in a standard one-term course, in which both discrete and continuous probability is covered, students should have taken as a prerequisite two terms of calculus, including an introduction to multiple integrals. In order to cover Chapter 11, which contains material on Markov chains, some knowledge of matrix theory is necessary. The text can also be used in a discrete probability course. For use in a discrete probability course, students should have taken one term of calculus as a prerequisite. All of the computer programs that are used in the text have been written in each of the languages TrueBASIC, Maple, and Mathematica.

Matematik analiz. 3-qism

Mazkur kitobda, xuddi birinchi va ikkinchi qismlardagi singari, barcha matematik xulosalar qisqa va sodda isbotlar asosida bayon qilingan va ko`p sonli misollar bilan oydinlashtirilgan. Har bir bobning oxirida mavzularni chuqur o`zlashtirishga yo`naltirilgan misollar keltirilgan.

Фалсафа

Китобда фалсафий тафаккур эволюциясининг таҳлили баробарида онтология, гносеология, ривожланиш, фалсафий антропология, праксиология ва глобаллашув масалаларининг назарий асослари янгиланган тафаккур нуқтаи назаридан кенг қамровли ёритиб берилган.

Matematik analiz. 2-qism

Mazkur kitobda, xuddi birinchi qismdagi singari, barcha matematik xulosalar qisqa va sodda isbotlar asosida bayon qilingan va ko`p sonli misollar bilan oydinlashtirilgan. Har bir bobning oxirida mavzularni chuqur o`zlashtirishga yo`naltirilgan masalalar keltirilgan.

H2 Mathematics

This book is specially designed for students who want to test their mathematical skills at a higher level. Though the Advanced Questions here are of similar or slightly higher standard than those in the A-Level examinations, students should be able to solve them. The Challenging Questions are designed to push the student’s limits, though the skills needed to solve them are within the student’s scope of knowledge. Detailed worked solutions enable students to learn from their mistakes and at the same time coach them on certain concepts.

Genetika va seleksiya asoslari

Mazkur darslik 5420100 - Biologiya ta’lim yo‘nalishi bo‘yicha o‘quv dasturi asosida yozilgan bo‘lib, universitetlarning biologiya fakultetlari talabalari uchun mo‘ljallangan. Unda genetika fanining predmeti, vazifalari va tadqiqot metodlari, rivojlanishining qisqacha tarixi, irsiylanish va irsiyat qonuniyatlari, irsiyatning xromosoma nazariyasi; irsiyatning molekular genetik asoslari, o‘zgaruvchanlik va uning tiplari, populatsion va evolutsion genetika asoslari; odam genetikasi, tibbiyot genetikasi masalalari hamda seleksiyaning genetik asoslari yoritilgan.

Теория и практика химической энерготехнологии

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

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ПРОФЕССИОНАЛЬНОЙ ДЕЯТЕЛЬНОСТИ

Учебник разработан в соответствии с государственным образовательным стандартом, утвержденным Министер- ством образования РФ. - В учебнике рассматриваются основные понятия инфор- мационных технологий и информационных систем, преду смотрено изучение программных средств реализации ин- формационных процессов, вычислительных сетей; предпо- лагается подробное изучение прикладного программного обеспечения и автоматизированных рабочих мест (тексто- вые редакторы - MS Word, табличные процессоры - MS Excel, редакторы презентаций - MS PowerPoint, системы управления базами данных MS Access, специализирован- ные ППП и АРМ - 1С: Предприятие 8). В него включено большое количество заданий для самостоятельной работы.

O'zbekiston tarixi

Mazkur darslik mustaqillik yillarida olib borilgan tadqiqotlarning umume'tirof etilgan natijalari bilan boyitilganligi, fan bo'yicha innivatsiyalarni o'quv jarayoniga joriy etilganligi bilan ilgarigi o'quv adabiyotlaridan farq qiladi.

AKTUAR MATEMATIKA

Ushbu darslik universitetlar bakalavriat va magistratura yo'nalishidagi o'quv rejalarida "Aktuar matematika" faninig amaldagi dasturlari asosida yozilgan. Darslik fan bo'limlari bo'yicha nazariy ma'lumotlar keltirilgan va ularga oid misol va masalalar yechib ko'rsatilgan. Mazkur darslikdan matematika, informatika ham iqtisodiyot, moliyaviy fanlar yo'nalishidagi talabalar, magistrantlar va ehtimoliklar nqazariyasini mustaqil o'rganuvchilar, sug'irta faoliyati bilan shug'ullanadigan xodimlar ham foydalanishlari mumkin.

High performance computing and numerical modelling

Numerical methods play an ever more important role in astrophysics. This is especially true in theoretical works, but of course, even in purely observational projects, data analysis without massive use of computational methods has become unthinkable. The key utility of computer simulations comes from their ability to solve complex systems of equations that are either intractable with analytic techniques or only amenable to highly approximative treatments. Simulations are best viewed as a powerful complement to analytic reasoning, and as the method of choice to model systems that feature enormous physical complexity such as star formation in evolving galaxies, the topic of this 43rd Saas Fee Advanced Course. The organizers asked me to lecture about high performance computing and numerical modelling in this winter school, and to specifically cover the basics of numerically treating gravity and hydrodynamics in the context of galaxy evolution. This is still a vast field, and I necessarily had to select a subset of the relevant material. The written notes presented here quite closely follow the lectures as held in Villars-sur-Ollon, which were meant to provide a general overview about some of the most pertinent techniques that may be relevant for students working on numerical models of galaxy evolution and star formation. The discussion is hence often at an introductory level, giving precedence to a presentation of the main numerical concepts rather than to a mathematically detailed exposition of the techniques.

Грамматика: Сборник упражнений

Сборник упражнений по всем разделам английской грамматики. Упражнения основаны на несложной лексике.

Дифференциальные уравнения

Л. Э. Эльсгольц - известный математик, внесший большой вклад в исследование качественных методов в вариайионных задачах, а также в развитие теории дифференциальных уранений. Его педагогическая деятельность, высокое лекторское мастерство, неутомимая пропаганда математики нашли отражение в написанных им учебниках для математиков, физиков и инженеров.

Homotopy Type Theory. Univalent Foundations of Mathematics

Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type theory offers a new “univalent” foundation of mathematics, in which a central role is played by Voevodsky’s univalence axiom and higher inductive types. The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant. We believe that univalent foundations will eventually become a viable alternative to set theory as the “implicit foundation” for the unformalized mathematics done by most mathematicians.