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

R – безусловно лучшая среда для интерактивного анализа данных. Тем не менее язык R имеет множество особенностей, которые иногда скудно документированы. В данной книге Хэдли Уикем, один из лучших в мире гуру по R, проясняет эти неясные уголки и знаком…

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

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

Книга основана на курсах лекций по формальным методам верификации программ, читаемых автором на кафедрах системного программирования МГУ, МФТИ и ВШЭ. Список тем включает: методы формализации семантики языков программирования (операционная и аксиомати…

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

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

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

Знакомая нам уже много лет плата Arduino Uno R3 на основе недорогого 8-битного процессора ATmega328P – возможно, самый популярный представитель семейства Arduino. Недавно была выпущена новая плата Arduino Uno R4 на основе 48-мегагерцевого 32-битного …

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

PyCharm – лучшая профессиональная среда разработки для программистов Python среди множества доступных интегрированных сред. Независимо от того, в каких целях используется Python – для общих задач автоматизации, создания утилит, веб-приложений, анализ…

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

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

В книге детально рассмотрены аппаратные возможности микроконтроллера STM32, включая порты GPIO и другие периферийные устройства, такие как USB и контроллеры шины CAN. Приведена настройка программного обеспечения для Windows. Используя FreeRTOS и библ…

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

В книге рассказывается о «проблеме остановки», пожалуй, самой знаменитой неразрешимой проблеме: может ли алгоритм за конечное время решить, остановится ли когда-нибудь произвольная компьютерная программа? Проблема остановки «кроется» во многих предме…

Цель данной книги – укрепить навыки логического рассуждения и развить творческое мышление, представив и решив 90 не самых простых задач на Python. Задачи изложены доходчиво и сжато, снабжены алгоритмами и комментариями, что помогает читателям следить…

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

Данная книга продолжает серию «Книжная полка Истового инженера», которая издается при поддержке компании YADRO. Издание подготовлено к публикации Московским институтом электроники и математики им. А. Н. Тихонова НИУ ВШЭ совместно с издательством «ДМК…

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

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