Конспект лекций для студентов специальности асу пермь, 2001г - umotnas.ru o_O
Главная
Поиск по ключевым словам:
страница 1страница 2 ... страница 17страница 18
Похожие работы
Название работы Кол-во страниц Размер
Конспект лекций для студентов специальности «Информатика» 9 1614.17kb.
Конспект лекций по курсу «Организация ЭВМ и систем» для студентов... 37 3287.39kb.
Конспект лекций для студентов специальности 1-53 01 07 «Информационные... 21 2099.06kb.
Конспект лекций для студентов специальности "Автоматизированное управление... 5 1749.59kb.
Конспект лекций по курсу «Экология» (для студентов и слушателей заочной... 7 906.45kb.
Курс лекций Лектор: доцент кафедры теоретической кибернетики Мубаракзянов Р. 3 342.08kb.
Рабочая учебная программа по дисциплине конспект лекций по дисциплине 4 1144.59kb.
Курс лекций Минск 2007 (075. 8) Ббк 65. 01 37 4487.72kb.
Конспект лекций Для специальности -100100 з/о сокращенной формы обучения... 13 1277.89kb.
Конспект лекций по дисциплине «Экономика отрасли» для специальности... 4 1579.93kb.
Тексты лекций для студентов специальности 1 31 04 01- 02 «Физика... 6 2042.53kb.
1 Множества и отношения. Примеры 2 436.74kb.
Викторина для любознательных: «Занимательная биология» 1 9.92kb.

Конспект лекций для студентов специальности асу пермь, 2001г - страница №1/18




Пермский Государственный Технический Университет


СПЕЦИАЛЬНАЯ МАТЕМАТИКА

конспект лекций
для студентов специальности АСУ


Пермь, 2001г.


Оглавление


Введение 5

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

1.1 Понятие множества 6

1.2. Операции над множествами 7

1.3. Диаграммы Эйлера - Венна 7

U 8


1.4. Алгебра множеств 8

1.5. Кортеж. График 9

1.6. Соответствия 11

1.7. Отношения 12

1.7.1 Отношение эквивалентности 13

1.7.2. Отношения порядка 14

1.7.3. Морфизмы 14

1.8. Решетки 15

1.8.1. Диаграммы Хассе 15

1.8.2. Понятие решетки 15

1.8.3. Алгебраическое представление решеток. 16

Булевы решетки 16

1.8.4. Подрешетки 17

1.8.5. Морфизмы решеток 18

1.9. Мощность множества 18

1.9.1. Понятие мощности 18

1.9.2. Аксиоматика Пеано 18

1.9.3. Сравнение мощностей 19

1.9.4. Мощность множества R. 19

Теорема Кантора 19

1.9.5. Арифметика бесконечного 20

1.9.6. Противопоставление системного и 21

теоретико-множественного подходов 21

2. Математическая логика 21

2.1. Логика высказываний 21

2.1.1. Операции над высказываниями 21

2.1.2. Построение и анализ сложных высказываний 22

2.1.3. Алгебра высказываний 23

2.1.4. Формы представления высказываний 24

2.1.5. Преобразование высказываний 25

2.1.6. Минимизация высказываний методом Квайна 26

2.1.7. Минимизация с помощью карт Вейча 27

2.1.8. Функциональная полнота 29

2.2. Логика предикатов 29

2.2.1. Основные равносильности для предикатов 30

2.2.2. Получение дизъюнктов 31

2.3. Аксиоматические теории 31

2.3.1. Аксиоматическая теория исчисления высказываний 31

2.3.2. Непротиворечивость и полнота аксиоматической теории исчисления высказываний 33

2.4. Аксиоматические теории первого порядка 34

2.5. Метод резолюций 35

2.6. Система Генцена 37

2.7. Система Аристотеля 38

2.8. Примеры неклассических логик 40

3. Теория Автоматов 42

3.1. Понятие автомата 42

3.2. Примеры автоматов 43

3.3. Минимизация автоматов 45

3.4. Особенности минимизации автомата Мура 46

3.5. Переход от автомата Мура к автомату Мили и наоборот 47

4.Теория графов 48

4.1. Понятие графа 48

4.2. Теорема Эйлера 51

4.3. Полные графы и деревья 53

4.4. Деревья 54

4.5. Алгоритм Краскала 55

4.6. Планарные графы 55

4.7. Задача о 4 красках 56

4.8. Определение путей в графе 58

4.9. Приведение графа к ярусно-параллельной форме 58

4.10. Внутренняя устойчивость графа 59

4.11. Множество внешней устойчивости. 60

Ядро графа 60

4.12. Клика 61

5. Теория групп 62

5.1. Понятие группы 63

5.2. Морфизмы групп 63

5.3. Инвариантные (нормальные) подгруппы 64

5.4. Группа Диэдра (D3) 65

5.5. Смежные классы 66

5.6. Фактор-группы 67

5.7. Группа Клейна четвертой степени 67

6. Теория алгоритмов 68

6.1. Понятие алгоритма 68

6.2. Конкретизация понятия алгоритма 69

6.3. Сложность вычислений 69

6.4. Машины Тьюринга 70

6.5. Нормальные алгорифмы Маркова 71

6.6. Рекурсивные функции 72

6.7. -исчисление 74

7. Формальные грамматики 75

7.1. Понятие формальной грамматики 75

7.2. Деревья вывода 77

7.3. Классификация языков по Хомскому 77

7.4. Распознающие автоматы 79

7.5. Понятие транслятора 80

7.6. Основные функции компилятора. 81

Лексический анализ 81

7.7. Переход от недетерминированного распознающего автомата к 81

детерминированному 81

7.8. Переход от праволинейной грамматики к автоматной 82

7.9. LEX 82

7.10. Детерминированные автоматы с магазинной памятью 84

(МП-автоматы) 84

7.11. Транслирующие грамматики 86

7.12. s и q - грамматики 86

7.13. LL(1) - грамматики. 88

(left - leftmost) 88

7.14. Метод рекурсивного спуска 89

7.15. LR - грамматики 90

(left - rightmost) 90

7.16. Функции предшествования 92

7.17. Атрибутные грамматики 93

7.18. YACC 94

7.19. Область действия и передача параметров 95

7.20. Генерация выходного текста. 96

Польская инверсная запись 96

7.21. Оптимизация программ 99

8. Функциональное программирование 100

9. Логическое программирование. 103

Язык Пролог 103

10. Объектно-ориентированное программирование 104

Заключение 107

Литература 108





Введение

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

Самостоятельное значение имеют математические проблемы теоретического и практического программирования.

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

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

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

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

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

Так что акцент в большей степени сделан на понятийной, а не вычислительной стороне ряда разделов математики.


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

1.1 Понятие множества



Множество - фундаментальное неопределяемое понятие. Множество понимается как объединение в одно целое объектов, хорошо различимых нашей интуицией или мыслью.
Теорию множеств можно подразделить на аксиоматическую и интуитивную (наивную).

Аксиоматическая теория исходит из того, что множество определяется совокупностью аксиом, записанных обычно на языке логики (предикатов). Интуитивная теория множеств апеллирует к интуиции, к базовому понятию принадлежности элемента множеству, то есть к интуитивной понятности отношения принадлежности  ( а A - элемент а принадлежит множеству A).

Для интуитивного понятия множества существенны два момента, следующие из "определения":

1. Различимость элементов.

2. Возможность мыслить их как нечто единое.

Студенты образуют группу. Деревья составляют лес.

Целые числа составляют множество целых чисел.

Жители Марса - множество марсиан.
Множество, не содержащее элементов, называется пустым множеством и обозначается  или . Обычно именно фигурные скобки используются для выделения множества (отсутствие элементов в скобках и говорит о том, что это пустое множество).

Множество, заведомо содержащее все рассматриваемые элементы, называется универсальным или универсумом - U.

Было бы опрометчиво говорить просто, что U содержит все элементы. К сожалению, имеют место так называемые парадоксы теории множеств. Самый знаменитый – парадокс Рассела, который показывает невозможность построить множество всех подмножеств, не содержащих себя в качестве элемента. Более прост в понимании парадокс брадобрея, которому приказано брить в тридевятом государстве всех тех и только тех, кто не бреется сам. Перед брадобреем неразрешимый вопрос:

Включать ли самого себя в множество тех, кого он обязан брить?!
Способы задания множеств:

A = {a, b, c, d} - задание множества явным перечислением элементов.

Например, гвардия = {Иванов, Петров, Сидоров}

B = {x | С(x)} - задание множества (характеристическим) свойством С(x).

Например, студенчество = {x | x - студент} - множество таких х, что х - студент.
Отношение включения . Множество А включено в множество В В) или А есть подмножество множества В, если из х  А следует х  В.

