ДМК-Пресс Введение в логическое программирование Дженесерет Майкл, Чаудри Винай К

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

Научись разговаривать с компьютером на его языке! Чтобы создать свою игру, начать собственное дело или решить важную проблему при помощи компьютера, для начала нужно научиться программировать • «Hello World! Программирование для детей и взрослых» – это отлично иллюстрированное введение в программирование. На примере Python авторы показывают, что учить компьютерные языки легко и интересно • Эта книга привносит в твою жизнь компьютерные понятия: «алгоритмы», «циклы», «ввод и вывод», «графика» и многое другое. Написанные отцом и сыном, все три издания бестселлера высоко оценили как дети, так и профессиональные педагоги

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

Задача данной книги проста: разобрать «идеи», лежащие в основе программ, и показать, как доказывать их правильность • Как математически доказать, что заданный алгоритм делает то, что он должен делать? И почему это так важно? • Доказывается правильность классических алгоритмов: целочисленного деления, алгоритм Евклида, ранжирования, др. Помимо традиционных алгоритмов, таких как жадные алгоритмы, алгоритмы динамического программирования и алгоритмы «разделяй и властвуй», книга исследует также рандомизированные и онлайновые алгоритмы. Первые стали повсеместными из-за появления криптографии, а вторые необходимы во многих областях, начиная с операционных систем и заканчивая фондовым рынком • Книга усеяна задачами. Большинство задач теоретические, но многие требуют реализации алгоритма; для таких задач используется язык программирования Python 3

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

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

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

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

Данная книга содержит пошаговые инструкции по использованию новых возможностей EСMAScript 6 вместо устаревших трюков и приемов программирования на JavaScript. Книга начинается со знакомства со всеми встроенными объектами ES6 и описания создания итераторов ES6. Затем она расскажет, как писать асинхронный код с помощью ES6 в обычном стиле синхронного кода. Далее описывается использование программного интерфейса рефлексии Reflect API для исследования и изменения свойств объектов. Затем рассматривается создание прокси-объектов и их применение для перехвата и изменения поведения операций с объектами. И, наконец, демонстрируются устаревшие методы модульного программирования, такие как IIFE, CommonJS, AMD и UMD, и сравниваются с модулями ES6, способными значительно увеличить производительность веб-сайтов

Создание облачных реактивных систем с помощью Spring 5 и Project Reactor • Современному бизнесу необходимы программные системы нового типа, способные оставаться отзывчивыми при любых нагрузках. Эту потребность можно удовлетворить с использованием приемов реактивного программирования; однако разработка таких систем - сложная задача, требующая глубокого понимания предметной области. Для разработки отзывчивых систем разработчики Spring Framework придумали и создали проект Project Reactor • Данная книга начинается с основ реактивного программирования в Spring. Вы исследуете многочисленные возможности построения эффективных реактивных систем с помощью Spring 5 и других инструментов, таких как WebFlux и Spring Boot. Познакомитесь с методами реактивного программирования и научитесь использовать их для взаимодействий с базами данных и между серверами

Книга представляет собой краткое изложение курса лекций "Введение в математические основы САПР", организованного Новосибирским государственным университетом при поддержке компании ЛЕДАС. Лекции рассчитаны на студентов старших курсов, специализирующихся в области прикладной математики, информатики и информационных технологий. Излагаемый материал может быть полезен разработчикам САПР, ученым, инженерам, а также всем интересующимся современными тенденциями в области автоматизации промышленных процессов

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