МАТЕМАТИКА

Цель данной книги – научить читателя нескольким аспектам написания многопоточных JavaScript-приложений. Прочитав книгу до конца, вы будете понимать различные API веб-исполнителей в браузерах, их сильные и слабые стороны и когда какой использовать. Также узнаете о модуле рабочих потоков в Node.js и сможете сравнить его API с тем, что имеется в браузере.

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

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

Книга, написанная старшими научными сотрудниками, преподавателями механико-математического факультета МГУ имени М. В. Ломоносова, представляет собой универсальное справочное пособие по элементарной математике. В справочнике представлены: основные теоретические сведения, ключевые методы решения задач, анализ характерных ошибок, упражнения для самостоятельной работы, варианты заданий ЕГЭ и дополнительных вступительных испытаний (ДВИ) в вузы по математике. Большое внимание уделено задачам повышенной трудности, в том числе задачам с параметром. В новое издание включены варианты ДВИ по математике в МГУ за 2016—2019 гг. с ответами и решениями.

В далеком 1974 году появился кубик Рубика, который сразу же приобрел необыкновенную популярность во всем мире. Неудивительно, скажете вы, ведь тогда не было интернета, а головоломка захватывала умы взрослых и детей на многие часы. Но как объяснить новую волну популярности кубика Рубика в наше время и появление целого движения поклонников головоломки — спидкубинга? Что такого в этой загадочной игрушке, интерес к которой не угасает уже почти 50 лет? Ответы вы найдете в книге самого Эрнё Рубика, который увлекательно описал не только историю создания своего знаменитого детища, но и свою жизненную философию. На этих страницах — размышления автора о любопытстве, человеческой природе, законах творчества и вдохновении, о любви к тому, что делаешь, и нестандартном подходе к решению задач.

Любому школьнику сложно: столько уроков, домашних заданий, книг и учебников. А сколько еще сложностей: проблемы с одноклассниками, встречи с новым и неизведанным, выбор будущей профессии и своего пути. Как во всем этом не запутаться? Как принимать правильные, логически выверенные решения? Как не запутаться в огромном океане информации? Логика и критическое мышление, один из самых ключевых навыков ХХI века. Эта книга как раз об этом. Она интересная и нескучная, в ней собраны 10 историй, с которыми так или иначе встречался каждый. Авторы этой книги, настоящие исследователи критического мышления, помогут найти правильные ответы и все разложить по полочкам.

Гарвардский математик, лауреат Филдсовской премии Яу Шинтун дал геометрическое обоснование «первой струнной революции», предложил принципиально новые идеи в понимании массы и кривизны и теоретически доказал стабильность нашей Вселенной. В своей автобиографической книге Яу рассказывает о невероятном пути, который привел его к математическому Олимпу. Бедное детство в Китае и Гонконге, учеба в аспирантуре в Беркли в разгар протестов, связанных с Вьетнамской войной, доказательство гипотезы Калаби, за которое он был удостоен Филдсовской медали, работа на двух континентах — в Китае и Америке, развитие новой области математики — геометрического анализа. Эту новую область Яу создал вместе с друзьями и коллегами, проложив путь к решению нескольких важных и очень трудных задач, стоявших перед наукой десятки и даже сотни лет. В чем их суть — есть шанс разобраться, прочитав книгу. Ведь цель авторов не только рассказать о жизни одаренного математика и академической среды, но и приблизить читателя к пониманию актуальных концепций и задач математики и теоретической физики.

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

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

Чего от вас ждут, когда просят что-то доказать? Что отличает правильное доказательство от неправильного? Эта книга поможет вам узнать ответы и разъяснит основные принципы, используемые при построении доказательств. В отличие от школьного подхода к доказательствам как к пронумерованному списку утверждений и причин, в настоящем издании используется структурированный подход, характерный для программирования: математические доказательства также строятся путем объединения некоторых базовых структур. Выбор структуры определяется логической формой доказываемого утверждения, поэтому в начале книги рассматривается элементарная логика и читатель знакомится с различными формами математических выражений. Далее обсуждаются отношения, функции, математическая индукция и более сложные математические темы, в частности теория чисел. В конце разделов каждой главы представлен список упражнений, для части которых приводятся решения или подсказки.

