Результаты поиска по запросу: Введение в формальные методы верификации программ (Александр Камкин)

Уже более 10 лет ZBrush продолжает быть стандартным инструментом цифрового скульптинга. Он используется для создания визуальных эффектов для фильмов-блокбастеров, видеоигр, его используют при проектировании игрушек и коллекционных фигурок, при создании художественных изображений и в концепт...

Программа мини-курса Урок 1 Приветствие. Регистрация в Canva Урок 2 Интерфейс сервиса Canva. Как устроена Canva. Меню, подменю, главная страница, выбор формата холста для дизайна Урок 3 Работа со слоями Фон (текстурный, градиентный, однотонный). Место фона в слоях. Слои в дизайне. Работа с...

Настоящая работа представляет собой руководство по стилистике известного ученого и методиста М. А. Рыбниковой. Книга состоит из двух частей, которые включают в себя «Словарь» и «Изобразительные и выразительные средства языка». Также в конце глав автор предоставляет «Упражнения» для закрепления...

23 урока (4ч 44м) 18 дополнительных ресурсов (9 файлов) Прикоснитесь к японской философии дзен и позвольте своей энергии течь через выразительные мазки кистью. Отправьтесь в путешествие самопознания через древнее искусство живописи суми-э. Японский художник Косю проведет вас через этот родовой...

Семинар Александры Кожевниковой Расписание: 17 декабря 2024 Занятие 1. Технология дистилляционных вод 1) Основные понятия: дистилляционные воды, перепущенные воды, гидролаты, цветочные воды. 2) Архитектоника дистилляционных аппаратов. Что из этого следует? 3) Связь конструкции прибора с...

Приведены краткая история, основные понятия и технологии когнитивной эргономики, инженерной психологии и искусственного интеллекта. Показаны направления развития теории, методологии и практики создания человеко-машинных систем и техногенных сред. Рассматриваются вопросы...

Клиническое применение нейропсихоанализа Практика психотерапии с опорой на достижения аффективных нейронаук на примере разбора и обсуждения случаев: От какого чувства страдает человек; Базовая эмоциональная потребность, которая не удовлетворяется (основной из 7-ми драйвов, вокруг которого...

Клиническое применение нейропсихоанализа Практика психотерапии с опорой на достижения аффективных нейронаук на примере разбора и обсуждения случаев: От какого чувства страдает человек; Базовая эмоциональная потребность, которая не удовлетворяется (основной из 7-ми драйвов, вокруг которого...

Клиническое применение нейропсихоанализа Практика психотерапии с опорой на достижения аффективных нейронаук на примере разбора и обсуждения случаев: От какого чувства страдает человек; Базовая эмоциональная потребность, которая не удовлетворяется (основной из 7-ми драйвов, вокруг которого...

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