информатика

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

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

Описана работа с языком, структурирование текста, применение языка тела и использование культурных различий с целью убеждения аудитории. Предложены подходы к организации и передаче знаний в командах, включая принципы DRY (Don’t Repeat Yourself). Рассмотрены современные инструменты для управления знаниями, помогающие сделать информацию доступной и понятной для всех участников проекта. Рассмотрены средства для эффективной работы в распределённых командах, включая синхронные и асинхронные методы коммуникации и управления временем.

В книге рассматриваются практические основы конструирования компиляторов – от лексического и синтаксического анализа до семантической обработки и генерирования кода. В качестве сквозного примера описан и реализован компилятор простого Java-подобного языка программирования (MicroJava). Навыки конструирования компиляторов найдут применение всюду, где есть структурированные входные данные, которые можно описать грамматикой, – от простых наборов команд до системных журналов и файлов конфигурации. Издание ориентировано на студентов факультетов информатики и смежных дисциплин, а также на программистов-практиков, которые хотят применять базовые методы компиляции в повседневной работе.

Книга о современном программировании на Java, охватывающая новые возможности Java 21 и практическое применение языка для создания многофункциональных приложений. Подробно рассматриваются ключевые концепции, структуры данных, работа с реляционными базами данных PostgreSQL и Apache Cassandra®, а также использование фреймворков Spring Boot и Spring Data. Отдельное внимание уделено разработке графики, анимации и даже небольших аркадных игр на Java. Рассматриваются лучшие практики построения программной архитектуры, создания графических интерфейсов и веб-приложений с помощью Vaadin. Книга будет полезна как начинающим разработчикам, так и опытным специали­стам, желающим освоить новые возможности Java 21 и углубить знания в области современного программирования. Для программистов.

В книге дается базовая алгоритмическая подготовка, классические алгоритмы разобраны одновременно на двух языках — C++ и Python на примере широко известных и интуитивно понятных компьютерных игр. Наглядно излагается реализация циклов, перебора, рекурсии, эвристики, рассматривается работа с деревьями решений, на примере шахмат предлагается знакомство с прямоугольными координатами, дается введение в самообучающиеся алгоритмы. Книга ориентирована как на начинающих программистов, так и на читателей, планирующих перейти на C++ или Python как на второй язык. Примеры, рассмотренные в книге, помогут сделать первые шаги на пути к профессиональному программированию игр. Для программистов.

Книга позволит вам получить знания, достаточные для профессии Руthоn-разработчик (начиная с уровня Junior Developer). Это даст вам воз­можность устройства на работу программистом, или возможность работать на себя - искать заказы на фриланс-биржах, создавать свои собственные приложения и игры, а затем выпускать их на таких площадках как Google Play, Steam и подобных.

Автор книги Мэттью Уайтсайд – инженер-программист с более чем 10-летним опытом, работающий в финтехе. Он активно участвует в жизни сообщества, общаясь с коллегами в социальных сетях и на форумах. В этой книге Мэттью предлагает читателям проверить свои навыки разработки на Python и решить различные задачи – от простых до весьма сложных и творческих.

Откройте для себя Polars – удивительно эффективную библиотеку для преобразования, анализа и визуализации данных. В этом подробном руководстве продемонстрированы все ключевые возможности Polars и показано практическое применение в задачах, связанных с обработкой и исследованием данных, построением конвейеров и многим другим. Независимо от квалификации, вы быстро освоите интуитивно понятный API Polars. На GitHub доступно множество примеров работы с реальными данными, облегчающими изучение библиотеки.

Эта яркая книга делает изучение алгоритмов и структур данных простым и увлекательным. Благодаря полноцветным иллюстрациям, схемам и наглядным примерам сложные концепции становятся понятными даже новичкам. Вы узнаете, что такое эффективность алгоритмов, как работают сортировка, поиск, графы и хеш-таблицы, а также познакомитесь с криптографией, сжатием данных, защитой информации и машинным обучением (алгоритмом кластеризации). Материал изложен так, чтобы вы не просто запомнили алгоритмы, но и научились применять их на практике.