Гарвардский математик, лауреат Филдсовской премии Яу Шинтун дал геометрическое обоснование «первой струнной революции», предложил принципиально новые идеи в понимании массы и кривизны и теоретически доказал стабильность нашей Вселенной. В своей автобиографической книге Яу рассказывает о невероятном пути, который привел его к математическому Олимпу. Бедное детство в Китае и Гонконге, учеба в аспирантуре в Беркли в разгар протестов, связанных с Вьетнамской войной, доказательство гипотезы Калаби, за которое он был удостоен Филдсовской медали, работа на двух континентах — в Китае и Америке, развитие новой области математики — геометрического анализа. Эту новую область Яу создал вместе с друзьями и коллегами, проложив путь к решению нескольких важных и очень трудных задач, стоявших перед наукой десятки и даже сотни лет. В чем их суть — есть шанс разобраться, прочитав книгу. Ведь цель авторов не только рассказать о жизни одаренного математика и академической среды, но и приблизить читателя к пониманию актуальных концепций и задач математики и теоретической физики.

Технологический прорыв, связанный с распространением квантовых компьютеров, уже не за горами. В этой книге технологии будущего обсуждаются с практической стороны: комплект инструментов от компании Microsoft и язык Q# предоставляют вам возможность поупражняться в квантовых вычислениях. В части I вы создадите симулятор квантового устройства на языке Python, в части II научитесь применять новые навыки написания квантовых приложений с помощью языка Q# и Комплекта инструментов для квантовой разработки, а в части III – имплементировать алгоритм, который умножает целые числа экспоненциально быстрее, чем самый лучший из известных стандартных алгоритмов.

Power Query – инструмент, позволяющий подключаться к источникам данных, а также подготавливать и обрабатывать информацию для ее дальнейшего анализа. В этой книге вы найдете все, что нужно для работы с Power Query: описание интерфейса и способов подключения к источникам данных, а также извлечения, преобразования и очищения информации при помощи мощных инструментов. Отдельная часть книги посвящена языку формул M, который обеспечивает новый подход к агрегированию данных. В завершение вы научитесь строить дашборды и многомерные отчеты при помощи Power Query. Книга адресована профессионалам в области бизнес-аналитики и анализа данных, а также пользователям Excel, которые смогут вывести свое владение этой программой на новый уровень благодаря изучению принципов сбора и преобразования данных при помощи Power Query.

Это руководство по языку Processing написано его создателями, Кейси Риасом и Беном Фраем. Книга удобно структурирована и ведет читателя от знакомства с языком и написания первой программы на нем до разработки интерактивной графики. Главы книги последовательно раскрывают основные приемы программирования на Processing: определение и рисование простых фигур; хранение, изменение и повторное использование данных; управление выполнением программы с помощью мыши и клавиатуры; преобразование координат; загрузка и отображение мультимедийных файлов и др. Авторы используют метод «обучение через практику»: в каждой главе приводится ряд подробных примеров выполнения тех или иных задач (иллюстрация, описание, код). В приложениях представлен справочный материал.

Юи, дочь владельцев отеля, мечтает оснастить его по последнему слову техники. Но прежде, чем строить крупные планы, надо справиться с решением элементарных задач – в частности, наладить работу электрического оборудования в здании. Героиня манги пройдёт все этапы знакомства с электрооборудованием, начиная с простейшего (розетки и выключатели) и заканчивая электроприборами и сложными системами, включая трансформаторную подстанцию, аварийное освещение и средства защиты от стихийных бедствий. В разделах изложена базовая информация, при этом в каждой главе приводится дополнительный материал. Те, кому достаточно получить общее представление об устройстве и работе электрооборудования, могут пропустить эти страницы и остановиться на начальном уровне.

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

