kuxtexnika.ru

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

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

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

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

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

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

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

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

Вы узнаете о современных IT-профессиях и актуальных технологиях. Познакомитесь на практике с популярными языками программирования, напишете сайт и небольшие программы. Пройдёте тест на определение IT-талантов и поймёте, с какой образовательной программы Skillbox лучше начать карьеру.

Введение в нейролингвистическое программирование

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

Введение в нейролингвистическое программирование

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

Ефимова Елена Анатольевна Программирование на языке Пролог для задач искусственного интеллекта. Введение в логическое программ

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

Сенлорен Симон, Эйзенберг Дэвид Введение в Elixir. Введение в функциональное программирование

Отличное введение в Elixir для людей с практическим складом ума. Авторы сразу переходят к сути и дают прекрасный обзор возможностей языка Elixir, достаточно глубокий, чтобы познакомить читателя с языком и вызвать желание попробовать его. Красивый, мощный и компактный, язык программирования Elixir отлично подходит для изучения функционального программирования, и это практическое введение покажет вам, насколько широкими возможностями он обладает. Авторы расскажут, как Elixir сочетает в себе надежность языка функционального программирования Erlang с подходом, который больше похож Ruby, а также мощную поддержку макросов для метапрограммирования. Эта книга поможет вам шаг за шагом освоить разработку программ на Elixir. Познакомившись с сопоставлением с образцом, программированием процессов и другими идеями, вы поймете, почему на Elixir так просто писать параллельные, надежные и отказоустойчивые программы, которые легко масштабируются как вверх, так и вниз. С этой книгой вы: - освоите IEx - интерфейс командной строки Elixir; - исследуете основные структуры данных в Elixir; - познакомитесь с атомами, с механизмом сопоставления с образцом и ограничителями: основными конструкциями структурирования программ; - изучите приемы обработки данных в Elixir с применением рекурсии, строк, списков и функций высшего порядка; - узнаете, как создавать процессы и пересылать сообщения между ними; - освоите сохранение и управление структурированными данными, хранящимися в Erlang Term Storage (ETS) и базе данных Mnesia; - научитесь создавать отказоустойчивые приложения с Open Telecom Platform (OTP).

Харрисон Мишель Как устроен Python. Гид для разработчиков, программистов и интересующихся

Иллюстрированное введение в программирование на Python предназначено для разработчиков и всех, кто стремится быстро изучить Python.

Харрисон Мишель Как устроен Python. Гид для разработчиков, программистов и интересующихся

Иллюстрированное введение в программирование на Python предназначено для разработчиков и всех, кто стремится быстро изучить Python.

Логическое программирование и Visual Prolog/CD

Адаменко Анатолий Логическое программирование и Visual Prolog в подлиннике

Книга посвящена наиболее распространённому в мире языку логического программирования Visual Prolog. В ней рассматриваются математические основы логического программирования, история, идеи и методы этого направления науки, его применение в задачах икусственного интеллекта и экспертных системах. Описание Visual Prolog базируется на фирменной документации Prolog Development Center (PDC). Последовательно и подробно рассмотрены вопросы установки системы, синтаксис языка, принципы, методы и особенности программирования, методы стыковки с другими широко используемыми языками программирования, вопросы создания графического интерфейса и баз данных и другие аспекты программирования на Visual Prolog. Прилагается CD, содержащий дистрибутив системы, упражнения и примеры из книги.

Рубио-Санчес М. Введение в рекурсивное программирование

Подробно анализируя широкий спектр вычислительных задач различной сложности, книга послужит полезным руководством для всех тех, кто хочет научиться думать и программировать рекурсивно. .Издание содержит специальные главы о наиболее распространенных типах рекурсии (линейной, хвостовой, множественной), а также о парадигмах разработки алгоритмов, где преобладает рекурсия («разделяй и властвуй» и перебор с возвратами). Поэтому его можно использовать как во вводных, так и в углублённых курсах по программированию и разработке алгоритмов. Книга освещает также низкоуровневые вопросы выполнения рекурсивных программ, отношение между рекурсией и итерацией, а также включает в себя большую главу по теоретической оценке стоимости вычисления рекурсивных программ. И наконец, в книге рассматриваются комбинаторные задачи и взаимная рекурсия. .Примеры кода написаны на языке Python 3, но они достаточно просты для понимания также читателями, имеющими опыт работы с другими языками программирования. Наконец, преподавателям доступны решения более чем 120 упражнений в конце глав книги. .Помимо преподавателей и студентов книга может оказаться полезной и интересной для программистов-любителей и даже для профессионалов. Первые могут почерпнуть много познавательного и занимательного, например, из решений задач-головоломок, а вторые, возможно, найдут в ней то, что ещё не встречалось в их практике. .

Рубио-Санчес М. Введение в рекурсивное программирование

Подробно анализируя широкий спектр вычислительных задач различной сложности, книга послужит полезным руководством для всех тех, кто хочет научиться думать и программировать рекурсивно. .Издание содержит специальные главы о наиболее распространенных типах рекурсии (линейной, хвостовой, множественной), а также о парадигмах разработки алгоритмов, где преобладает рекурсия («разделяй и властвуй» и перебор с возвратами). Поэтому его можно использовать как во вводных, так и в углублённых курсах по программированию и разработке алгоритмов. Книга освещает также низкоуровневые вопросы выполнения рекурсивных программ, отношение между рекурсией и итерацией, а также включает в себя большую главу по теоретической оценке стоимости вычисления рекурсивных программ. И наконец, в книге рассматриваются комбинаторные задачи и взаимная рекурсия. .Примеры кода написаны на языке Python 3, но они достаточно просты для понимания также читателями, имеющими опыт работы с другими языками программирования. Наконец, преподавателям доступны решения более чем 120 упражнений в конце глав книги. .Помимо преподавателей и студентов книга может оказаться полезной и интересной для программистов-любителей и даже для профессионалов. Первые могут почерпнуть много познавательного и занимательного, например, из решений задач-головоломок, а вторые, возможно, найдут в ней то, что ещё не встречалось в их практике. .

Солтис Майкл Введение в анализ алгоритмов

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