ДМК-Пресс Дискретная математика. Формально-логические системы и языки Авдошин Сергей Михайлович, Набебин Алексей Александрович

Книга содержит основные сведения из теории алгоритмов: частично-рекурсивные функции, машины Тьюринга, а также элементы комбинаторики, графы и алгоритмы на графах, потоки в транспортных сетях, рекуррентные последовательности, частично упорядоченные множества, решетки, булевы алгебры. Приведены примеры алгоритмически неразрешимых проблем • Основные теоретические и практические положения, изложение и анализ практических алгоритмов, иллюстрируемые большим числом примеров, позволят сформировать прочную теоретическую базу

Книга содержит необходимые сведения из универсальных и классических алгебр, системы аксиом для основных алгебраических структур (группоид, моноид, полугруппы, группы, частичные порядки, кольца, поля). Описываются основные криптографические алгоритмы. Рассматриваются ставшие классическими помехоустойчивые коды - линейные, циклические, БЧХ. Приводятся алгоритмы проектирования таких кодов. В основу книги положен многолетний опыт преподавания авторами дисциплины "Дискретная математика" на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Московского энергетического института. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09

Книга содержит необходимые сведения из универсальных и классических алгебр, системы аксиом для основных алгебраических структур (группоид, моноид, полугруппы, группы, частичные порядки, кольца, поля). Описываются основные криптографические алгоритмы. Рассматриваются ставшие классическими помехоустойчивые коды - линейные, циклические, БЧХ. Приводятся алгоритмы проектирования таких кодов. В основу книги положен многолетний опыт преподавания авторами дисциплины "Дискретная математика" на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Московского энергетического института.Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09

Если вы знаете, как программировать на Python и немного знаете о теории вероятности, значит, вы готовы освоить байесовскую статистику • Эта книга расскажет вам, как решать статистические задачи с помощью языка Python вместо математических формул и использовать дискретные вероятностные распределения вместо непрерывной математики. Когда вы уберете с дороги математику, байесовские основы станут яснее, и вы начнете применять эту технику для решения реальных проблем • Байесовские статистические методы становятся все более обширными и важными. Но в помощь начинающим доступно не слишком много источников. Изложенная в этой книге методика основана на материале проводимых автором студенческих занятиях и точно поможет вам сделать хороший старт! • Издание будет полезно всем специалистам по анализу данных, кто должен использовать статистические данные в условиях их неполноты или решать другие нетривиальные задачи, связанные с вероятностными распределениями

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

Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы • В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины» • Для читателей, интересующихся основами математической науки

Эта книга знакомит читателей с основами работы в операционной системе Linux на примере Red Hat Enterprise Linux 5 (RHEL). Она предназначена для людей, которые только начинают осваивать систему Linux. Книга состоит из теоретической и практической частей, которые вместе позволяют получить систематизированные знания о системе и умения решать практические задачи. Основной упор сделан на полноту раскрытия темы, при сохранении лаконичности изложения. Теоретическая часть раскрывает принципы работы системы, нюансы настройки различных компонентов и позволяет подготовиться к экзамену RHCT, комплексной программы сертификации Red Hat. При создании практической части, было уделено внимание сбалансированности практических заданий. Задания довольно разнообразны - от простых для "новичков", с подробным описанием всех шагов, до более сложных, с возможностью самостоятельного выполнения различными способами для людей, обладающих представлением и опытом работы с конкретной технологией

Скольких красок достаточно для раскрашивания любой географической карты? Какие типы правильных многоугольников подходят для составления мозаичного узора? Как рассчитать вероятность поступления в один из нескольких выбранных вузов? Ответ на эти и другие вопросы помогают найти теоремы • Помимо разбора увлекательных задач читатель найдёт в книге любопытные истории – о появлении математических символов, о «числе Шахерезады», о том, к каким неожиданным результатам приводит многократное умножение на 2, и о многом другом. В конце каждой главы приводятся краткие рассказы об известных математиках прошлого • Издание заинтересует всех, кого увлекают решение математических задач и малоизвестные факты из истории математики

Данная манга рассказывает о том, как студент Юта Сакурай, которого отправили на переэкзаменовку, познакомился с королевой математики Госпожой Химуро, но не превратился в камень от страха! Если уж сама королева объясняет тебе, зачем нужны комплексные числа - ты точно не забудешь про формулу Эйлера и мнимую единицу. А если ты вдруг опоздал на урок, Химуро охотно примет извинения вместо цветов, - попроси только рассказать про полярную систему координат • Цель книги - заинтересовать школьников, студентов и просто пытливых читателей этим особенным разделом математики, а также показать использование комплексных чисел на практике

Простой, последовательный, наглядный и необременительный путь изучения математики! • В данной манге в интересной и увлекательной форме рассказано о совсем непростой теме - дифференциальных уравнениях • Читатель вместе со школьницей Мидзуки, второкурсником Нояма Дайчи и богиней чисел узнает, зачем нужны уравнения в обычной жизни, как они помогут запустить планер, предсказать погоду и как мир математики связан с миром реальных людей и дел • Книга будет полезна школьникам старших классов, студентам младших курсов вузов, а также наверняка заинтересует любознательных людей, которые хотят вспомнить, что такое дифференциальные уравнения