Сформулируйте формальную постановку задачи, запишите
Сформулируйте формальную постановку задачи, запишите правила вывода и реализуйте программу на SML в соответствии с вариантом исполнения.
Реализовать на языке SML следующие рекурсивные функции:
- Предшествования для целых чисел.
- Следования для целых чисел.
- Суммы первых N чисел натурального ряда.
- Произведения первых N чисел натурального ряда (факториала).
- Вычисления чисел Фибоначчи.
- Решения задачи о размещении 8 ферзей на шахматной доске 8х8 так, чтобы никакой из них они не "бил" другого.
- Решения задачи о "Ханойских башнях".
- Упорядочения массива.
- Обхода двоичного дерева слева.
- Обхода двоичного дерева справа.
- "Балансировки" двоичного дерева
- Подсчета количества элементов двоичного дерева.
- Упорядочения списка.
- Вставки элементов в упорядоченный список.
- Вставки элементов в "сбалансированное" двоичное дерево.
- Наибольшего общего делителя по алгоритму Евклида.
- Суммы N элементов арифметической прогрессии.
- Суммы N элементов геометрической прогрессии.
- Решения задачи о ханойских башнях (перемещение диска со стержня А на стержень В отображать посредством вывода текста "А->В").
- Суммы элементов списка.
- Инвертирования списка.
- Произведения с использованием только функции сложения.
- Суммы с использованием только функции прибавления единицы.