Программирование

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

В пособии приведены эффективные приемы работы с распространенными офисными приложениями, программными средствами математического и имитационного моделирования.

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

Рассмотрены основные практические навыки работы в среде PyCharm. В качестве базовых элементов работы в среде PyCharm даны рекомендации по установке среды PyCharm, началу работы, правилам выполнения программы, дополнительным вариантам выполнения команд, переименованию переменных и базовой настройке IDE PyCharm. Приведено описание и рассмотрены основные правила использования среды разработки Jupyter Notebook, которая, в первую очередь, ориентирована на программирование средствами Python. Среда Jupyter Notebook позволяет сразу видеть результаты выполнения программного кода, а также обеспечивает работу с отдельными его фрагментами. Среда разработки позволяет отдельно загрузить файл в память, отдельно проверить его содержимое и отдельно его обработать.

Изложены необходимые для освоения курса сведения – краткий конспект лекций, методические указания к выполнению лабораторных работ, а также образцы тестовых вопросов. Направления подготовки: 10.03.01 (профиль «Информационно-аналитические системы безопасности»), 09.03.01 «Информатика и вычислительная техника», а также образовательные программы, 09.03.02 «Информационные системы и технологии», 09.03.04 «Программная инженерия», 02.03.03 «Математическое обеспечение и администрирование информационных систем» по дисциплине «Методы и модели инженерии знаний».

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

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

В пособии изложены основы программирования на языке C++, приведены примеры составления алгоритмов и программных кодов по разделам курса «Технологии программирования», представлены задания для самостоятельной работы студентов. Автором также учтен опыт проведения лекционных, практических и лабораторных занятий по программированию для студентов направления 09.03.02 Информационные системы и технологии. Предназначено для студентов младших курсов, специализирующихся в области ин-формационных технологий, и преподавателей, ведущих практические занятия по программированию.

Пособие подготовлено по курсу программирования, читаемому в Оренбургском государственном педагогическом университете для студентов физико-математического факультета. Содержит примеры программ, написанных в среде PascalABC.NET, а также задачи для самостоятельного решения. Пособие может использоваться в качестве задачника при изучении других языков программирования высокого уровня.

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

Изложены основные приемы работы в пакете MathCAD версии 15, описаны порядок и правила создания и редактирования основных вычислений, выполнение символьных и матричных вычислений, а также применение численных методов для решения типовых задач с примерами их реализации.

Уже больше десяти лет программисты на Ruby обращаются к данной книге как к надежному источнику сведений о том, как эффективно писать на этом языке. А теперь Хэл Фултон и Андрэ Арко изрядно обновили этот классический труд, включив описание новых средств языка и инструментов. Новое издание охватывает версию Ruby 2.1 и содержит более 400 примеров, отвечающих на вопрос «Как это делается в Ruby?». Все примеры сопровождаются подробным описанием задачи и технических ограничений. Затем дается пошаговое объяснение одного хорошего решения с детальными комментариями, позволяющими лучше усвоить материал. Третье издание удобно организовано по темам, так что стало еще проще найти ответ на свой вопрос и писать более качественный код в согласии с духом и философией Ruby.

Давай вместе отправимся в удивительный мир программирования — страну Алгоритмию, где ты сможешь помочь котенку Scratch спасти Инфоград от злобного Вируса. Ты научишься создавать игры и анимации, которыми сможешь поделиться с друзьями. Программировать — это интересно. А программировать игры — вдвойне! Скорее бери в руки мышь и вперед — в захватывающее путешествие! Время кодить настало! Программирование — увлекательное и полезное занятие для детей и взрослых. Специальный язык Scratch поможет даже новичку быстро собрать игру из цветных блоков, словно пазл. Создание игры — это обучение с развлечением, а сказочный сюжет необходим для поддержания интереса ребенка. В данной книге представлены 30 полноценных проектов.

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

Книга представляет собой самоучитель по одной из лучших САПР КОМПАС-3D V13, предназначенной для выполнения чертежно-конструкторской документации, построения объемных 3D-моделей, сборок и листовых деталей. По итогам Всероссийского конкурса в 2004 году (г. Москва) первое издание этой книги отмечено призом за победу в номинации «Лучшая учебно-методическая разработка по применению КОМПАС-3D». В нынешнем восьмом издании впервые приводятся примеры выполнения прочностных расчетов методом конечных элементов с помощью встроенного модуля системы прочностного анализа APM FEM, компании НТЦ АПМ.

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

