Введение

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

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

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

Для изучения данного курса студентам достаточно знаний математики в объеме средней школы.

I. Теория множеств

1. Понятие множества, операции над множествами

1.1. Множества и подмножества

В математике понятия множества и его элементов, так же как понятия точки, прямой, вектора, относятся к исходным понятиям и никак не определяются.

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

Принадлежность элемента множеству обозначается ( принадлежит ).

Если элемент не принадлежит множеству , то, в этом случае, используется обозначение .

Пример 1

1) – множество жителей в г. Новосибирске.

2) – множество планет Солнечной системы.

3) – множество действительных чисел; .

4) – множество натуральных чисел; ; .

Множество называется подмножеством множества , если всякий элемент множества является элементом множества . При этом используется обозначение . Знак называется знаком включения. В этом случае говорят, что В содержит А.

Множества А и равны , если их элементы совпадают, т.е. если АВ и ВА. В этом случае пишут .

Обычно для доказательства равенства двух множеств и доказывают два включения АВ и ВА.

Если элементы множеств А и не совпадают, то эти множества не равны (обозначение ).

Если и , то называется строгим подмножеством . Обозначение знак  называется знаком строгого включения.

Множества могут быть конечными (состоящие из конечного числа элементов) и бесконечными.

Число элементов в конечном множестве называется мощностью и обозначается . О мощности бесконечного множества будет говориться в следующих разделах.

Множество мощности 0, т.е. не содержащее элементов, называется пустым и обозначается . Принято считать, что пустое множество является подмножеством любого множества. Множество, содержащее все элементы, находящиеся в рассмотрении, называется универсумом и обозначается .

1.2. Способы задания множеств

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

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

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

Пример 2

1) Множество есть множество решений уравнения .

2) Множество чисел Фибоначи

.

Когда используется способ задания множества путем описания свойств его элементов, то указываются свойства, которым должны удовлетворять все элементы данного множества.

Пример 3

 множество точек единичного круга на плоскости;

 множество действительных чисел, синус которых меньше