Специальная математика. Соловьев А.Е. - 65 стр.

UptoLike

ВУЗ: 

ПНИПУ | Пермь

Составители: 

Рубрика: 

a
1
3
2 4
a
3
a
2
1
Это замечательная группа. Некоторые ученые, особенно предрасположенные к
философии считают, что это одна из групп, лежащих в основе механизма мироздания. Не
меньше и не больше. Но мы здесь философский аспект опускаем, а группу приводим.
I a
1
a
2
a
3
I I a
1
a
2
a
3
a
1
a
1
I a
3
a
2
a
2
a
2
a
3
I a
1
a
3
a
3
a
2
a
1
I
Свойства:
1. a
i
a
j
= a
j
a
i
2. a
i
I = a
i
3. a
i
a
i
= I
4. a
i
a
j
= a
k
,где a
i
, a
j
, a
k
I
5. a
i
a
j
a
k
= I ,где a
i
, a
j
, a
k
I
6. Теория алгоритмов
6.1. Понятие алгоритма
Алгоритм - это строгое предписание по выполнению последовательности шагов,
приводящее к решению задачи данного типа. Понятие алгоритма относится к понятиям
фундаментальным и неопределяемым.
Свойства алгоритмов:
1. Массовость.
2. Пошаговость.
3. Элементарность отдельных шагов (что такое «элементарно» каждый Ватсон понимает по-
своему).
4. Детерминированность (точно известно, что нужно делать после каждого шага).
5. Эффективность (алгоритм должен привести к решению за конечное число шагов).
Главное разочарование программистов относительно теории алгоритмов состоит в том, что
классическая теория алгоритмов не занимается «правилами построения алгоритмов». На
законный вопрос, чем же она тогда занимается, можно достойно ответить: она занимается
более важной проблемой – проблемой алгоритмической разрешимости. То есть
занимается определением того, возможно ли вообще построить алгоритм для решения задач
данного типа.
Другими словами, существуют алгоритмически не разрешимые задачи, на алгоритмизацию
которых не стоит тратить время. Например,
невозможно построить функцию
F(х) = 1, если в числе есть последовательность из х подряд цифр 5
0, иначе.
Любопытна в связи с этим теорема:
— 65 —
1 2 3 41 2 3 41 2 3 4
1 4 3 23 2 1 43 4 1 2
a
1
a
2
a
3
Это замечательная группа. Некоторые ученые, особенно предрасположенные к
философии считают, что это одна из групп, лежащих в основе механизма мироздания. Не
меньше и не больше. Но мы здесь философский аспект опускаем, а группу приводим.


                                                          a1
       I      a1      a2     a3              3
 I     I      a1      a2     a3                                 1 2 3 41 2 3 41 2 3 4
 a1    a1      I      a3     a2          2                4     1 4 3 23 2 1 43 4 1 2
 a2    a2      a3     I      a1                                     a1        a2       a3
 a3    a3      a2     a1     I                       a3    a2

Свойства:                                        1
1. aiaj = ajai
2. aiI = ai
3. aiai = I
4. aiaj = ak ,где ai, aj, ak  I
5. aiajak = I ,где ai, aj, ak  I

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

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

    Алгоритм - это строгое предписание по выполнению последовательности шагов,
приводящее к решению задачи данного типа. Понятие алгоритма относится к понятиям
фундаментальным и неопределяемым.

Свойства алгоритмов:
1. Массовость.
2. Пошаговость.
3. Элементарность отдельных шагов (что такое «элементарно» каждый Ватсон понимает по-
своему).
4. Детерминированность (точно известно, что нужно делать после каждого шага).
5. Эффективность (алгоритм должен привести к решению за конечное число шагов).

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

F(х) =  1, если в числе  есть последовательность из х подряд цифр 5
             0, иначе.
Любопытна в связи с этим теорема:

                                                     — 65 —

Страницы