Учебник разработан с учетом требований профессиональных стандартов, сопряженных с профессиональной деятельностью выпускника: «Программист», «Администратор баз данных», «Специалист по информационным системам», «Руководитель проектов в области информационных технологий», «Специалист по тестированию в области информационных технологий», «Технический писатель», «Системный администратор информационно-коммуникационных систем», «Специалист по администрированию сетевых устройств информационно коммуникационных систем». Учебник предназначен для бакалавров направлений подготовки 09.03.01 — Информатика и вычислительная техника, 09.03.02 — Информационные системы и технологии, 09.03.04 — Программная инженерия, 09.04.01 — Информатика и вычислительная техника (магистратура). Учебник включает дипломированные лабораторные работы и практические задания, разработанные на соответствие требований профессиональных стандартов 06 группы: Связь и информационно-коммуникационные технологии. В каждом практическом задании определяется цель, прилагается теоретический материал, представляются способы решений заданий. По таблице критериев оценивания выполненного задания обучающийся может самостоятельно проверить и оценить себя.

В книге рассмотрена система NX CAM, предназначенная для создания управляющих программ для станков с ЧПУ. NX CAM реализует широкий набор функций, в том числе обработку призматических деталей, сложной профильной оснастки, а также деталей типа турбинных лопаток и моноколес. Отдельные главы книги посвящены токарной, токарно-фрезерной обработке и операциям измерения на станке. Подробно рассмотрено использование встроенного модуля симуляции станка для проверки управляющих программ вне станка, что позволяет исключить стадию отладки программ на станке и в целом повышает производительность оборудования. В книге затронута тема совместного использования NX CAM с системой управления инженерными данными Teamcenter, что открывает перед предприятиями широкие перспективы построения единого информационного пространства предприятия. Все модели, рассмотренные в книге, можно найти на корпоративном сайте Siemens PLM Software по следующей ссылке www.siemens.com/plm/ru/cam_models.

Ruby - относительно новый объектно-ориентированный язык, разработанный Юкихиро Мацумото в 1995 году и позаимствовавший некоторые особенности у языков LISP, Smalltalk, Perl, CLU и других. Язык активно развивается и применяется в самых разных областях: от системного администрирования до разработки сложных динамических сайтов. Книга является полноценным руководством по Ruby - ее можно использовать и как учебник, и как справочник, и как сборник ответов на вопросы типа «как сделать то или иное в Ruby». В ней приведено свыше 400 примеров, разбитых по различным аспектам программирования, и к которым автор дает обстоятельные комментарии.

Книга посвящена одному из самых популярных встраиваемых языков — Lua. Этот язык использовался во многих играх и большом количестве различных приложений. Язык сочетает небольшой объем занимаемый памяти, высокое быстродействие, простоту использования и большую гибкость. Книга рассматривает практически все аспекты использования Lua, начиная с основ языка и заканчивая тонкостями расширения языка и взаимодействия с С. Важной особенностью книги является огромный спектр охватываемых тем — практически все, что может понадобиться при использовании Lua. Также к каждой главе дается несколько упражнений, позволяющих проверить свои знания. Книга будет полезна широкому кругу программистов и разработчиков игр. Для понимания последних глав книги необходимо знание языка С, но для большинства остальных глав достаточно базовых знаний о программировании.

В данной книге речь идёт о работе процессора в двух его основных режимах: защищённом режиме и 64-битном, который также называют long mode («длинный режим»). Также помимо изложения принципов и механизмов работы процессора в защищённом и 64-битном режимах, речь пойдёт о программировании на ассемблере в операционных системах семейства Windows, как в 32-битных, так и 64-битных версиях. Рассматривается не только разработка обычных приложений для операционных систем Windows, но и разработка драйверов на ассемблере. При написании книги уделялось большое внимание именно практической составляющей, т.е. изложение материала идёт только по делу и только то, что необходимо знать любому системному и низкоуровневому программисту. Последний раздел книги посвящён принципам работы многопроцессорных систем, а также работе с расширенным программируемым контроллером прерываний (APIC). На сайте издательства находятся полные исходные коды примеров к книге, а также дополнительные программы и материалы.

На сегодняшний день Go — самый впечатляющий из новых языков программирования. Изначально он создавался для того, чтобы помочь задействовать всю мощь современных многоядерных процессоров. В этом руководстве Марк Саммерфильд, один из основоположников программирования на языке Go, показывает, как писать программы, в полной мере использующие его революционные возможности и идиомы. Данная книга представляет собой одновременно и учебник, и справочник, сводя воедино все знания, необходимые для того, чтобы продолжать освоение Go, думать на Go и писать на нем высокопроизводительные программы. Автор приводит множество сравнений идиом программирования, демонстрируя преимущества Go перед более старыми языками и уделяя особое внимание ключевым инновациям. Попутно, начиная с самых основ, Марк Саммерфильд разъясняет все аспекты параллельного программирования на языке Go с применением каналов и без использования блокировок, а также показывает гибкость и необычность подхода к объектно-ориентированному программированию с применением механизма динамической типизации. Издание предназначено для программистов разной квалификации, желающих освоить и применять в своей практике язык Go.

