г. Москва, Московская область
ДМК-Пресс Обратная математика. Доказательства вывернутые наизнанку Стилуэлл Джон

ДМК-Пресс Обратная математика. Доказательства вывернутые наизнанку Стилуэлл Джон

цена 884 руб.
Перейти в интернет-магазин
купить в магазине My-shop.ru г. Москва
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы • В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины» • Для читателей, интересующихся основами математической науки подробнее
Смотрите также
Ежедневно мы используем впечатляющие технологические достижения, даже не задумываясь об этом. Мы передаем по сети гигабайты информации, просматриваем тысячи документов в поисках необходимого, совершаем покупки в интернет-магазинах. Мы архивируем объемные материалы, так чтобы их можно было отправить по электронной почте, и пользуемся искусственным интеллектом компьютеров, которые автоматически исправляют опечатки в тексте, ретушируют фотографии и делают за нас многое другое • Все это при нынешнем уровне развития технологий воспринимается как должное. Но ведь такие «чудеса» были бы невозможны без величайших идей информатики, родившихся в XX веке! • Эта книга - о том, как эти идеи зародились и как воплощались в жизнь • Издание рассчитано на широкую аудиторию
My-shop.ru г. Москва
957 руб.
Эта книга предлагает взглянуть на математику с разных сторон, ознакомившись с 99 различными доказательствами одной и той же теоремы. В каждой главе приводятся решения в общем-то ничем не примечательного кубического уравнения разными стилями - разными с точки зрения исторического контекста, уровня формализации и богатства воображения. Вы встретите средневековую, топологическую, стихотворную, хроматическую, электро-статическую и психоделическую вариации; обнаружите неожиданные связи самых разных областей человеческого духа: от мистицизма до технологии и от архитектуры до языка жестов • Демонстрируя редкое сочетаний юмора и ученой уверенности в себе, Филип Ординг сплетает эти вариации в доступный широкой публике и разнопла-новый рассказ о природе и практических занятиях математикой
My-shop.ru г. Москва
1 474 руб.
Книга представляет основные идеи и понятия систем управления для широкого круга читателей. С помощью серии примеров, которые рассматриваются с разных точек зрения, книга исследует как теорию, так и практику управления. Эти элементы широко распространены и встречаются буквально повсюду в инженерной или биологической среде • Издание фокусируется на основных идеях и разъясняет научный подход к обратной связи, системам управления и системной динамике. Изложение идей не предполагает каких-либо математических знаний, кроме того, что обычно преподается на уроках математики в средней школе. Апеллируя к примерам и интуиции, авторы подводят читателя к основным понятиям для успешного описания, анализа и синтеза обратной связи. Каждая глава заканчивается комментариями и ссылками, которые позволяют заинтересованному читателю глубже изучить изложенный материал
My-shop.ru г. Москва
1 474 руб.
Entity Framework радикально упрощает доступ к данным в приложениях .NET. Этот простой в использовании инструмент объектно-реляционного отображения (ORM) позволяет писать код базы данных на чистом C#. Он автоматически отображает классы в таблицы базы данных, разрешает запросы со стандартными командами LINQ и даже генерирует SQL-код за вас! • Данная книга научит вас писать код для беспрепятственного взаимодействия с базой данных при работе с приложениями .NET. Следуя соответствующим примерам из обширного опыта автора книги, Джона Смита, вы быстро перейдете от основ к продвинутым методам. Помимо новейших функциональных возможностей EF, в этой книге рассматриваются вопросы производительности, безопасности, рефакторинга и модульного тестирования • Книга предназначена для разработчиков
My-shop.ru г. Москва
3 172 руб.
Скольких красок достаточно для раскрашивания любой географической карты? Какие типы правильных многоугольников подходят для составления мозаичного узора? Как рассчитать вероятность поступления в один из нескольких выбранных вузов? Ответ на эти и другие вопросы помогают найти теоремы • Помимо разбора увлекательных задач читатель найдёт в книге любопытные истории – о появлении математических символов, о «числе Шахерезады», о том, к каким неожиданным результатам приводит многократное умножение на 2, и о многом другом. В конце каждой главы приводятся краткие рассказы об известных математиках прошлого • Издание заинтересует всех, кого увлекают решение математических задач и малоизвестные факты из истории математики
My-shop.ru г. Москва
1 031 руб.
Данная манга рассказывает о том, как студент Юта Сакурай, которого отправили на переэкзаменовку, познакомился с королевой математики Госпожой Химуро, но не превратился в камень от страха! Если уж сама королева объясняет тебе, зачем нужны комплексные числа - ты точно не забудешь про формулу Эйлера и мнимую единицу. А если ты вдруг опоздал на урок, Химуро охотно примет извинения вместо цветов, - попроси только рассказать про полярную систему координат • Цель книги - заинтересовать школьников, студентов и просто пытливых читателей этим особенным разделом математики, а также показать использование комплексных чисел на практике
My-shop.ru г. Москва
849 руб.
Простой, последовательный, наглядный и необременительный путь изучения математики! • В данной манге в интересной и увлекательной форме рассказано о совсем непростой теме - дифференциальных уравнениях • Читатель вместе со школьницей Мидзуки, второкурсником Нояма Дайчи и богиней чисел узнает, зачем нужны уравнения в обычной жизни, как они помогут запустить планер, предсказать погоду и как мир математики связан с миром реальных людей и дел • Книга будет полезна школьникам старших классов, студентам младших курсов вузов, а также наверняка заинтересует любознательных людей, которые хотят вспомнить, что такое дифференциальные уравнения
My-shop.ru г. Москва
849 руб.
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3 • В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники • Национального исследовательского университета Московский энергетический институт
My-shop.ru г. Москва
1 587 руб.
Книга содержит необходимые сведения из универсальных и классических алгебр, системы аксиом для основных алгебраических структур (группоид, моноид, полугруппы, группы, частичные порядки, кольца, поля). Описываются основные криптографические алгоритмы. Рассматриваются ставшие классическими помехоустойчивые коды - линейные, циклические, БЧХ. Приводятся алгоритмы проектирования таких кодов. В основу книги положен многолетний опыт преподавания авторами дисциплины "Дискретная математика" на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Московского энергетического института. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09
My-shop.ru г. Москва
1 666 руб.
В этой основательной и вместе с тем доступной книге, авторы объясняют принципы обобщенного программирования и стоящее за ними понятие математической абстракции • Любой квалифицированный программист, умеющий логически мыслить, уже обладает достаточными знаниями для ее прочтения. Авторы на удивление доходчиво сообщают необходимые сведения из общей алгебры и теории чисел. Они объясняют, какие проблемы должны были разрешить математики, и показывают, как найденные ими решения переводятся на язык обобщенного программирования и позволяют создать эффективный и элегантный код • Читая эту книгу, вы освоите мыслительный процесс, необходимый для правильного программирования, и научитесь обобщать найденные для частной задачи алгоритмы с целью расширить область их полезного применения без потери эффективности
My-shop.ru г. Москва
1 326 руб.
Если вы интересуетесь машинным обучением (Machine Learning) и глубоким обучением (Deep Learning), то этот двухтомник для вас • Эта книга не похожа на большинство других учебников и руководств по глубокому обучению – в ней нет ни детального алгоритмического анализа, сопровождаемого обширной математикой, ни развернутых листингов программного кода. Автор выбрал золотую середину - благодаря дружелюбному подходу, сопровождаемому огромным количеством цветных иллюстраций, а также детальному и скрупулезному описанию, он глубоко освещает основополагающие идеи глубокого обучения и нейронных сетей • Второй том посвящен нейронным сетях – быстро развивающемуся направлению машинного обучения. В первом томе, вышедшем в издательстве «ДМК Пресс» ранее, изложены фундаментальные основы глубокого обучения
My-shop.ru г. Москва
3 094 руб.
Compare-Price.ru - сравнение цен интернет-магазинов. Просто выбрать. Легко купить.