Результаты поиска по запросу: [ДМК] Доказательство корректности программ (К. Рустан, М. Лейно)

Описание книги "Книга "Python и нейросети: Революционный подход к изучению программирования" предлагает комплексный взгляд на программирование и искусственный интеллект. От основ Python до продвинутых нейросетей, читатели научатся манипулировать данными с помощью TensorFlow и PyTorch, исследуют...

Мониторинг PostgreSQL составляет важную часть работы администратора, помогая отвечать на многие вопросы, связанные с производительностью. Эта книга всесторонне охватывает обширную тему мониторинга, соединяя в себе справочные материалы об инструментарии, практические приемы его использования и...

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

Социалистическая идея: от утопии к практике В цикле лекций известного историка А.В. Шубина «Социалистическая идея: от утопии к практике» пойдет речь о развитии взглядов на оптимальное человеческое общество, превосходящее по своим качествам капитализм, об утопии, то есть «месте, которого нет»...

Стресс, тревожность, депрессивное настроение – эти недуги уже стали обыденностью современной жизни. По статистике каждый человек хоть раз испытывал одно из этих состояний. И порой мы настолько к ним привыкаем, что не представляем иной жизни. А как итог – болезнь прогрессирует, быстро устаем...

Перед вами обновленное издание бестселлера "PostgreSQL изнутри". Рассматривается внутреннее устройство СУБД PostgreSQL: детали реализации многоверсионности и изоляции на основе снимков данных, включая процедуру очистки неактуальных версий строк; буферный кеш и журнал предзаписи; использование...

Об аудиокниге Автор бестселлера «Вскрытие покажет» Алексей Решетун на этот раз рассказывает о малоизвестной стороне профессии судмедэксперта – о работе с живыми. Ведь судмедэксперт имеет дело не только с мертвыми, но и с пострадавшими и потерпевшими после бытовых конфликтов, пьяных ссор, ДТП и...

Онлайн курс «ЭФФЕКТ БАБОЧКИ. Щитовидная железа. Перезагрузка» Для кого этот курс? ➤ Если вы испытываете постоянную необъяснимую усталость с самого утра, дискомфорт со стороны ЖКТ, перепады настроения в течение дня ➤ Если у вас выпадают волосы, слоятся ногти, имеются высыпания на лице и теле...

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

Сборник упражнений ориентирован на тех, кто уже усвоил начальный курс румынского языка, имеет базовые знания в области грамматики и владеет основным лексическим запасом. В пособии представлены упражнения по грамматическим темам уровня В1-В2. Упражнения основаны на примерах из современного...

Описание книги: Данный классический труд содержит обстоятельное современное введение в машинное обучение (включая глубокое обучение), рассматриваемое сквозь объединяющую призму вероятностного моделирования и байесовской теории принятия решений. Включен базовый математический аппарат (в т. ч...

М.: АСТ, 2015. — 84 с. — (Нектар для души). — ISBN 978-5-17-092234-5. Книга-бестселлер, занимающая первые строчки в рейтингах уже более 25 лет! Психотерапевтический детектив, основанный на реальной истории болезни, записанной уважаемым психиатром! Практикующий врач, глава отделения психиатрии...

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

Чистки негативных программ воском: бытовой негатив, блоки, сглазы, порчи на разные сферы жизни, "кривые" порчи, проклятья, крадники, вампирские каналы, привороты, рассорки, испуг, больная аура

Готовы ли вы к разработке многопоточных приложений на JavaScript? Прочитав данную книгу, JavaScript-разработчик среднего уровня узнает о сильных и слабых сторонах API веб-исполнителей в браузерах и рабочих потоков в Node.js.Авторы рассказывают о двух подходах к построению многопоточных...

Оригинальное название: "Learn WinUI 3.0" WinUI 3.0 знаменует новый подход к доставке компонентов и элементов управления пользовательского интерфейса Windows UI, позволяющий использовать одни и те же компоненты в Windows 10 и следующих версиях этой ОС. Перед вами подробное введение в WinUI и...

Казалось бы, что может быть серьезнее школьного курса математики? Однако авторы книги стремятся доказать, что и этот предмет можно преподавать нескучно, в увлекательной форме. Особенно важно это для детей и их родителей. Прочитав книгу, вы поймете, как превратить вычисления в веселую игру, и...

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

Программируйте весело и эффективно – изучайте Kotlin с удовольствием! Эта книга проведет вас по основам языка шаг за шагом – с забавными иллюстрациями, понятными примерами и четкими объяснениями. Вы усвоите основные понятия по порядку и без лишней сложности, построив прочную базу знаний. Автор...

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