Почему многие выбирают Clojure? Потому что это функциональный язык программирования, не только позволяющий использовать Java-библиотеки, службы и другие ресурсы JVM, но и соперничающий с другими динамическими языками, такими как Ruby и Python. Эта книга продемонстрирует вам гибкость Clojure в решении типичных задач, таких как разработка веб-приложений и взаимодействие с базами данных. Вы быстро поймете, что этот язык помогает устранить ненужные сложности в своей практике и открывает новые пути решения сложных проблем, включая многопоточное программирование.

Книга рассчитана на тех, кто нуждается в понятном и доступном введении в язык C++, и может использоваться как самоучитель. Она также рассказывает о компьютерах и алгоритмическом решении задач, поэтому может служить в качестве первого учебника программирования. Авторы убедительно показывают, что темы, когда-то считавшиеся слишком сложными для вводного курса по С++ и объектно-ориентированному программированию, можно успешно объяснять на ранних стадиях обучения. Книга является удачным выбором для первого знакомства с С++. Материал излагается в строгой, но доступной для начинающего программиста форме. Авторы приводят многочисленные откомпилированные и проверенные упражнения с ответами.

Данная книга рассказывает об особенностях программирования для новых версий AutoCAD (2013–2015). В ней разъясняется процесс написания программного кода на четырех языках: C++, C#, LISP, VBA. Рассмотрены среды разработки Microsoft Visual Studio 2010–2013, Microsoft Visual Basic 7.1, а также библиотеки ObjectARX 2013–2015, AutoCAD .NET API 2013–2015. Описан механизм проектирования интеллектуальных объектов (custom objects), которые становятся новыми примитивами AutoCAD. Методически книга может использоваться и при работе с предыдущими версиями AutoCAD.

Данная книга открывает серию переводов зарубежных изданий по проектированию цифровых систем, которую готовят к выходу в свет компания «ДМК Пресс» и МИЭМ НИУ ВШЭ при поддержке группы компаний YADRO (yadro.com). Она предназначена для тех, кто хочет узнать о том, как устроена технология FPGA, и получить практический опыт работы с реальными проектами. Читатель получит общее представление о программируемых логических интегральных схемах, научится программировать на языке SystemVerilog, разработает, выполнит тестирование и реализует ряд проектов разной степени сложности от простого калькулятора до комплексного проекта, использующего AXI и внешнюю периферию, подключенную через PS/2 и VGA. Демонстрационные примеры реализованы на доступных платах Nexys A7 или Basys 3 (с чипами Xilinx) и сопровождаются исходными кодами.

PascalABC.NET — современная версия языка программирования Паскаль, предназначенного для обучения программированию. Настоящий практикум включает краткую справку по языку и собственно задания и упражнения для лабораторных и практических занятий по таким дисциплинам, как «Информатика и программирование», «Языки программирования» и ряду других. Задания разделены по темам, и в каждом разделе приведены решения наиболее типичных задач. В силу простоты и доступности, язык PascalABC.NET широко используется на начальных этапах обучения программированию.

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

Учебное пособие содержит 662 задачи различного уровня сложности — от легких упражнений до сложных прикладных программ. На конкретных примерах показан профессиональный подход к стилю программирования, к надежности и корректности алгоритмов и программ. Глава 1 книги («Основы программирования») содержит 439 задач, многие из которых по силам школьникам и студентам подготовительного курса. Содержание этой части соответствует учебным программам по информатике, но не дублирует базовых учебников. За исключением нескольких простых упражнений, все программы проверены в системе Turbo Pascal 7.

Применение машинного обучения для лучшего понимания природы данных — умение, необходимое любому современному разработчику программ или аналитику. Python — замечательный язык для создания приложений машинного обучения. Благодаря своей динамичности он позволяет быстро производить разведочный анализ данных и экспериментировать с ними. Обладая первоклассным набором библиотек машинного обучения с открытым исходным кодом, Python дает возможность сосредоточиться на решаемой задаче и в то же время опробовать различные идеи. Книга начинается с краткого введения в предмет машинного обучения и знакомства с библиотеками NumPy, SciPy, scikit-learn. Но довольно быстро авторы переходят к более серьезным проектам с реальными наборами данных, в частности, тематическому моделированию, анализу корзины покупок, облачным вычислениям и др.

