Информатика и вычислительная техника

Перед вами руководство по LLVM 17 – системе разработки компиляторов и сопутствующих библиотек на C++. Вы узнаете, как написать и использовать реальные компиляторы, включая фронтальную часть, конв…

В книге охвачены все концепции, необходимые для интуитивного понимания работы глубоких нейронных сетей, включая тензоры, расширенные операторы, алгоритмы градиентного спуска, искусственные нейрон…

Книга основана на курсах лекций по формальным методам верификации программ, читаемых автором на кафедрах системного программирования МГУ, МФТИ и ВШЭ. Список тем включает: методы формализации сема…

Дополняя ранее изданную книгу «Вероятностное машинное обучение. Введение», этот классический труд знакомит читателя с деталями самых актуальных теорий и методов машинного обучения (МО). В «Дополн…

Дополняя ранее изданную книгу «Вероятностное машинное обучение. Введение», этот классический труд знакомит читателя с деталями самых актуальных теорий и методов машинного обучения (МО). В «Дополн…

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

Графовые нейронные сети стали одной из самых интересных архитектур в глубоком обучении. Технологические компании теперь пытаются применить их повсюду: в системах рекомендаций еды, видео и поиска …

В книге подробно рассказано, как можно улучшить бизнес-процессы компании с помощью методов искусственного интеллекта, а также использовать их в сочетании с традиционными подходами к аналитике и о…