Пособие «Внимание! Разминка!» разработано нейропсихологами в помощь учителям первого класса и их ученикам. В нем предлагается программа упражнений для уроков математики в 1 классе. Каждое задание занимает 5–10 минут и может быть использовано в качестве разминки в начале урока 2–3 раза в неделю. Увлекательная пятиминутка помогает ребенку включиться в урок, повышает его учебную мотивацию и работоспособность. Упражнения ориентированы на материал школьной программы за 1 класс, поэтому они не только способствуют развитию таких важнейших функций как внимание, планирование и контроль, но и помогают ребенку закрепить учебный материал. Как показывает опыт, дети с большим интересом относятся к заданиям, с удовольствием их выполняют. Таким образом, материал пособия прекрасно отвечает основной задаче младшего школьного возраста — научиться учиться! Пособие было разработано и апробировано на базе московской инклюзивной общеобразовательной школы № 1540. Уникальность пособия состоит в том, что учитель может использовать материалы пособия при работе в больших классах, наполняемостью до 30 человек. Опыт применения методики показал ее эффективность как в работе с успешными детьми, так и испытывающими трудности в обучении. Авторы пособия — ведущие ученые-нейропсихологи МГУ имени М. В. Ломоносова, опытные педагоги и их ученики.

Логическое программирование – это стиль программирования, в котором программы принимают форму наборов предложений на языке символической логики. В последнее время интерес к нему вырос благодаря возможности применения в дедуктивных базах данных, электронных таблицах, создании бизнес-логики при управлении предприятием и др. Данная книга знакомит с теорией логического программирования, современными технологиями и популярными применениями. Авторы ведут читателя от изучения базовых понятий (наборы данных, запросы, обновления и т. д.) к практическому применению вычислительной логики. Книга удобно структурирована: рассмотрение новых терминов сопровождается многочисленными примерами; в конце глав приводятся упражнения, позволяющие закрепить пройденный материал.

В данной книге подробно рассказывается, как использовать на практике языки программирования R и Python для визуализации данных, загрузки в модель, преобразования и выполнения других задач с помощью аналитического инструмента Power BI. Вы узнаете, как создавать пользовательские элементы визуализации, реализовывать методы машинного обучения и искусственного интеллекта, применять продвинутые методы обработки текстовой информации с использованием техник, недоступных в Power Query и DAX, обеспечивать взаимодействие со службами Microsoft Cognitive Services без необходимости приобретать дорогостоящую подписку на Power BI Premium. В заключение рассказывается, как можно воспользоваться языками программирования R и Python в корпоративных решениях, внедренных в Power BI. Для выполнения практических упражнений понадобится облачная платформа Microsoft Azure. Также для работы с примерами из данной книги рекомендуется настроить виртуальную машину для анализа данных (Data Science Virtual Machine – DSVM).

В книге рассматриваются все основные темы для подготовки к сертификационному экзамену Microsoft DA-100, посвященному анализу данных при помощи Microsoft Power BI. Материал удобно структурирован: каждая глава охватывает одну тему, в каждом разделе рассматривается конкретный навык. Освещаются вопросы получения данных, их подготовки, преобразования, моделирования и визуализации средствами Power BI Desktop, создания отчетов и дашбордов, углубленного анализа данных и др.

Задействуйте всю мощь поведенческих данных в своей компании, используя инструменты, специально разработанные для их анализа. Автор, эксперт в области экономики и бихевиористики, показывает, как повысить ценность и результаты аналитических проектов за счет понимания того, что движет поведением людей. Практическая часть книги содержит полные примеры и упражнения на языках R и Python, которые помогут вам получать более глубокую информацию о данных.

Обработка больших данных с каждым днем приобретает все большее значение. В этой книге подробно рассматривается организация обработки больших данных с использованием аналитической операционной системы Apache Spark. Тщательно описываются процессы потребления, преобразования и публикации результатов обработки данных; продемонстрированы возможности Apache Spark при работе с разнообразными форматами исходных данных (текст, JSON, XML, СУРБД и многими другими) и при публикации результатов в разнообразных форматах. Особое внимание уделяется обработке потоковых данных, что весьма важно в современных условиях. Подробно рассмотрены организация и архитектура кластера Spark. В приложениях представлена обширная справочная информация, необходимая каждому разработчику, использующему Spark. Книга содержит множество иллюстраций и примеров исходного кода на языке Java с подробными комментариями.

