Энциклопедия компьютерной алгебры. Книга 1 В. П. Дьяконов ДМК Пресс

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки

Если вы интересуетесь машинным обучением (Machine Learning) и глубоким обучением (Deep Learning), то этот двухтомник для вас • Эта книга не похожа на большинство других учебников и руководств по глубокому обучению – в ней нет ни детального алгоритмического анализа, сопровождаемого обширной математикой, ни развернутых листингов программного кода. Автор выбрал золотую середину - благодаря дружелюбному подходу, сопровождаемому огромным количеством цветных иллюстраций, а также детальному и скрупулезному описанию, он глубоко освещает основополагающие идеи глубокого обучения и нейронных сетей • Второй том посвящен нейронным сетях – быстро развивающемуся направлению машинного обучения. В первом томе, вышедшем в издательстве «ДМК Пресс» ранее, изложены фундаментальные основы глубокого обучения

Куда бы ты ни отправился, «Энциклопедия для мальчиков. Книга приключений» всегда пригодится. Если ты скучаешь на даче, открой эту книгу, и время пролетит незаметно — не только весело, но и с пользой! Пригласил в гости друзей и не знаешь, чем их занять, — эта книга предложит тебе весёлые игры и развлечения, так что время пролетит незаметно. Любишь природу, животных и звёздное небо — загляни в книгу, и сможешь узнать много нового и интересного! Листая яркие страницы с увлекательным текстом, ты найдёшь для себя замечательные идеи и занятия на все случаи жизни

Книга содержит необходимые сведения из универсальных и классических алгебр, системы аксиом для основных алгебраических структур (группоид, моноид, полугруппы, группы, частичные порядки, кольца, поля). Описываются основные криптографические алгоритмы. Рассматриваются ставшие классическими помехоустойчивые коды - линейные, циклические, БЧХ. Приводятся алгоритмы проектирования таких кодов. В основу книги положен многолетний опыт преподавания авторами дисциплины "Дискретная математика" на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Московского энергетического института. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3 • В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники • Национального исследовательского университета Московский энергетический институт

Книга посвящена применению матричной системы MATLAB в радиотехнических расчетах и в моделировании радиоэлектронных устройств и систем. Описаны новейшие версии MATLAB с пакетами расширения Simulink, Signal Processing Toolbox, Filter Design Toolbox, RF Toolbox и Blockset, Wavelet Toolbox, Control Systems, SimPowerSystems и др. Также в книге рассказывается о новейших пакетах Simscape и SimElectronics моделирования электронных схем. Наряду с функциями командного режима работы описан интерактивный и визуально-ориентированный инструментарий пакетов c графическим интерфейсом пользователя GUI и математическое моделирование систем и устройств в среде Simulink. Описана интеграция MATLAB с современными цифровыми радиоизмерительными приборами и виртуальными лабораториями для управления приборами и обработки реальных осциллограмм

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

Книга предназначена для самостоятельной подготовки учащихся к единому государственному экзамену по информатике и ИКТ, который начиная с 2021 года будет проходить в компьютерной форме. Согласно демонстрационному варианту ЕГЭ 2021 года, в содержании экзамена будет существенно увеличено количество заданий, связанных с алгоритмизацией и программированием. Таким задачам в книге уделяется особое внимание. Обсуждаются и методики выполнения других заданий, представленных в демонстрационном варианте • В приложениях приведены вспомогательные материалы, связанные с заданиями ЕГЭ • Кроме учащихся старших классов, готовящихся к сдаче экзамена, книгу могут использовать преподаватели информатики, а также студенты и школьники, желающие углубить общие знания по информатике и ИКТ

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

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

Книга посвящена PIC-микроконтроллерам - одному из самых популярных семейств современных микроконтроллеров. В справочнике имеются псе необходимые сведения, аппаратные и программные решения. По широте охвата и объему рассматриваемого материала книга претендует на статус малой энциклопедии. Здесь представлены классификация и архитектура различных подсемейств Р1С-контроллеров, сравнительные характеристики типов, разводка выводов, системы команд, подробная спецификация управляющих регистров. Рассказывается о принципах работы основных узлов, приведены таблицы временных и электрических характеристик, алгоритмы программирования. Дано описание языков программирования и средств разработки приложений • Издание предназначено для широкого круга читателей - от начинающих радиолюбителей до специалистов, работа которых связана с использованием Р1С-микроконтроллеров

«Книга с кометой» (или OSTEP) — итог почти 20 лет преподавания курса «Введение в операционные системы» для студентов и магистрантов на факультете компьютерных наук Висконсинского университета • В книге рассматриваются три фундаментальные концепции операционных систем • - виртуализация (процессора и памяти) • - конкурентность (блокировки и условные переменные) • - долговременное хранение (диски, RAID-массивы, файловые системы) • Сочетая чтение книги с выполнением домашних заданий и работой над серьезными проектами, читатели приходят к более глубокому пониманию современных ОС • Ремзи и Андреа Арпачи-Дюссо — профессора информатики Висконсинского университета в Мэдисоне. Занимаются исследованиями в области вычислительных систем более 20 лет. Опубликовали свыше 100 работ по производительности и надежности современных ОС, уделяя особое внимание файловым системам и системам хранения