Например, студенческая группа студенты данной специальности



Отношение строгого включения : Если A  B и A  B , то можно написать

A  B.
Например: множество отличников

Кстати, на что намекает это отношение?
Свойства отношения включения:

1. Рефлексивность: A  A

2. Принцип объемности: A  B и B  A следует B = A (на основе этого принципа и доказывается равенство двух множеств).

3. Транзитивность: A  B и B  C следует A  C


Полезные соотношения:
{ }=  ; 1  { 1 } ; {{ 1 }}  { 1 } ; { а, в }  { в, а }

1.2. Операции над множествами

1. Объединение множеств A и B

A  B = { x | x  A или x  B } (или - неисключающее)

2. Пересечение множеств A и B

A  B = { x | x  A и x  B }

3. Разность множеств A и B

A \ B = { x | x  A и x  B }

4. Симметрическая разность множеств A и B

A  B = { x | (xA и xB) или (xA и xB)}=( A \ B )  ( B \ A )

5. Дополнение множества A

A = { x | x A }
Пример.

Пусть А = {1, 2, 3} и B = {3,4}, тогда

A  B = {1, 2, 3, 4}

A  B = {3}

A \ B = {1, 2}

A  B = {1, 2, 4}

А = множество чисел кроме 1, 2, 3.

1.3. Диаграммы Эйлера - Венна

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









U

II


III

I

A

B

AB – зоны I, II, III.

AB – зона III.

A\B - зона I.

A - все, кроме круга А.

AB - зоны I, III.


Диаграмма для общего случая c тремя множествами будет иметь вид:

U


A B

C

Построение диаграммы Эйлера-Венна для общего случая с четырьмя и более множествами можно предложить для самостоятельных развлечений.



следующая страница >>