Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности...
Книга поможет найти ответы на вопросы:
Как проводить исследование встраиваемых систем?
Из каких компонентов они состоят?
Как получить прошивку устройства и какие уязвимости могут в этом помочь?
Чем отличается реверс-инжиниринг прошивок и ПО?
Что нужно для динамического анализа устройства?
Как...
Аннотация
Дорогой читатель, перед тобой продолжение книги "Python. Великое программирование в Minecraft". Оно посвящено одной из важных тем в программировании - математике.
Читая и выполняя задания, ты научишься понимать, что такое функции и как построить их графики, но главное - как с помощью...
Промышленная разработка на Python с BigData Team.
Часть 1. Лучшие практики написания и тестирования консольных приложений
Вы познакомитесь с типами тестирования, научитесь пользоваться библиотекой pytest, создавать консольные приложения с argparse, отличать юникод от кодировки и правильно с...
В книге рассказывается, как можно поддержать детей, которые столкнулись с утратой значимого для них человека. Опытные психологи объясняют, какие формы принимает проживание горя, как родные и близкие могут помочь ребенку в период горевания и когда имеет смысл прибегнуть к помощи специалиста...
Возьмите на вооружение Prometheus – систему мониторинга на основе метрик, используемую тысячами организаций. Это обновленное издание расскажет, что такое Prometheus, и познакомит с наиболее важными аспектами этой системы. Вы узнаете, как настроить Prometheus, Node Exporter и Alertmanager...
В книге рассказывается о том, как использовать глубокие нейронные сети для создания эффективных поисковых систем. Рассматривается несколько компонентов поисковой системы, дается представление о том, как они работают, и приводятся рекомендации по использованию нейронных сетей в разных контекстах...
Эта книгас помощью постулатов квантовой механики объясняет сложные связи квантовой химии и квантовых вычислений. Для этого используются код на языке Python и программные пакеты по химии с открытым исходным кодом, такие как Qiskit. На примерах расчетов реальных атомов и молекул показано, как...
Краткое описание:
В учебное пособие включены задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со спецификой информационно-коммуникационных технологий. В каждой главе приводятся теоретические сведения, необходимые для решения задач разного уровня сложности...
Промышленная разработка на Python с BigData Team.
Часть 3. Лучшие практики написания и поддержки Web-приложений
Вы познакомитесь ссамыми используемыми паттернами проектирования, напишете собственный Web-сервис и научитесь его деплоить и тестировать.
3.1 Паттерны проектирования
3.2...
Learn To Create AI Assistant (JARVIS) With Python
Как создать ИИ-помощника (JARVIS) на Python, как в фильме Marvel "Железный человек"
Вы научитесь:
как создать персонализированного помощника по искусственному интеллекту
как создать JARVIS AI
как создать ИИ-помощника
В этом курсе вы изучите...
Книгарецептов в формате PDF
О книге рецептов:
Дорогие друзья!
Эта книгасодержит сборник рецептов по приготовлению печенья с моего вебинара по печенью
Печенье на раз-два-три
Печенье с чаем матча, цукатами и марципаном
Овсяное печенье ссушеной вишней
Шоколадное печенье с пеканом
Пряник с...
Все говорят что такое гарвардская система питания, но никто не даёт рецепты таких блюд! Мы исправили эту ситуацию
ДЛЯ КОГО?
Для тех, кто хочет начать питаться сбалансированно, но не знает, с чего начать
Для тех, кто все знает о питании, но не может придумать рецепты
Для тех, кто хочет...
Как же Новый год без боя курантов? В уроке мы с вами облачим часы в новый волшебный вид, часы будут идти прямо внутри новогодней книги
А начинка точно сразит вас наповал, я назвала её «штрудельторт» не просто так, внутри самые настоящие рулетики штруделя, щедро начинённые яблоком с корицей...
Чему вы научитесь
Углубленные знания о переменных, памяти, пространстве имен и областях видимости
Глубокое погружение в управление памятью и оптимизации в Python
Глубокое понимание и продвинутое использование числовых типов данных в Python (Booleans, Integers, Floats, Decimals, Fractions...
Zero to Hero with GPT-3 & Python : Building Cutting-Edge AI
Раскройте возможности GPT-3 с помощью Python: создание продвинутых приложений искусственного интеллекта
Вы изучите:
Основы GPT-3 и его архитектуру
Лучшие практики создания надежных и масштабируемых систем искусственного интеллекта с...
Праздник — это не только сама дата в календаре, но и процесс подготовки, который создает особую атмосферу вдохновения, творчества, и связывает насс теми, кто нам дорог!
От автора
Меня зовут Вера Дудченко, я нутрициолог и шеф-повар. Собирать гостей по поводу и без повода я люблю всю жизнь.
В...
Задачи по работе с данными востребованы во всех областях:от банковской сферы и ИТ до тяжелой промышленности и сельского хозяйства.
Python — простой и универсальный инструмент для решения любых аналитических задач.
1. Автоматизируйте свою рутинную работу с помощью Python
2. Обрабатывайте большие...