Raspberry Pi – точная миниатюрная копия полноценного компьютера, наделенная аналогичными функциями. Вместе с тем Raspberry Pi представляет собой нечто большее, чем современный компьютер: с его помощью вы можете создать собственную операционную систему и соединить провода, цепи и контакты на плате. Эта книга предназначена для тех, кто приступает к освоению Raspberry Pi. Показано, как настроить оборудование; описываются интерфейс устройства, его операционная система и базовые навыки работы. Изучив примеры программирования на Scratch 3 и Python, вы сможете расширить функционал Raspberry Pi, написав собственные программы и игры. Цветные иллюстрации и удобные пошаговые инструкции упрощают обучение.

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

Эта книга может использоваться в качестве учебного пособия или справочника по Microsoft Project 2019 – программному средству, предназначенному для управления проектами. В начале представлено описание разных версий программы и основных ее функций; далее рассматриваются различные процедуры в порядке возрастания их сложности. Построение списка задач и настройка ресурсов, планирование и отслеживание хода выполнения задач, консолидация проектов и общий доступ к ресурсам – эти и другие темы подробно обсуждаются на страницах книги. Каждая часть затрагивает определенные группы навыков; в конце глав приводится ряд практических упражнений, позволяющих отработать тот или иной навык. В этом читателю помогут учебные файлы, выложенные на веб-сайте книги. Цветные иллюстрации помогут быстрее усвоить материал.

LaTeX – система верстки с открытым исходным кодом для набора и оформления текста, которая позволяет создавать печатные документы и файлы PDF профессионального качества. Трудности в освоении столь мощного и сложного инструмента поначалу могут обескуражить пользователя. Эта книга упрощает начало работы с LaTeX: вашему вниманию предлагается множество пошаговых примеров, которые помогут быстро достичь ощутимых результатов.

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

Платформа Ghidra, ставшая итогом более десяти лет работы в Агентстве национальной безопасности, была разработана для решения наиболее трудных задач обратной разработки (Reverse Engeneering – RE). После раскрытия исходного кода этого инструмента, ранее предназначавшегося только для служебного пользования, один из лучших в мире дизассемблеров и интуитивно понятных декомпиляторов оказался в руках всех специалистов, стоящих на страже кибербезопасности. Эта книга, рассчитанная равно на начинающих и опытных пользователей, поможет вам во всеоружии встретить задачу RE и анализировать файлы, как это делают профессионалы.

Конвейеры обработки данных управляют потоком данных с момента их первоначального сбора до консолидации, очистки, анализа, визуализации и многого другого. Эта книга научит вас создавать и сопровождать эффективные конвейеры обработки данных с использованием платформы Apache Airflow. Те, кто мало знаком с Airflow, получат базовое представление о принципах работы этой платформы в I части книги. Далее обсуждаются такие темы, как создание собственных компонентов, тестирование, передовые практики и развертывание, – эти главы можно читать в произвольном порядке в зависимости от конкретных потребностей читателя.

Эта книга – отличный справочник по Agile. Авторы предлагают прозрачный план действий для придания бизнесу гибкости, для того чтобы быть конкурентоспособным в сложных современных условиях цифровых преобразований. Суть гибкости состоит в возможности создавать новые модели поведения и мышления во всей организации. Вам предложат минималистичный, но при этом результативный план действий, необходимый для изменения способов работы в организации и создания благоприятной среды для экспериментирования и обучения. Уроки, способы и инструменты, рассмотренные в книге, будут являться эффективным руководством для того, чтобы вы преуспели в путешествии к более высокой производительности и лучшим результатам. Издание будет полезно всем специалистам в области информационных технологий, руководителям бизнес-подразделений и владельцам компаний.

Это руководство по профессиональному освещению и рендерингу поможет вам освоить голливудские методы постановки света, которые будут работать в любой 3D-программе. Здесь представлена разноплановая информация – от тонкостей 3D-моделирования до компьютерных алгоритмов рендеринга и классических методов кинопроизводства. Доступный стиль изложения, красочные иллюстрации, многочисленные учебные задания обеспечивают увлекательное погружение в тему. Автор книги работал техническим директором в компании Pixar, принимал участие в создании анимационных фильмов «Тачки», «Валл-И», «Рататуй» и множества других, преподавал Maya в Autodesk. Издание будет полезно тем, кто имеет начальный опыт использования программных пакетов для 3D-моделирования и анимации и хочет улучшить свои навыки, а также профессионалам, которые хотят отточить свое искусство моделирования.

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

