Библиотека

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

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

Книги 1-2

Нью-Йорк, 1928. Уильям Стерлинг — молодой биржевой аналитик с пугающим даром предвидения. Еще вчера он был разорившимся трейдером из 2024 года, сегодня — человек, точно знающий о приближении величайшего биржевого краха в истории.
Шестнадцать месяцев до катастрофы. Шестнадцать месяцев, чтобы разбогатеть на чужой слепоте или спасти миллионы от разорения. В опьяняющем мире джаза, запретного алкоголя и биржевой лихорадки его расчетливый ум вступает в опаснейшую игру, где ставка — само будущее.

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

Ваше полное руководство по Excel 365, написанное как для новичков, так и для опытных профессионалов. Хорошо структурированная и написанная на понятном языке, Библия Microsoft Excel 365 содержит все, что читателям нужно знать, чтобы быстро начать работу с Excel. Второе издание охватывает многочисленные обновления Excel 365 с момента публикации предыдущего издания в 2022 году и содержит множество полезных примеров, советов и рекомендаций, которые охватывают все основные аспекты Excel - от основ, таких как навигация по пользовательскому интерфейсу, до более продвинутых тем, таких как создание визуализаций и создание настраиваемых функций. Эта книга предназначена для повышения квалификации пользователей всех уровней (начинающих, средних и даже продвинутых пользователей). Начните с самого начала, если вы новичок в Excel. Часть I охватывает все, что вам нужно для ознакомления с вводом данных, управлением книгами, форматированием листов и печатью. Затем вы можете перейти к части II, где вы откроете для себя все тонкости формул и функций Excel.

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

Любите готовить и устраивать праздники? Не знаете, чем еще удивить взыскательных гостей? Хотите побаловать своих близким вкусненьким и оригинальным, а главное, полезным? К тому же желаете, что бы процесс приготовления блюд не занимал много времени. С книгами серии "Экспресс-рецепты" всё это становится вполне возможным!

Анна и Сергей Литвиновы по праву считаются звездами отечественной остросюжетной литературы. Романы Литвиновых шокируют и удивляют, заставляя переживать самые яркие чувства и сильные эмоции, которых порой так не хватает в жизни. Провокационные сюжеты и неповторимые образы — это фирменный стиль дуэта российского детектива. Благодаря таланту писателей, несомненному литературному мастерству, творческому объединению мужского и женского начала книги этих авторов приковывают к себе внимание миллионов читателей.

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

«Записки о Шерлоке Холмсе» — сборник рассказов о знаменитом сыщике и его друге докторе Ватсоне, который по инициативе Джорджа Ньюнса — издателя ежемесячного иллюстрированного британского журнала «Стрэнд мэгэзин» — в 1894 году был выпущен отдельной книгой. Как и первые рассказы о Холмсе, истории «Записок» проиллюстрировал художник Сидни Пэджет. В отечественных публикациях сборник ранее содержал лишь одиннадцать рассказов. Данное издание полностью соответствует английскому оригиналу, включавшему дюжину историй.

Книги 1-3

Только получил повышение, познакомился с девушкой, как вдруг авария на ЛЭП, удар током, и я лечу вниз. Когда очнулся в крематории, думал, что всё, умом тронулся. Какой ещё князь? Кто одержимый?! Инквизиция? Стоп, это что у меня из пальцев, молнии вырвались?

«Приключения Шерлока Холмса» — первый сборник рассказов о знаменитом сыщике и его друге — докторе Ватсоне. Именно с этих историй популярный ежемесячный иллюстрированный британский журнал «Стрэнд мэгэзин» начал знакомить своих читателей с расследованиями талантливого детектива с Бейкер-стрит. Рассказы проиллюстрировал художник Сидни Пэджет; созданные им изображения героев стали позже классическими.

Перед вами не развлекательно-околорыночная книга. Это учебное пособие, и далее вы не найдете ничего, кроме учебного материала, графиков и цифр, которые разделены на компактные модули. Причем, основной посыл каждой главы сформулирован настолько компактно, чтобы его можно было прочитать за 60 СЕКУНД. О гладкости изложения и последовательности повествования мы не заботились. Если тема главы вызвала у вас интерес, то рядом вы найдете несколько заметок с дополнительной информацией.

Книга является сборником решений наиболее часто встречающихся задач при веб-программировании пользовательских интерфейсов с использованием библиотеки jQuery. Рассмотрены практически все методы и вспомогательные функции jQuery, в том числе обеспечивающие взаимодействие jQuery и AJAX.

Книга содержит 138 уроков вольной борьбы для занятий мальчиков и девочек 10-12 лет в группах начальной подготовки первого года обучения; в ней предлагается качественно новый подход к ведению тренировочных занятий и методике разучивания и совершенствования приёмов на тренировке. Последовательно, от простого к сложному, от известного к неизвестному, изложена методика подготовки юных борцов.

Эта история начинается в будущем, в котором человечество пошло не по пути технологий, а по пути магии. Не сказать, что по своей воле, и не сказать, что путь был легок.
Эта история про юношу, который также, не по своей воле, был вынужден уйти из дома и отправиться на службу. Спустя два года он возвращается домой, чтобы проверить, как его встретит семья, и спросить с того, кто и вынудил его уйти.
В этом мире есть наследники Мудрецов, Грань и Дары. Аристократы борются за влияние, но с каждым годом сдают позиции, потому что простолюдины тоже осваивают магию. Император мертв, и никто пока не занял его место.

Многие считают, что здоровое питание - это сложно и ресурс затратно. То ли отварить макароны с сосисками дёшево и сердито, то ли выбрать мягкий авокадо, выложить за него круглую сумму денег и стоять у плиты, изображая из себя шеф-повара. Вот! Я вас очень понимаю. Я человек простой и люблю в еде заморачиваться по-минимуму. Поэтому от поварских изысков я-таки планирую вас уберечь.

«Моя большая книга обо всём на свете» – это красочная энциклопедия для детей, рассказывающая о динозаврах и животных, насекомых и морских обитателях, об устройстве человеческого тела и разнообразной технике, окружающей нас. На страницах этой книги встретится более сотни интересных фактов и забавные иллюстрации, которые хочется рассматривать снова и снова. В самом конце книги читателей ждёт викторина, с помощью которой можно проверить полученные знания.

Перед вами моя новая книга - «Большая кулинарная книга для начинающих». Ее главной особенностью является ясная и простая навигация по основным кулинарным направлениям: базовая информация - технологические процессы - рецепты. Я расположила темы по восходящей: от простых к сложным от приготовления яиц и блюд из круп до изготовления супов и изделий из теста. Я надеюсь, что книга станет полезной не только начинающим кулинарам, но и опытные хозяйки найдут в ней много интересного. Удачи!

Откройте для себя богатство русской кухни с книгой «Русская кухня: лучшие рецепты». Это издание предлагает разнообразные традиционные блюда — от классических борща и пельменей до менее известных угощений. Каждый рецепт сопровождается подробными инструкциями и интересными фактами о происхождении блюд, что делает книгу идеальным помощником для начинающих и опытных поваров. Погрузитесь в кулинарные традиции России и создайте настоящие шедевры на своей кухне!