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

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

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

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

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