Z 3 Логическая задача

Решение логических задач методом резолюций.
Условие задачи привести в тексте сообщения.
Решение - в текстовом файле во вложении.

Вес одной задачи - "+"

Для "сложных" задач - возможно увеличение веса.
Теория должна содержать не менее 7 предложений. Из которых - не менее трех - правила.

Задачи можно попробовать сформулировать и доказать используя следующую юмористическую статью
В.Тихонов. Теория ошибок

Срок - 24.09.

Z 2 Король

Король думает, что королева думает, что она не в своем уме.
В своем ли уме Король?

Срок - до 24.09

Z1 дедушка

Некто N женился на W, у которой была дочь D.
Через некоторое время его отец F влюбился в D и женился на ней.Т.о. F стал зятем своего сына N, а D жена N стала ему еще и мачехой.
Прошло время у N и W родился сын S1. Т.о. S1 стал шурином F? т.е. S1 стал дядей своему отцу.
Еще прошло время и у F и D тоже родился сын S2...
.
Справедливо ли утверждение " N-сам себе дедушка".

Решение - в комментарии к этому посту..
Срок - до 24.09


Из ответа одного из студента КСС Гюмюшлю Сергей 4 года назад:

Давным-давно,когда ещё,мне было двадцать три.
На вдовушке женился я,хорошенькой учти.
У ней дочь взрослая была и вот ведь,мой отец,
В неё влюбился без ума,пошёл с ней под венец.

Отец родной теперь мне-зять,ой,жизнь кошмарная!
Понятно же,что мачехой,мне стала дочь моя...
Но стало интереснее,ну просто смех один,
Когда у нас со вдовушкой родился общий сын.

Отцу теперь стал шурином,сынишка милый мой,
А так же стал мне дядею,ребёнок мой родной,
А будучи мне дядею,ешё он братом стал,
Для взрослой дочери вдовы,что мачехой я звал.

Отец мой тоже не скучал,сыночка сделал ей.
Он стал мне внуком,ведь ещё он сын дочери моей.
Жена моя ,теперь, мать моей мамы!Балдею просто я.
Ведь не только мне она жена,но и бабушка моя!

Но коль жена мне бабушка,то значит:я ей внук...
Нет,точно я сойду с ума,повешусь я на сук.
Такая вот история,ну как она тебе?
Ведь,если я муж своей бабушки-Я Дедушка Сам Себе!

Лекция 2

2.Математические основы логического программирования.
2а. Основные понятия логики предикатов 1-го порядка.
- предикат,
- терм,
- ППФ,
- интерпритация ППФ,
- модель ППФ,
- теория, следствие из теории.
2б. Фразовая форма. Фразы Хорна. Правило, факт, цель.
3. Автоматизация процедуры логического вывод.
3а Процедура опровержения.
4 Метод резолюций Робинсона. Резольвента. Пустая фраза.

Проект Эйлер.

Рекомендую порешать задачки ( написать программы ) из списка, предложенного в проекте Эйлер. Часть этих задач войдет в лаб. работы.

Письмо Дейкстры

Письмо Дейкстры: почему обучение программированию нужно начинать с функционального языка

Спец. предложение.

Разработка сайта преподавателя ВУЗА. Вес задания от 100"+"  до 200 "+" в рейтинговую таблицу нашего курса. Желающих и способных выполнить эту работу - прошу обращаться ко мне вторник, среда, пятница.
Предложение действительно ДО 18.09.2016.