Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Экзамен Дудакова

.pdf
Скачиваний:
24
Добавлен:
19.05.2015
Размер:
67.9 Кб
Скачать

Вариант №21

Первая задача — 10 баллов, следующие — по 30 баллов, результат = t1 + min{t2, t3, t4}

1.Дана база данных с таблицей student(fio varchar(100), address varchar(200)). Написать с использованием встроенного SQL программу на любом из указанных ниже языков, которая делает следующее: вводит с клавиатуры фио и адреса и вставляет их в таблицу, до тех пор, пока не будет введена пустая строка. Языки — C, C++, Ada, Cobol, Fortran.

2.Доказать методом резолюций, что ( w)Q(w) следует из формулы

( x)( y)(P (x, y, y) Q(y)) ( x)( y)( z)(P (x, y, z) → P (y, x, z))

( x)( y)(P (x, y, x) Q(x) → Q(y))

3.Дать определение резолютивного вывода в логике высказываний. Привести пример резолютивного вывода. Сформулировать теорему о полноте резолютивного ввода и необходимые для доказательства леммы.

4.Для следующей нормальной логической программы построить отношения и <. Определить, является ли она стратифицированной. Построить все ее минимальные модели.

¬a ¬d ¬e f

→ c

¬b ¬c d → e

¬a b c ¬d ¬f

→ g

¬b ¬f

→ d

¬b ¬c g

e

a g →

b

¬b c ¬g

d

¬b c e ¬f

a

Вариант №22

Первая задача — 10 баллов, следующие — по 30 баллов, результат = t1 + min{t2, t3, t4}

1.Дана база данных с таблицей student(fio varchar(100), address varchar(200)). Написать с использованием встроенного SQL программу на любом из указанных ниже языков, которая делает следующее: вводит с клавиатуры фио и адреса и изменяет в таблице адрес на введенный, до тех пор, пока не будет введена пустая строка. Языки — C, C++, Ada, Cobol, Fortran.

2.Доказать методом резолюций, что ( x)( y)Q(x, y) следует из формулы

( x)( y)( z)(Q(x, y) Q(y, z) → Q(z, x)) ( x)( y)Q(y, x)

3.Дать определение прямого вывода для хорновских логических программ, И-ИЛИ дерева и истинного поддерева. Привести примеры логических программ, когда истинное поддерево существует и когда его нет.

4.Для следующей нормальной логической программы построить отношения и <. Определить, является ли она стратифицированной. Построить все ее минимальные модели.

¬f ¬g → e

b c ¬g → e

b c → f

¬a ¬b c → f

¬a ¬c d ¬f g →

e

a d ¬g

e

¬a ¬b ¬f →

g

d e ¬g

b

Вариант №23

Первая задача — 10 баллов, следующие — по 30 баллов, результат = t1 + min{t2, t3, t4}

1.Дана база данных с таблицей place(latitude float, longitude float, name varchar(100)). Написать с использованием встроенного SQL программу на любом из указанных ниже языков, которая делает следующее: вводит названия мест и печатает их координаты, пока не будет введена пустая строка. Языки — C, C++, Ada, Cobol, Fortran.

2.Доказать методом резолюций, что ( x)Q(f(f(x)), x) следует из формулы

( x)( y)(Q(f(x), y) → Q(x, f(y))), ( x)Q(x, x) ( x)( y)(Q(x, y) → Q(y, x))

3.Дать определение скулемовской функции и эрбрановского универсума. Привести пример использования скулемовских функций нуля, одного и двух аргументов. Сформулировать утверждения про удаление квантора существования и про выполнимость универсальной формулы на эрбрановском универсуме.

4.Для следующей нормальной логической программы построить отношения и <. Определить, является ли она стратифицированной. Построить все ее минимальные модели.

¬b c ¬d g → e

c ¬d e ¬f

→ b

¬b ¬d e → g

¬d ¬e ¬f

→ a

¬d ¬g

e

¬e g

a

b c g

d

¬a b c

f

Вариант №24

Первая задача — 10 баллов, следующие — по 30 баллов, результат = t1 + min{t2, t3, t4}

1.Дана база данных с таблицей place(latitude float, longitude float, name varchar(100)). Написать с использованием встроенного SQL программу на любом из указанных ниже языков, которая делает следующее: вводит две широты, две долготы и печатает названия всех пунктов, попавших в этот прямоугольник. Языки — C, C++, Ada, Cobol, Fortran.

2.Доказать методом резолюций, что ( x)Q(x, x) следует из формулы

( x)( y)(Q(x, y) P (y)) ( x)( y)(P (x) ( z)(Q(x, z) Q(z, y)))

( x)( y)( z)(Q(x, z) Q(z, y) → Q(x, y))

3.Дать определение дизъюнктивной логической программы, логической программы, нормальной ЛП и хорновской ЛП. Привести примеры логических программ всех видов. Сформулировать необходимые и достаточные условия для эквивалентности ЛП нормальной, хорновской.

4.Для следующей нормальной логической программы построить отношения и <. Определить, является ли она стратифицированной. Построить все ее минимальные модели.

¬a b d ¬e → f

a g

→ f

¬b c ¬f ¬g → d

¬b ¬c f

→ a

¬a ¬c e

f

¬e

a

¬a f

b

¬e

d