Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Математическая логика. Вариант экзамена – 2004.

0. Пролог

Программа, которая находит минимальный элемент списка L1, больший всех элементов списка L2. Запрос ?G(L1,L2,X)

I. Задачи

1. Выразить на языке логики предикатов следующее утверждение:

"Если почти все элементы последовательности действительных чисел y лежат вне

отрезка [a,b], то и предельные точки последовательности лежат вне этого отрезка".

* почти все = все, кроме конечного числа

* доступные предикаты:

R(x) - вещественное число

N(x) - натуральное число

S(y) - y - последовательность действительных чисел

E(x,n,y) - x - элемент y с номером n

A(p,y) - p - предельная точка последовательности y

x < y, x = y – сравнение и равенство

2. С помощью метода семантических таблиц установить, общезначима ли формула:

x y (P(x) → R(y)) → ( y P(y) → x R(x))

3. Исследовать на противоречивость: S =

{

P(y,z) R(x,b),

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

R(c,x) P(x,g(y)),

Q(y,y) P(x,g(y)),

P(x,y) Q(f(x), y),

}

4. Изобразить дерево SLD-вычислений и вычислимый ответ:

?Q(x,y)

Q(a,x) ← P(x), R(a);

Q(y,b) ← not(R(c)), !, P(y);

P(f(x)) ← R(x), !;

P(c) ← ;

R(x) ← P(b);

R(c) ← not(P(a));

II. Определения

5. Выполнимая семантическая таблица

6. Основной пример дизъюнкта D

7. Правильный ответ на запрос G к лог. программе П

8. Объяснить, что значит утверждение: "Операционная семантика программы

корректна относительна декларативной семантики"

III. Вопросы

9. Пусть Г - непустое множество логических следствий замкнутой формулы φ, Г не

имеет ни одной модели с конечной или счётной областью интерпретации.

Какие утверждения неверны и почему?

а. φ не имеет ни одной модели с конечной или счётной I

б. φ не имеет вообще ни одной модели

в. ψ является логическим следствием из φ

г. замкнутая формула ψ равносильна φ

10. Пусть θ, η Subst, θ = η ρ (ρ Subst)

Какие из следующих утверждений всегда верны и почему?

а. Aθ = Bθ → Aη = Bη

б. Aη = Bη → Aθ = Bθ

в. θ - НОУ → η - не НОУ

г. η - НОУ → θ - не НОУ

11. Предположим, что логическая программа П имеет минимальную эрбрановскую модель Mп = Ø (пустое множество).

Какие утверждения неверны и почему?

а. в П не содержится фактов

б. для программы П вообще не существует моделей

в. любой запрос G к программе выполняется неуспешно

г. такой программы вообще не существует

12. Пусть запрос ?not(P(c)) не имеет успешных вычислений.

Какие утверждения всегда верны и почему?

а. ?P(c) имеет только успешные вычисления

б. ?P(c) имеет хотя бы одно успешное вычисление

в. ?P(c) имеет хотя бы одно тупиковое вычисление

г. ?P(c) не имеет успешных вычислений

Характеристики

Тип файла документ

Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.

Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.

Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.

Список файлов ответов (шпаргалок)