Дискретная математика

В девятнадцатом выпуске серии «Математика в техническом университете» изложены теория множеств и отношений, элементы современной абстрактной алгебры, теория графов, классические понятия теории булевых функций, а также основы теории формальных языков, куда включены теории конечных автоматов, регулярных языков, контекстно-свободных языков и магазинных автоматов. В анализе графов и автоматов особое внимание уделено алгебраическим методам. Содержание учебника соответствует курсу лекций, который авторы читают в МГТУ им. Н. Э. Баумана. Для студентов технических университетов. Может быть полезен преподавателям, аспирантам и инженерам.

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

Рассмотрен анализ и синтез линейных дискретных автоматических систем при случайных воздействиях. Дан вывод уравнения Винера–Хопфа, приведено решение этого уравнения для стационарной одномерной задачи. Описано решение задачи оптимальной фильтрации для линейных дискретных систем, получено уравнение фильтра Калмана для стационарной задачи. Изложены метод фазовой плоскости для дискретных систем и способы построения фазовых траекторий нелинейных дискретных систем второго порядка. Приведен анализ устойчивости нелинейных дискретных систем с помощью прямого метода Ляпунова, в том числе анализ абсолютной устойчивости. Изложены методы гармонической линеаризации для дискретных автоматических систем и принцип максимума для дискретных систем управления. Рассмотрена задача синтеза дискретных систем, оптимальных по быстродействию и по квадратичному критерию. Для студентов МГТУ им. Н.Э. Баумана, изучающих курс «Теория автоматического управления».

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

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

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

Книга содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых функций (классов Поста) и дано новое доказательство их конечной порождаемости. Рассмотрено задание классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для классов Поста. Введены и исследованы два «сильных» оператора замыкания: параметрического и позитивного. Рассмотрены частичные булевы функции и доказан критерий функциональной полноты для класса частичных булевых функций. Исследована сложность реализации булевых функций схемами из функциональных элементов. Для студентов, аспирантов и преподавателей высшей школы, изучающих и преподающих дискретную математику и математическую кибернетику. Допущено УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям ВПО 010400 «Прикладная математика и информатика» и 010300 «Фундаментальная информатика и информационные технологии».

В учебном пособии излагаются современные математические подходы к описанию дискретных математических объектов, к построению и изучению прикладных дискретных математических моделей, адекватных реалиям и потребностям социально-экономической и общественно-политической жизни современного общества. Рекомендовано Учебно-методическим объединением по образованию в области экономики, менеджмента, логистики и бизнес-информатики в качестве учебного пособия для студентов, обучающихся по направлениям «Экономика», «Менеджмент», «Бизнес-информатика», «Государственное и муниципальное управление» и специальности «Логистика».

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

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

Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии «Проблемы кибернетики». В сборник включены оригинальные и обзорные статьи по магистральным направлениям мировой науки, содержащие новейшие результаты фундаментальных исследований. Авторами сборника являются в основном известные специалисты, часть статей написана молодыми учеными, получившими в последнее время яркие новые результаты. Среди представленных в сборнике направлений – теория синтеза и сложности управляющих систем; связанные с многозначными логиками и автоматами проблемы выразимости и полноты в теории функциональных систем; фундаментальные вопросы дискретной оптимизации и распознавания; проблематика экстремальных задач для дискретных функций (задачи Фейера, Турана, Дельсарта на конечной циклической группе); исследование математических моделей передачи информации в сетях связи, представлен также ряд других разделов математической кибернетики. Следует особо отметить обзорную статью О. Б. Лупанова «А. Н. Колмогоров и теория сложности схем». Выпуск 16 – 2007 г. Для специалистов, аспирантов, студентов, интересующихся современным состоянием математической кибернетики и ее приложений.

В пособие включены задачи и упражнения по конечнозначным логикам (в том числе по алгебре логики), по теории автоматов, теории алгоритмов, теории графов и сетей, теории кодирования, комбинаторике, минимизации булевых функций и синтезу схем и формул, реализующих булевы функции. Имеются задачи, предназначенные для первоначальной проработки и освоения методов дискретной математики, а также задачи для углубленного изучения предмета. Второе издание – 1992 г. Для студентов и преподавателей университетов и технических вузов, в которых изучается дискретная математика. Табл. 41. Ил. 129. Библиогр. 37 назв.

Учебное пособие включает в себя базисные разделы дискретной математики: бинарные отношения, элементы общей алгебры и теорию чисел. В работе предлагаются упражнения для самостоятельного решения.

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

В учебном пособии в доступной форме изложен материал, описывающий процессы, происходящие в устройствах цифровой обработки сигналов (ЦОС). Описаны процессы дискретизации и квантования сигналов, приводятся сведения из теории Z-преобразования, быстрого преобразования Фурье, вейвлет-преобразований, обширный материал посвящен цифровым фильтрам, цифровым генераторам, фазорасщепителям, демодуляторам и т.д. Описана архитектура сигнальных процессоров и организация вычислений в них, приведены методики расчета различных устройств ЦОС и программы их расчета и моделирования. Материал пособия содержит много рисунков, поясняющих происходящие в устройствах ЦОС процессы, а также временные диаграммы, графики и характеристики различных устройств ЦОС.

В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюстрирована многочисленными простыми для понимания примерами. Изложение курса дискретной математики представлено в форме решения математических задач различной сложности, связанных с программированием. Предложены алгоритмы решения этих задач, написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и дискретная математика», «Логика» студентами института легкой промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»).

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

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

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

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