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

Машинное обучение давно уже стало синонимом искусственного интеллекта. Оно проникло во многие аспекты нашей жизни и стало одной из важнейших областей современной науки. Эта книга — путеводитель по ключевым идеям машинного обучения. Вы узнаете, как методы машинного обучения получаются из основных принципов теории вероятностей, пройдёте путь от теоремы Байеса до обобщённых линейных моделей и узнаете в лицо тех китов, на которых стоит весь современный искусственный интеллект. Кроме того, книга может лечь в основу базовых курсов по машинному обучению.

Книга является сопроводительным теоретическим материалом к проекту разработки аппаратного калькулятора на AVR микроконтроллере на ассемблере. В ней изложены теоретические основы машинной арифметики, дается построение и обоснование алгоритмов для арифметики с плавающей точкой (IEEE 754), а также даны общие соображения о реализации ввода/вывода для калькулятора. В книге дана ссылка на GitHub-репозиторий, где находится полный код прошивки калькулятора, код библиотек и проект симуляции полнофункционального калькулятора в Proteus.

Мечтаете стать востребованным специалистом в IT-индустрии? Хотите оптимизировать свою работу и карьеру, достичь баланса между личной жизнью и профессиональными обязанностями? Эта книга – то, что вам нужно! Почему стоит прочитать «Путь инженера-программиста»? Оптимизация кода и карьеры: узнайте, как писать безошибочный код. Профессиональные навыки: научитесь содержательно комментировать код, проводить модульное тестирование и использовать рефакторинг для ускорения разработки. Не упустите шанс овладеть навыками, необходимыми для успешной работы в команде разработчиков.

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