Математическая логика и теория алгоритмов. Анкудинов Г.И - 57 стр.

UptoLike

ВУЗ: 

СЗТУ | Санкт-Петербург

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

Рубрика: 

На языке темпоральной логики эта ситуация может быть описана
формулой
(e
1
r
1
e
2
) & ( e
2
r
1
e
3
) & ( e
3
r
4
L
t
1
) & & (e
3
r
3
L,T1
e
4
),
где t
1
= 29 апреля 23 часа 55 мин, T
1
= 8 часов. Используя схемы аксиом и
правила вывода получим новые факты:
(e
3
r
3
L,T1
e
4
)⎥− (e
3
r
1
e
4
)
(по схеме 3.33);
(e
1
r
1
e
2
), ( e
2
r
1
e
3
)⎥− (e
1
r
1
e
3
)
(по схеме 3.34);
(e
1
r
1
e
3
), ( e
3
r
1
e
4
)⎥− (e
1
r
1
e
4
)
(по схеме 3.34);
( e
3
r
4
L
t
1
), ( e
3
r
3
L,T1
e
4
)⎥− ( e
4
r
4
L
(t
1
⊕ T1))
(по схеме 3.36),
где
t
1
⊕ T
1
=30 апреля 7 часов 55 мин.
Дополнительные сведения вариантам логики и логическому
программированию можно найти в [1, 2, 4, 5, 7, 9, 13].
Глава 4
ЭЛЕМЕНТЫ ТЕОРИИ АЛГОРИТМОВ
4.1. Понятие алгоритма
Интуитивное представление об алгоритме как о формальном
предписании, которое определяет совокупность операций и порядок
их выполнения для решения всех задач какого-либо типа, существует
в математике с давних времен.
Термин "алгоритм" происходит от имени средневекового
узбекского математика Аль-Хорезми, который еще в IX веке
сформировал правила выполнения арифметических действий,
которые мы изучаем в школе. Под алгоритмом обычно понимается
точное предписание, определяющее процесс переработки исходных
данных в требуемый результат.
При этом требуется:
• чтобы исходные данные были заданы в конкретном алфавите
и могли принимать значения из некоторого множества, т.е.
носили массовый характер;
141

Страницы