В. Ф. Пономарев математическая логика
| Вид материала | Учебное пособие |
СодержаниеКонтрольные вопросы В таблице “Показатели качества принтеров” (по пятибальной шкале) выбрать устройства, имеющие Точечно-матричный Литерный Струйный |
- Математическая логика, 1012.22kb.
- В. Ф. Пономарев математическая логика, 3033.04kb.
- Рабочая программа по дисциплине в 2-Математическая логика и теория алгоритмов шифр, 316.78kb.
- Программы кандидатского экзамена по специальности 01. 01. 06 "Математическая логика,, 50.44kb.
- Рабочая учебная программа по дисциплине математическая логика, 72.41kb.
- Рабочей программы учебной дисциплины дв2 Математическая логика и теория алгоритмов, 50.1kb.
- Рабочая учебная программа по дисциплине «Математическая логика и теория алгоритмов», 69.99kb.
- Н. В. Папуловская Математическая логика Методическое пособие, 786.38kb.
- Уакиев Валериан Савирович рекомендуемая литература, 334.04kb.
- Аннотация программы учебной дисциплины «Дискретная математика и математическая логика, 55.65kb.
Контрольные вопросы
В таблице “Показатели качества принтеров” (по пятибальной шкале) выбрать устройства, имеющие
а) качество печати не ниже 4 баллов и уровень акустического шума не ниже 4 баллов;
б) качество печати 5 баллов или цветовые возможности 5 баллов;
в) качество цветовых вариантов более 2 баллов;
г) качество печати не ниже 4 баллов и стоимость не ниже 3 баллов.
Для каждого запроса записать выражение на языках реляционной алгебры, реляционного исчисления с переменными-кортежами и на языке SQL.
ПОКАЗАТЕЛИ КАЧЕСТВА ПРИНТЕРОВ
| Тип печатающего | Скорость | Кач-во | Уровень | Цветовые | Стоимость |
| устройства | печати | печати | акустич.шума | варианты | |
Точечно-матричный Литерный
Струйный
Термографический Лазерный
-
4
4
3
4
5
2
5
2
2
4
4
4
4
5
4
3
4
4
5
3
5
5
5
3
2
По таблицам “Расписание движения самолетов из Калининграда (аэропорт Храброво)” – РАСПИСАНИЕ_1 и “Расписание движения самолетов из Москвы (аэропорт Шереметьево)” - РАСПИСАНИЕ_2 ответить на запросы таблицами:
2.1) Самолеты каких РЕЙСОВ вылетают из Калининграда во вторник?
2.2) Самолеты каких РЕЙСОВ вылетают из Калининграда после 18-00;
2.3) Как организовать перелет Калининград-Москва-С.Петербург?
2.4) Как организовать перелет Калиниград-Москва-Красноярск?
2.5) Как организовать перелет Калининград-Москва-Киев?
2.6)Как организовать перелет в среду Калининград-Москва-Новосибирск?
2.7) Как организовать перелет в среду Калининград-Москва-Красноярск?
2.8) Как организовать перелет Калининград-Тель-Авив?
Для каждого запроса написать выражение на языках реляционной алгебры, реляционного исчисления с переменными-кортежами и на языке SQL, составить результирующую таблицу.
Примечание: 1) резерв времени при переезде в Москве из одного аэропорта в другой не менее 3 часов;
- атрибут “ДНИ_ВЫЛЕТА” представлен в “Расписании...” списком, что недопустимо в реляционной модели;
- время вылета в реляционной модели должно быть представлено двумя полями: “ЧАСЫ”, “МИНУТЫ”;
- при формировании маршрутов учесть поправки на местное время.
РАСПИСАНИЕ_1
| АЭРОПОРТ НАЗНАЧЕНИЯ | ОТПРАВЛЕНИЕ (ВРЕМЯ) | |||
| НОМЕР РЕЙСА | ДНИ ВЫЛЕТА | ВРЕМЯ (МЕСТНОЕ) ВЫЛЕТА | ВРЕМЯ ПРИЛЕТА | |
| МОСКВА ВН | К8986 | 1,2,3,4,5,6.7 | 08.15 | 11.05 |
| МОСКВА ВН | | 1,2,3,4,5,6,7 | 16.00 | 18.50 |
| МОСКВА ДМ | К8990 | 2,5 | 13.00 | 15.50 |
| НОВОСИБИРСК | К8351 | 5,6 | 19.00 | 05.30 |
| НОВОСИБИРСК с18.05 | К8353 | 4 | 21.00 | 05.45 |
| С-ПЕТЕРБУРГ | К8485* | 1,3,5 | 09.15 | 12.00 |
| С-ПЕТЕРБУРГ | ПЛ8670 | 4 | 13.40 | 16.25 |
| С-ПЕТЕРБУРГ | ПЛ8672 | 6 | 16.00 | 18.45 |
| С-ПЕТЕРБУРГ | ПЛ8668 | 2 | 19.05 | 21.50 |
РАСПИСАНИЕ_2
| АЭРОПОРТ НАЗНАЧЕНИЯ | НОМЕР РЕЙСА | ДНИ ВЫЛЕТА | ВРЕМЯ ВЫЛЕТА | ВРЕМЯ (местное) ПРИЛЕТА |
| Киев | UN201 | 1,2,3,4,5 | 09.10 | 09.30 |
| Киев | UN211 | 1,2,3,4,5 | 18.30 | 18.50 |
| Красноярск1 | UN5111 | 2,4,6 | 20.00 | 04.25 |
| Красноярск1 | UN5147 | 1,2,3,4,5,6,7 | 23.35 | 08.15 |
| Новосибирск | UN107 | 6 | 21.50 | 05.55 |
| Новосибирск | UN107 | 3 | 22.50 | 05.50 |
| Санкт-Петербург** | UN121 | 1,2,3,4,5 | 07.50 | 09.00 |
| Санкт-Петербург** | UN141 | 1,2,3,4,5 | 19.00 | 20.15 |
| Тель-Авив | UN311 | 4,6,7 | 19.30 | 22.45 |
Расчетно-графическая работа
1) По заданным отношениям r1 и r2 нарисовать таблицы, удалив согласно заданию варианта четыре пары (столбец, строка);
2) выполнить по п.п. 1, 2, 3 задания бинарные операции: (r1r2), (r1r2), (r1\r2), составить результирующие таблицы r’;
- выполнить по п. 4 задания композицию двух операций; составить промежуточные и результирующие таблицы r’;
- для каждой операции написать формулы реляционной алгебры, реляционного исчисления с переменными-кортежами и запрос на языке SQL,
| r1 | A1 | A2 | A3 | A4 | A5 | A6 | A7 | A8 | | r2 | A1 | A2 | A3 | A4 | A5 | A6 | A7 | A8 |
| | a1 | b2 | c3 | d4 | 1 | 2 | 3 | 4 | | | a1 | b2 | c3 | d4 | 1 | 2 | 3 | 4 |
| | a2 | b3 | c4 | d1 | 2 | 3 | 4 | 1 | | | a2 | b3 | c4 | d1 | 2 | 3 | 4 | 1 |
| | a3 | b4 | c1 | d2 | 3 | 4 | 1 | 2 | | | a3 | b4 | c1 | d2 | 3 | 4 | 1 | 2 |
| | a4 | b1 | c2 | d3 | 4 | 1 | 2 | 3 | | | a4 | b1 | c2 | d3 | 4 | 1 | 2 | 3 |
| | a1 | b1 | c1 | d1 | 4 | 3 | 2 | 1 | | | a1 | b1 | c1 | d1 | 4 | 3 | 2 | 1 |
| | a2 | b2 | c2 | d2 | 3 | 2 | 1 | 4 | | | a2 | b2 | c2 | d2 | 3 | 2 | 1 | 4 |
| | a3 | b3 | c3 | d4 | 2 | 1 | 4 | 3 | | | a3 | b3 | c3 | d4 | 2 | 1 | 4 | 3 |
| | a4 | b4 | c4 | d4 | 1 | 4 | 3 | 2 | | | a4 | b4 | c4 | d4 | 1 | 4 | 3 | 2 |