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

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

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), то этот двухтомник для вас • Эта книга не похожа на большинство других учебников и руководств по глубокому обучению – в ней нет ни детального алгоритмического анализа, сопровождаемого обширной математикой, ни развернутых листингов программного кода. Автор выбрал золотую середину - благодаря дружелюбному подходу, сопровождаемому огромным количеством цветных иллюстраций, а также детальному и скрупулезному описанию, он глубоко освещает основополагающие идеи глубокого обучения и нейронных сетей • Второй том посвящен нейронным сетях – быстро развивающемуся направлению машинного обучения. В первом томе, вышедшем в издательстве «ДМК Пресс» ранее, изложены фундаментальные основы глубокого обучения

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

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

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

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

FPGA (Field-Programmable Gate Array, программируемые пользователем вентильные матрицы, ПЛИС) в настоящее время стали основной частью большинства современных электронных и компьютерных систем. Чтобы реализовать свои идеи на основе FPGA, вам необходимо разобраться в их архитектуре, освоить набор инструментов разработки и изучить их важнейшие конструктивные особенности • Эта книга проведет вас через весь процесс программирования FPGA и проектирования аппаратных схем с помощью SystemVerilog. Вы познакомитесь с архитектурами FPGA от компании Xilinx и создадите свой первый проект, представляющий собой переключение светодиодов. Затем вы узнаете о том, как создавать проекты на SystemVerilog, освоите применение комбинационной логики, создадите калькулятор и усовершенствуете его с использованием ресурсов FPGA

Эта книга – настоящий путеводитель по парадоксам, начиная с древнейших (Ахиллес и черепаха) и заканчивая современными (кот Шрёдингера и парадокс Тьюринга). Как утверждают авторы, парадокс – это «магия в вашей голове». Что делать, если интуиция подсказывает одно, а логика диктует другое? Остроумные примеры, собранные под одной обложкой, – отличное средство тренировки внимательности, памяти и математических навыков. Некоторые из парадоксальных предположений ошибочны, другие можно подтвердить, но в любом случае для их проверки вам понадобятся терпение и смекалка • Издание адресовано всем, кого интересуют нестандартные математические задачи