Как стать экспертом в создании сложных и мощных приложений на Python, не тратя время на повторение уже известных основ или перечисление ненужных функций? Аарон Максвелл фокусируется на первопринципах Python, которые действуют подобно катализаторам для всего остального: достаточно получить 5 % знаний в области программирования, чтобы остальные 95 % подтянулись автоматически.

В книге 30 уроков для пользователей, начинающих осваивать популярный отечественный дистрибутив Astra Linux. С позиции пользователя описано решение типичных задач – от установки дистрибутива и настройки графического интерфейса Fly до простейшего администрирования системы. Рассмотрены настольные приложения, такие как офисный пакет LibreOffice, графический редактор GIMP, мультимедиа программы для просмотра видео и воспроизведения музыки. Приведены инструкции по запуску Windows-приложений и установке популярных мессенджеров (Skype, Telegram, Viber) на компьютер. Также затронуты вопросы установки ОС на физический и виртуальный компьютер, подключения двух мониторов и других дополнительных устройств.

Рассмотрена работа с инструментами pandas и SQL, методы выявления закономерностей и очистки данных. Описаны различные источники информации, включая текстовые, бинарные и веб-данные. Подробно изложены статистические методы: доверительные интервалы, проверка гипотез, конструирование признаков. Приведены практические примеры на языке Python из разных областей: анализ транспортных систем, экологические исследования, ветеринарная аналити-ка. Заключительные разделы посвящены логистической регрессии и оптимизации моделей с применением к задачам классификации текстов.

Эта книга научит вас расширять функциональность и повышать производительность приложений за счет поэтапного переноса кодовой базы на Rust с таких языков как C, C++, Python и javascript. Вы узнаете, как создавать автономные библиотеки Rust, наращивать скорость и стабильность работы и создавать защищенный, эффективный по потреблению памяти низкоуровневый исходный код. Книга начинается с рассмотрения уникального синтаксиса и концепций языка Rust. Далее авторы поясняют, как использовать Rust для обертывания опасного исходного кода, вызывать стандартные и прикладные библиотеки и даже применять формат байт-кода Wasm для исполнения кода на языке Rust в браузере.

Цифровая Грамота - ментор по ключевым аспектам информационной безопасности. Миссия публикаций- профилактика киберпреступлений, особенно связанных со взломами и криптовалютным мошенничеством- одними из самых популярных киберпреступлений ( исключая кибервойны и кибершпионаж). Надеемся, что советы и рекомендации помогут избежать и снизить убытки от инновационных сценариев киберпреступлений, не только грамотно разработанных суперобразованными, суперкреативными оркестраторами социальной инженерии, но и от обычных хакеров по подписке.

Пособие для тех, кто стремится начать знакомство с базами данных. Сперва кратко рассматривается теоретическая часть. Затем подробно разбираются вопросы связанные с работой с системой управления базами данных MySQL, от установки и настройки необходимых программ, до создания дампа готовой базы данных. Основная цель пособия: дать возможность читателю создать за один вечер свою первую базу данных. Не смотря на малый объем, материала книги достаточно для создания и управления базой данных простого сайта, интернет магазина или социальной сети.

В книге содержится лекционный материал, полезный для первоначального ознакомления с сетевыми технологиями. Изложена краткая история компьютерных сетей, перечислены ключевые организации в области телекоммуникаций. Описаны некоторые сетевые устройства и технологии, проведено сравнение моделей OSI и TCP/IP. Отдельно приведены различные характеристики сетей, средства моделирования сетей. Дано понятие о квадратурной амплитудной модуляции.

Я изучил Python конкретно для хакинга — и я осмелюсь сказать, что это утверждение правдиво для многих других так же. Я провел достаточно много времени в изучении языка, который хорошо приспособлен для хакинга и реверс инженерии, и несколько лет назад стало весьма очевидно, что Python становится настоящим лидером среди языков ориентированных на хакинг.

В этой книге рассказывается, как создавать различные приложения NLP на основе трансформеров, используя библиотеку Python Transformers. Вы познакомитесь с архитектурой трансформеров и напишете свою первую программу для работы с моделями на основе этой передовой технологии.

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