Книга известного специалиста в области информатики Никлауса Вирта написана по материалам его лекций по вводному курсу проектирования компиляторов. На примере простого языка Оберон-0 рассмотрены все элементы транслятора, включая оптимизацию и генерацию кода. Приведен полный текст компилятора на языке программирования Оберон.

Книга во всех подробностях освещает параллельное программирование на современном C++. Особое внимание уделено опасностям и трудностям параллельного программирования (например, гонке данных и мертвой блокировке) и способам борьбы с ними. Приводятся многочисленные примеры кода, позволяющие читателю легко закрепить теорию на практических примерах. Издание адресовано читателям, которые хотят освоить параллельное программирование на одном из наиболее распространенных языков.

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

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

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

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

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

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

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

Настоящее учебное пособие – это продолжение учебного пособия «Введение в искусственный интеллект и логическое программирование. Программирование в среде Visual Prolog», представляющего собой вводную часть курса по искусственному интеллекту, основной целью которой является изучение модели представления знаний на основе классических логических исчислений – исчисления высказываний и исчисления предикатов. В пособии рассматриваются: работа с рекурсивными структурами данных в Прологе, назначение и применение предиката «Отсечение», а также внелогические предикаты Пролога и предикаты работы со строками.

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

В книге рассматривается программирование для 64-разрядной архитектуры x86 и использование расширенного набора векторных команд (AVX). Изучив этот материал, вы сможете кодировать быстродействующие функции и алгоритмы с использованием 64-разрядного языка ассемблера x86 и расширений набора команд AVX, AVX2 и AVX-512. Примеры исходного кода разработаны с использованием Visual Studio C++ и MASM; для их запуска рекомендуется ПК на базе x86 с 64-разрядной ОС Windows 10 и процессором, поддерживающим AVX. Предполагается, что читатели имеют опыт программирования на языках высокого уровня и базовые знания C++.

Цель этой книги – показать, как используются инструкции языка ассемблера, и научить читателей программировать на нем – начиная с создания самых простых программ и заканчивая использованием расширенной системы команд Advanced Vector Extensions (AVX). Для изучения практической части потребуется знание основы программирования на каком-либо языке высокого уровня, например C. Теоретический материал сведен к необходимому минимуму: немного информации о двоичных числах, краткое описание логических операторов и кое-что об основах линейной алгебры. Исходный ассемблерный код представлен в виде завершенных программ, которые читатель может протестировать на своем компьютере и поэкспериментировать с ними. Рассматриваются инструментальные средства, которыми можно воспользоваться, и потенциальные проблемы при использовании этих инструментов. Основная часть книги содержит информацию о применении ассемблера в ОС Linux; несколько заключительных глав описывают работу в Windows.

В этой книге описывается работа на развлекательной платформе Roblox – от программирования в Roblox Lua до создания игр в жанре обби и «Королевская битва». Подробно рассмотрены возможности Roblox Studio, приёмы изменения настроек игры, сценарии программирования. Читатель сможет выполнить практические упражнения, используя примеры кода, и узнает, как достичь максимальной популярности игры путем внедрения хорошей механики, монетизации и маркетинговых методов.

Иногда нас называют мартышками, работающими с данными, но на самом деле мы чаще походим на волшебников. Наши данные редко появляются на свет в готовом к работе виде, и у нас могут уходить долгие часы на их очистку, фильтрацию и преобразование. Power Query помогает сократить этот процесс при первичной нажатию на кнопку. Когда дело касается импорта, очистки и преобразования исходных данных для дальнейшего анализа, освоить Power Query бывает гораздо легче, чем выучить формулы Excel или язык программирования VBA. Нет сомнений, что Power Query навсегда изменит подход специалистов Excel к работе с данными. Если у вас есть Excel, значит, у вас уже есть Power Query – этот инструмент встроен в Excel 2016 и выше. Эта книга поможет вам извлечь максимум пользы из Power Query.

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

Начните работу с Apache Flink, фреймворком с открытым исходным кодом, на котором основаны многие крупнейшие в мире системы обработки потоковых данных. В данной книге вы изучите фундаментальные понятия параллельной потоковой обработки и узнаете, чем эта технология отличается от традиционной пакетной обработки данных. Ф. Уэске и В. Калаври, занятые в проекте Apache Flink с первых дней, покажут вам, как создавать масштабируемые потоковые приложения с помощью API Flink DataStream, а также непрерывно выполнять и поддерживать эти приложения в операционных средах. Потоковая обработка идеально подходит для многих задач: подготовки данных с малой задержкой, потоковой аналитики и информационных панелей в реальном времени, раннего оповещения и обнаружения мошенничества. Вы можете обрабатывать потоковые данные любого типа, включая взаимодействия с пользователем, финансовые транзакции и данные интернета вещей, немедленно после получения.

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

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

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