ДМК-Пресс От математики к обобщенному программированию Степанов Александр, Роуз Дэниэл Э

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

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

Данная манга рассказывает о том, как студент Юта Сакурай, которого отправили на переэкзаменовку, познакомился с королевой математики Госпожой Химуро, но не превратился в камень от страха! Если уж сама королева объясняет тебе, зачем нужны комплексные числа - ты точно не забудешь про формулу Эйлера и мнимую единицу. А если ты вдруг опоздал на урок, Химуро охотно примет извинения вместо цветов, - попроси только рассказать про полярную систему координат • Цель книги - заинтересовать школьников, студентов и просто пытливых читателей этим особенным разделом математики, а также показать использование комплексных чисел на практике

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

Скольких красок достаточно для раскрашивания любой географической карты? Какие типы правильных многоугольников подходят для составления мозаичного узора? Как рассчитать вероятность поступления в один из нескольких выбранных вузов? Ответ на эти и другие вопросы помогают найти теоремы • Помимо разбора увлекательных задач читатель найдёт в книге любопытные истории – о появлении математических символов, о «числе Шахерезады», о том, к каким неожиданным результатам приводит многократное умножение на 2, и о многом другом. В конце каждой главы приводятся краткие рассказы об известных математиках прошлого • Издание заинтересует всех, кого увлекают решение математических задач и малоизвестные факты из истории математики

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

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

В книге рассматривается широкий круг вопросов, связанных с практическим применением популярных микроконтроллеров 8051 и их расширений в системах управления и контроля. Основной упор сделан на практические аспекты разработки цифровых и аналоговых интерфейсов, использования таймеров, визуализации результатов измерений в системах сбора информации. Значительная часть материала посвящена практическому программированию в популярной среде разработки Kerf uVision. Приводятся многочисленные примеры разработки несложных аппаратно-программных систем сбора аналоговой и цифровой информации, измерительных систем, систем управления внешними устройствами и т. д. Все приведенные в книге проекты разработаны и проверены на отладочном модуле Rita-51 фирмы Rigel Corp

Эта книга представляет собой рецепты программирования на языке Java, описывающие нововведения версий 8 и 9. В книге вы найдете массу примеров кода, демонстрирующих почти все обсуждаемые языковые и библиотечные средства. Эти примеры намеренно сделаны как можно более простыми, чтобы сосредоточиться на основных отличительных моментах. Все они могут послужить вам неплохой отправной точкой для разработки собственного кода • Издание будет полезно опытным программистам, уже работающим на Java

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

Если вы уже владеете программированием на языке Haskell, эта книга научит вас использованию множества интерфейсов и библиотек, предназначенных для написания параллельных и конкурентных программ. Вы узнаете, как распараллеливание на многоядерные процессоры позволяет ускорять вычислительно нагруженные программы и как конкурентность облегчает написание программ с активно взаимодействующими между собой и с другими программами потоками • Автор Саймон Марлоу проведёт вас по этому пути, сопровождая его большим количеством примеров, с которыми можно самостоятельно экспериментировать, запуская, изменяя и расширяя. Книга делится на две части, посвященные таким инструментам, как Parallel Haskell и Concurrent Haskell, включённые в неё упражнения позволят вам научиться • выражать параллелизм в языке Haskell средствами монады Eval и стратегий вычислений • распараллеливать обычный код на языке Haskell в монаде Par • организовывать параллельные вычисления с массивами на основе библиотеки Repa • использовать библиотеку Accelerate для запуска вычислений на графических процессорах • работать с базовыми интерфейсами для написания конкурентного кода • реализовывать высокопроизводительные конкурентные сетевые серверы • писать распределённые программы, запускающиеся на множестве машин сети

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