Все новости сайта

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

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

Действия происходят в будущем. На ледяной планете, где любое решение может стать последним, Микки Барнс вынужден отправляться на смертельно опасные задания, откуда никто не возвращается. Колония держится на системе, создающей копии рабочих и сохраняющей их воспоминания. Налаженный ритм рушится, когда начинают проявляться первые неполадки. Неожиданные происшествия подрывают стабильность, превращая привычную жизнь в череду хаотичных перемен. Техника дает сбои, а попытки восстановить прежний порядок оказываются бесполезными. Микки пытается выяснить, что нарушило привычный уклад, и кто за этим стоит. Понять, что происходит, становится практически невозможно. Границы реальности стираются, а привычный мир становится иллюзией, оставляя лишь бесконечные вопросы без ответа. Фильм основан на романе Эдварда Эштона "Mickey7".

Книги 1-2

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

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

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

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

Совершите невероятное путешествие по некоторым из самых вдохновляющих туристических направлений Европы! Прогуляйтесь по великолепным национальным паркам, посетите достопримечательности насладитесь живописными ландшафтами.

Если вы коллекционируете книги или имеете дело с большим количеством книг по работе или учебе — вы наверняка уже используете какую-нибудь программу-каталогизатор книг. Такие программы помогают быстро найти нужную книгу, или сделать выборку книг, или посмотреть, каких книг не хватает. Но если вы просто любите читать, нужна ли вам программа для создания электронной библиотеки? Конечно, иметь такую программу вовсе не обязательно, но с ее помощью вы сможете извлечь гораздо больше удовольствия и пользы от чтения книг. Просматривая свою виртуальную библиотеку, вы сможете ощутить приятные воспоминания о прочитанном, понять смысл некоторых книг, лучше познать себя (ведь мы — это то, что мы читаем).

Лучшие агенты ФБР и полиция разыскивают серийного преступника, жестоко убившего 11 женщин. След удается взять только детективу Ортега, но после того, как пропадает его племянница, дело принимает еще более опасный поворот. Под подозрением находится каждый, кто ведет расследование.

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

Пауло и его отец Люсьен по прозвищу Ла Фрез грабят местный ювелирный магазин. Как часто это бывает, преступление проходит не совсем гладко: сначала Пауло случайно снимает маску и окружающие видят его лицо, а их автомобиль оказался эвакуированным, ведь они оставили его на парковке для инвалидов. Спасаясь от полиции, отец с сыном случайно оказываются в группе людей с ограниченными возможностями здоровья, которая отправляется на отдых. Один из участников поездки, которого никто не знает, задерживается, и Ла Фрез быстро смекает, как поступить. Он выдает Пауло за пропавшего инвалида-участника, а сам представляется его сопровождающим. Это летнее путешествие неудачливые преступники точно не забудут.

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

Это расслабляющая игра-симулятор наполнена теплотой и ностальгией, которая перенесет вас в теплые времена детства и юности. В ней вам предстоит обставить постсоветскую квартиру мебелью и предметами, создавая уютную атмосферу, знакомую многим. Игра дарит вам возможность исследовать детали прошлого, возвращаться к ушедшим воспоминаниям и заново ощущать радость и беззаботность тех лет, создавая своё творческое пространство. В Вашем распоряжении классические планировки квартир конца 80-х начала 90-х годов - от хрущевок до панелек. Выбирайте понравившийся вариант и размещайте мебель так, как желает ваша душа — здесь нет никаких ограничений. Если что-то не устраивает, легко переместите предметы в любое место. В игре вас ждёт огромный выбор линолеумов, обоев и красок для стен. Создавайте уникальные комбинации, экспериментируйте с цветами или просто выберите старые кирпичные стены. Всё зависит от вашей фантазии!

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

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

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

Книги 1-3

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

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

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