Вы используете устаревший браузер. Этот и другие сайты могут отображаться в нём некорректно. Вам необходимо обновить браузер или попробовать использовать другой.
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге...
Описание книги:
Бывает так, что при написании программы вы попадаете в тупик. Возможно, это потому, что вы, как оказалось, не учли некоторые особенности исходной задачи. Однако до обидного часто дело в том, что на на-чальной стадии проектирования вы приняли какое-то решение, выбрали какую-то...
19 января 19:00
Как вы выстраиваете ваши отношения?
Как часто вы создаёте отношения, которые не работают для вас?
Сколько энергии мы тратим пытаясь изменить других или измениться самому?
Сколько времени мы проводим в погоне за счастьем?
Что если, если у вас есть совершенно другая возможность с...
Планета Земля сформировалась из большого газопылевого облака вместе с планетами земной группы (Меркурием, Венерой и Марсом). Их отличие от планет–газовых гигантов заключается в наличие твердой внешней оболочки (коры). Большое число научных миссий, а также успешные приземления на различных...
Aноним
Тема
архэ
земля
минералы
сергей аксёнов
солнечная система
Кому подойдёт этот курс
Аналитикам и исследователям без опыта программирования на R
Научитесь программировать на R с нуля и автоматизируете свою работу. Сможете решать более сложные задачи и повысите свою ценность на рынке.
Аналитикам и исследователям, которые используют R в работе...
Робот
Тема
skillbox
алла тамбовцева
анализ данных
программирование
язык r
Описание книги:
Данный классический труд содержит обстоятельное современное введение в машинное обучение (включая глубокое обучение), рассматриваемое сквозь объединяющую призму вероятностного моделирования и байесовской теории принятия решений. Включен базовый математический аппарат (в т. ч...
Робот
Тема
вероятностное машинное обучение
дмк
кевин п. мэрфи
У каждой кривой есть история, достойная рассказа!
В этой книге собраны описания десяти математических кривых, тщательно отобранных за их значимость, интересность и красоту. В каждой главе читатель найдет историю и определение кривой, а также узнает о красивой и часто неожиданной математической...
Робот
Тема
джулиан хэйвилл
дмк
категории кривых
парадоксы
проблемы
АННОТАЦИЯ
Фреймворк Blazor от компании Microsoft позволяет создавать интерактивные веб-компоненты, которые изначально запускаются в браузере без подключаемых модулей или транспайлеров. А поскольку весь код написан на языке C#, его можно с легкостью использовать для разработки серверной и...
Мы живём в эпоху цифровизации, когда каждый процесс можно автоматизировать и упростить свою работу. На языке R можно написать код, который освободит вам время для новых проектов.
Самая универсальная область применения R — аналитика. Используя R, вы можете провести статистические тесты и...
Робот
Тема
автор анастасия борейша
борейша
исследуйте в r
нетология
програмирование
программирование
Математика на языке R
Учебник. 2-е издание стереотипное
Структурно учебник представляет собой 17 компьютерных практикумов по изучению и применению вычислительных возможностей языка R в решении базовых задач математического анализа и линейной алгебры и календарно соответствует программе...
Робот
Тема
2-е издание стереотипное
математика на языке r
сергей зададаев
учебник
Завершающее видео раскрывает дополнительные факторы появления зон S/R, включая:
Роль крупных игроков («акул рынка») в создании ключевых уровней.
Влияние психологии толпы и новостного фона.
Анализ консенсусных зон для точных прогнозов.
Результат: Вы получите полное понимание всех аспектов...
Aноним
Тема
глубинные причины формирования зон s/r
михаил соколовский
трейдинг
Теория – это важно, но практика – ключ к успеху! В этом видео-семинаре вы:
Научитесь применять зоны S/R на реальных графиках.
Освоите дополнительные аспекты трейдинга: управление рисками, анализ объемов и психологию.
Получите конкретные примеры и советы для улучшения ваших сделок...
Aноним
Тема
михаил соколовский
практический семинар по зонам s/r
трейдинг
Описание
Аджан Брахм, "медитационный наркоман", как он сам себя называет, делится в этой книге своими опытом и знаниями о джханах - основной части учения Будды о медитации. Инструкции для начинающих в этой книге - одни из самых лучших, а для опытных практиков - не имеют себе равных по яркости...
Робот
Тема
автор брахм аджан
блаженство
брахм аджан
медитацию
осознанность
руководство для практикующих
Эта книга выходит за рамки школьного курса физики и охватывает примеры из реальной жизни. В понятном и захватывающем повествовании автор раскрывает суть и причины физических явлений, их взаимосвязь и значение. В отличие от традиционных школьных учебников, он уделяет основное внимание объектам и...
Перед вами полноценный путеводитель в увлекательный мир обработки данных при помощи Pandas, NumPy и Scikit-learn. Она содержит множество примеров, которые помогут вам научиться преобразовывать сырые крупицы данных в настоящий шедевр из ценной информации и аналитических выводов. Книга написана...
Aноним
Тема
cuantum technologies
дмк
инженерия данных в python
Haskell – это мощный и красивый, но непростой функциональный язык программирования. Он запрещает опасные действия, которые обычно приводят к дефектам и краху программ и побуждает программистов сосредоточиться на простых функциях, четко определенных поведениях и правильных высокоуровневых...
Робот
Тема
haskell
дмк
приложения
филипп хагенлохер
язык программирования
Сегодня все просто: вы открываете кран с фильтром – и утоляете жажду, запачкали одежду – бросаете ее в стиральную машину, хотите поболтать с другом – звоните ему по телефону... Как человечество обходилось без таких простых и полезных технологий? И более того – без важнейших предметов быта: мыла...
Методика «Глобальное чтение» создавалась автором в течение 20 лет и опирается на богатый опыт работы с детьми. Она поможет научить ребенка грамотному чтению, а также хорошо подойдет детям, испытывающим трудности в обучении чтению.
Вторая часть двухтомника «Автоматизация чтения» направлена на...
Онлайновые рекомендательные системы помогают находить в сети фильмы, работу, рестораны… и даже любовь! Опираясь на статистические и демографические данные, а также на поисковые запросы, эти системы выдают результат, интересный пользователю, – и это настоящее искусство. Научитесь создавать...
Aноним
Тема
дмк
ким фальк
рекомендательные системы на практике
«Захватывающий рассказ о том, чем занимаются археологи».
Common Sense Media
Эта книга отправляет читателей в путешествие по увлекательному миру археологии. Мы выясним, как жили представители древних цивилизаций и как учёные об этом узнали. Наш маршрут включает важные археологические шаги: поиск...
Робот
Тема
археология
археология для детей
дети
дмк
история
пещерное искусство
раскопки