Экзамен Дудакова
.pdfВариант №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 |