ДМК-Пресс Современная логика Ивин Александр Архипович

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

Язык программирования Fortran изначально был предназначен для математических вычислений с максимальной производительностью. В последний стандарт Fortran 2008 включено множество современных функциональных возможностей: средства объектно-ориентированного программирования, специализированные операции с массивами, тины, определяемые пользователем и поддержка параллельных вычислений • Данное учебное руководство поможет программистам на языке Fortran научиться применять все вышеперечисленные функциональные возможности в соответствии с современными требованиями: модульность, лаконичность, объектно-ориентированный подход и рациональное использование ресурсов, а также организация работы с учетом наличия нескольких процессоров. В книге рассматриваются практические примеры взаимодействия с программами, написанными на языке С, управления памятью, применения графики и графических пользовательских интерфейсов, параллельные вычисления с использованием библиотек MPI, ОрепМР и комассивов (coarrays)

PHP переживает ренессанс, хотя это и трудно заметить, просматривая устаревшие электронные пособия. Из этого практического руководства вы узнаете, как PHP превратился в зрелый полнофункциональный объектно-ориентированный язык, с пространствами имен и постоянно растущей коллекцией библиотек компонентов. Джош Локхарт, создатель популярной инициативы по развитию лучших методик "PHP The Right Way", демонстрирует новые возможности языка на практике. Вы узнаете о лучших методах проектирования и конструирования приложений, работы с базами данных, обеспечения безопасности, тестирования, отладки и развертывания. Если вы уже знакомы с языком PHP и желаете расширить свои знания о нем, то эта книга для вас. Здесь вы: - Узнаете об особенностях современного языка PHP, таких как пространства имен, трейты, генераторы и замыкания; - Научитесь находить, использовать и создавать PHP-компоненты; - Ознакомьтесь с передовыми приемами поддержки безопасности приложений, работы с базами данных, обработки ошибок и исключений и многими другими; - Овладеете инструментами и методами развертывания, настройки, тестирования и профилирования PHP-приложений; - Познакомитесь с виртуальной машиной HVVM и языком Hack, созданным в Facebook и оцените их влияние на современный язык PHP; - Узнаете, как создать локальную среду разработки, эквивалентную реальному серверу

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

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

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

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

Современный мир невозможно представить без данных, и от их визуального представления во многом зависит эффективность работы с ними. Эта книга подробно рассказывает о Yandex DataLens - одном из мощнейших средств анализа и визуализации данных • Среди рассматриваемых тем • - подключение к данным из разных источников, в том числе управляемых баз данных • - подготовка и преобразование исходных данных для анализа и визуализации • - знакомство со всеми типами диаграмм, доступными в Yandex DataLens, на конкретных примерах • - создание полноценных многостраничных интерактивных дашбордов • - полный обзор функций, доступных в Yandex DataLens • - вся мощь оконных функций на примерах с созданием шпаргалки • - LOD-выражения и особенности их использования с созданием шпаргалки • - использование методов машинного обучения при визуализации данных в Yandex DataLens

Современные кинематографисты часто стремятся воссоздать особенности старых методов кино- и фотосъемки или ищут что-то совершенно новое, чтобы придать своему фильму неповторимый вид. Алексис Ван Хуркман, автор бестселлера «Цветокоррекция. Кинопроизводство и видео», в своей новой работе исследует различные методы стилизации, придающие фильмам особую интонацию и настроение • В книге освещаются работа с монохромным изображением и полутонами, регулировка резкости и насыщенности, использование искусственных оттенков, создание эффекта зернистости пленки и «состаренного» фильма и многие другие приемы. Большинство этих техник легко настраиваются по усмотрению колориста и могут адаптироваться под конкретный проект • Издание предназначено для работников кино- и видеоиндустрии, работающих над художественным оформлением фильмов

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

Книга посвящена всестороннему обсуждению инициативы консорциума W3C под названием «Семантический веб», которая фактически определяет переход к новому этапу развития всемирной паутины. Авторы систематически описывают принципы, модели и технологии семантического веба, в том числе XML, RDF, RDFS, SPARQL, OWL, логику и логический вывод, онтологический инжиниринг. Все материалы книги сопровождаются примерами и приложениями, иллюстрирующими способы использования описанных технологий • Издание предназначено студентам и преподавателям вузов, занимающимся компьютерными науками, а также веб-разработчикам и всем, кто интересуется современными веб-технологиями. Предполагается, что читатель имеет начальные навыки разработки современных веб-приложений и знаком с теорией баз данных и основами математической логики

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