Учебно-методическое пособие предназначено для направлений подготовки магистратуры 05.04.02 География, 05.04.06 Экология и природопользование, 06.04.01 Биология, охватывает вопросы обработки экспериментальных данных. В пособии в доступной форме изложены методы статистической обработки результатов научных исследований с использованием MS Excel. Может быть использовано студентами, научными сотрудниками и преподавателями при подготовке дипломных проектов, диссертационных работ и научных статей.

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

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

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

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

Термин «электронные формулы» применительно к теории вероятностей употребляется впервые для обозначения принципиально новой технологии компьютеризации математического аппарата прикладной теории. Язык электронных формул не копирует стиль аналитических формул, однако имеет адекватную компьютерную поддержку в виде специально разработанной библиотеки программ и классов в объектно-ориентированной среде MATLAB. Контекстно-зависимое применение программного обеспечения классов объектов обусловливает принципиальное преимущество электронных формул, оперирующих числовыми типами и объектами классов. В монографии систематически по разделам теории вероятностей приведены теоретические обоснования электронных формул и многочисленные примеры их применения в решении характерных вероятностных задач. Предлагаемая технология решения вероятностных задач развивалась в течение ряда лет как методическое обеспечение цикла дисциплин, читаемых автором на выпускающей кафедре «Высокоточные летательные аппараты» МГТУ им. Н.Э. Баумана.

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

Изложен материал, определяющий связь физических и математических моделей, описывающих на микроуровне свойства материалов (в основном кристаллической структуры), используемых в современной технике. Содержание пособия соответствует образовательной программе подготовки бакалавров по направлению «Прикладная математика». Использованы материалы лекций, которые авторы читают в МГТУ им. Н.Э. Баумана.

В третьем томе комплекса учебников серии «Прикладная механика сплошных сред» изложены вопросы использования разностных методов вычислительной математики применительно к задачам физики быстропротекающих процессов. Рассмотрены фундаментальные понятия теории разностных схем, представлены основные сеточные конечно-разностные методы, численный метод характеристик, конечно-разностные методы семейства частиц в ячейках. Приведены постановки, алгоритмы численного решения и результаты решения ряда одномерных и двумерных нестационарных задач при использовании лагранжевых, эйлерово-лагранжевых и эйлеровых методов. Обсуждены проблемы технологии проведения вычислительного эксперимента и приведены примеры, демонстрирующие возможности численного моделирования как инструмента исследования быстропротекающих процессов. Материал учебника предназначен для первоначального ознакомления учащихся высших технических учебных заведений с теорией разностных схем и основами практического использования численных методов при решении задач физики взрыва и механики высокоскоростного соударения различных деформируемых тел и сред. В основу учебника положен материал лекций, читаемых авторами студентам МГТУ им. Н.Э. Баумана.

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

Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведе- ния агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации муль- тиагентных интеллектуальных систем, используя предварительно со- ставленную спецификацию и сформулированные на языке модальной логики условия их корректности.

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

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

Приведены задания для закрепления теоретических знаний и приобретения практических навыков в черчении.

Рабочая тетрадь предназначена для записи лекций по начертательной геометрии, читаемых на кафедре «Инженерная графика» МГТУ им. Н.Э. Баумана. Содержится текстовый и графический материал, требующийся при изложении курса лекций.

Рабочая тетрадь предназначена для записи лекций по начертательной геометрии, читаемых на кафедре «Инженерная графика» МГТУ им. Н.Э. Баумана. В рабочей тетради содержится графический материал, требующийся при изложении курса лекций. Пояснения к чертежам следует делать на свободных полях тетради или на чистых листах бумаги, вставив их между страницами тетради.

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

Изложены основные определения, понятия, алгоритмы решения и задачи для самостоятельного решения в целях закрепления теоретического материала дисциплины «Инженерная графика».