1.3.Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций:

2.3. Пусть W - множество людей. На множестве W заданы следующие предикаты:

Е(х,у)=И  х и у – один и тот же человек;

Р(х,у)=И  х родитель у;

С(х,у)=И  х и у – супруги;

М(х)=И  х – мужчина;

W(х)=И  х – женщина.

С использованием этих предикатов записать формулу, выражающую утверждение: у каждого есть дедушка.

3.3. Привести формулу к предваренной форме:

4.3. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. Проверить работу машины Тьюринга для конкретных значений x, y, z.

5.3. Показать примитивную рекурсивность функции .