SCI Библиотека

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

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

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

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

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

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

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

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