После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Опубликован: 04.05.2005 | Уровень: для всех | Доступ: платный | ВУЗ: Сибирский университет потребительской кооперации
Лекция 4:
Рекурсия
Самостоятельные задания
- Создайте предикат, вычисляющий неотрицательную степень целого числа.
- Создайте предикат, вычисляющий по натуральному числу N сумму чисел от 1 до N.
- Создайте предикат, вычисляющий по натуральному числу N сумму нечетных чисел, не превосходящих N.
- Создайте предикат, вычисляющий наибольший общий делитель двух натуральных чисел.
- Создайте предикат, вычисляющий наименьшее общее кратное двух натуральных чисел.
- Реализуйте, используя рекурсию и отсечение, цикл с постусловием (типа repeat <оператор> until <условие> ).
- Реализуйте, используя рекурсию и отсечение, цикл со счетчиком (типа for i:=1 to N do <оператор> )
- Реализуйте, используя рекурсию и отсечение, цикл со счетчиком (типа for i:=1 downto N do <оператор> )