- •Предисловие
- •Глава1. Логика классическая
- •1.1. Логика высказываний
- •1.1.1. Алгебра высказываний
- •1.1.1.2. Правила записи сложных формул
- •1.1.1.3. Законы алгебры высказываний
- •1.1.1.4. Эквивалентные преобразования формул
- •1.1.1.5. Нормальные формы формул
- •1.1.2. Исчисление высказываний
- •1.1.2.1. Интерпретация формул
- •1.1.2.2. Аксиомы исчисления высказываний
- •1.1.2.3. Метод дедуктивного вывода
- •1.1.2.4. Метод резолюции
- •Вопросы и задачи
- •Расчетно-графическая работа
- •1. 2. Логика предикатов
- •1.2.1. Алгебра предикатов
- •1.2.1.1. Логические операции
- •1.2.1.2. Правила записи сложных формул
- •1.2.1.3. Законы алгебры предикатов
- •1.2.1.4. Эквивалентные преобразования формул
- •1.2.1.2. Предварённая нормальная форма
- •1.2.1.3. Сколемовская стандартная форма
- •1.2.2. Исчисление предикатов
- •1.2.2.1. Интерпретация формул
- •1.2.2.2. Аксиомы исчисления предикатов
- •1.2.2.3. Правила унификации предикатов
- •1.2.2.4. Метод дедуктивного вывода
- •1.2.2.5. Метод резолюции
- •1.2.3. Логическое программирование
- •1.2.3.1. Основы логического программирования*
- •1.2.3.2. Подготовка среды Visual Prolog для работы
- •1.2.3.3. Описание логических задач на языке Prolog
- •Вопросы и задачи
- •Расчетно-графическая работа
- •Формула
- •1.3. Логика реляционная
- •1.3.1. Реляционная алгебра*
- •1.3.1.1. Унарные операции
- •1.3.1.2. Бинарные операции
- •1.3.2. Реляционное исчисление*
- •1.3.3. Языки реляционной логики
- •Вопросы и задачи
- •Расчетно-графическая работа
- •Глава 2. Неклассическая логика
- •2.1. Нечёткая логика
- •2.1.1. Нечёткие множества
- •2.1.2. Нечёткая алгебра
- •2.1.2.1. Операции над нечёткими множествами
- •2.1.2.2. Законы нечёткой алгебры
- •2.1.2.3. Свойства нечётких отношений
- •4.4.2. Экспертные системы
- •Вопросы и задачи
- •Расчетно-графическая работа
- •2.2. Модальная логика
- •2.2.1. Темпоральная (или временнáя) логика*.
- •Ответы и решения
- •Литература
- •Предметный указатель
|
|
140 |
|
|
|
|
|
Математическая логика |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
Вопросы и задачи |
|||||
|
|
|
|
1.3.1. Даны отношения r1, r2, r3, r4. Написать формулы |
|||||||||||
на языке реляционного исчисления с переменными- |
|||||||||||||||
кортежами и на SQL. |
|
|
|
|
|
||||||||||
r |
|
A A A A A |
r2 |
|
A A A A A5 |
union(r1, r2), |
|||||||||
1 |
|
1 |
2 |
3 |
4 |
5 |
|
|
1 |
2 |
3 |
4 |
|
minus (r3, r4), |
|
|
|
|
b |
c1 |
d |
1 |
4 |
|
|
b2 c3 |
d |
2 |
3 |
product (r2, r4), |
|
|
|
|
1 |
|
1 |
|
|
|
|
|
|
4 |
|
|
intersection(r2, |
|
|
|
b c2 d 2 3 |
|
|
b3 c3 d 3 2 |
r3), |
||||||||
|
|
|
2 |
|
2 |
|
|
|
|
|
|
3 |
|
|
select(r3, A5>1 ), |
|
|
|
b |
c3 |
d |
3 |
2 |
|
|
b4 c4 |
d |
4 |
1 |
join(r1, r4, |
|
|
|
|
3 |
|
3 |
|
|
|
|
|
|
4 |
|
|
r1.A4=r4.A4), |
|
|
|
b |
c4 |
d |
4 |
1 |
|
|
b1 c2 |
d |
4 |
1 |
join(r2, r3, |
|
|
|
|
4 |
|
4 |
|
|
|
|
|
|
3 |
|
|
r2.A4>r3.A5). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Составить таб- |
r |
|
A A A A A |
r4 |
|
A A A A A5 |
лицы по резуль- |
|||||||||
|
|
||||||||||||||
3 |
|
1 |
2 |
3 |
4 |
5 |
|
|
1 |
2 |
3 |
4 |
|
татам исполне- |
|
|
|
|
|
ния операций. |
|||||||||||
|
|
|
b |
c3 |
d |
3 |
2 |
|
|
b3 c2 |
d |
3 |
2 |
||
|
|
|
4 |
|
2 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
b c3 d 3 2 |
|
|
b3 c3 d 3 2 |
|
||||||||
|
|
|
3 |
|
3 |
|
|
|
|
|
|
3 |
|
|
|
|
|
|
b c2 d 1 4 |
|
|
b1 c2 d 1 4 |
|
||||||||
|
|
|
1 |
|
3 |
|
|
|
|
|
|
3 |
|
|
|
|
|
|
b c2 d 4 1 |
|
|
b2 c2 d 2 3 |
|
||||||||
|
|
|
1 |
|
3 |
|
|
|
|
|
|
2 |
|
|
|
1.3.2. По «Расписанию движения самолетов из Калининграда (аэропорт Храброво)» – Расписание_1 и «Расписанию движения самолетов из Москвы (аэропорт Шере-
|
|
|
|
|
Вопросы и задачи |
141 |
|||||
метьево)» - Расписание_2 ответить на вопросы: |
|
||||||||||
|
|
|
|
|
|
Расписание_1 |
|||||
|
|
|
Отправление |
|
|
|
|
|
|
||
|
Аэропорт на- |
|
Номер |
|
Дни выле- |
Время |
|
Время |
|
|
|
|
|
рейса |
|
та |
|
(мест- |
|
||||
|
значения |
|
|
|
|
(мест- |
|
ное) |
|
||
|
|
|
|
|
|
ное) вы- |
|
приле- |
|
||
|
|
|
|
|
|
лета |
|
та |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Москва (Вну- |
К8986 |
|
1,2,3,4,5,6. |
08.15 |
|
11.05 |
|
|
|
|
|
|
7 |
|
|
|
|
|||||
|
ково) |
|
|
|
|
|
|
|
|
|
|
|
Москва (Вну- |
|
|
|
1,2,3,4,5,6, |
16.00 |
|
18.50 |
|
|
|
|
ково) |
|
|
|
7 |
|
|
|
|
|
|
|
Москва (Ше- |
|
К8990 |
|
2,5 |
13.00 |
|
15.50 |
|
|
|
|
реметьево) |
|
|
|
|
|
|
||||
|
Новосибирск |
|
К8351 |
|
5,6 |
19.00 |
|
05.30 |
|
|
|
|
Новосибирск |
|
К8353 |
|
4 |
21.00 |
|
05.45 |
|
|
|
|
С-Петербург |
|
К8485 |
|
1,3,5 |
09.15 |
|
12.00 |
|
|
|
|
|
|
* |
|
|
|
|
|
|
|
|
|
С-Петербугр |
|
ПЛ86 |
|
4 |
13.40 |
|
16.25 |
|
|
|
|
|
|
70 |
|
|
|
|
|
|
|
|
|
С- |
|
ПЛ86 |
|
6 |
16.00 |
|
18.45 |
|
|
|
|
ПетербургГ |
|
72 |
|
|
|
|
|
|
|
|
|
С-Петербург |
|
ПЛ86 |
|
2 |
19.05 |
|
21.50 |
|
|
|
|
|
68 |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
Расписание_2
142 |
Математическая логика |
|
|
||
|
|
|
|
|
|
Аэропорт на- |
Номер |
|
Время |
Время |
|
|
(мест- |
(мест- |
|
||
значения |
рейса |
Дни вылета |
ное) вы- |
ное) |
|
|
|
|
лета |
прилета |
|
Киев |
UN2011,2,3,4,5 |
09.10 |
09.30 |
|
|
Киев |
UN2111,2,3,4,5 |
18.30 |
18.50 |
|
|
Красноярск |
UN511 |
2,4,6 |
20.00 |
04.25 |
|
|
1 |
|
|
|
|
Красноярск |
UN514 |
1,2,3,4,5,6,723.35 |
08.15 |
|
|
|
7 |
|
|
|
|
Новосибирск |
UN1076 |
21.50 |
05.55 |
|
|
Новосибирск |
UN1073 |
22.50 |
05.50 |
|
|
Санкт- |
UN1211,2,3,4,5 |
07.50 |
09.00 |
|
|
Петербург** |
|
||||
Санкт- |
UN1411,2,3,4,5 |
19.00 |
20.15 |
|
|
Петербург** |
|
||||
Тель-Авив |
UN3114,6,7 |
19.30 |
22.45 |
|
а) как организовать наиболее удобный перелет Кали- нинград–Москва–Санкт-Петербург?
b) Как организовать перелет Калиниград–Москва- Красноярск?
Как организовать перелет Калининград–Москва- Киев?
d)Как организовать перелет Калининград–Москва- Новосибирск так, чтобы в четверг принять участие в работе конференции в10.00?
e)Как организовать перелет в среду Калининград – Москва-Красноярск?
f)Как организовать перелет Калининград-Москва - Тель-Авив?
Вопросы и задачи |
143 |
|
|
|
|
g) На каких маршрутах вылетают самолеты из Калининграда после 18.00?
Примечание: резерв времени для переезда в Москве из одного аэропорта в другой не менее 3 часов.