Задания
                    лабораторной работы No.1
       по курсу "Автоматическое доказательство теорем"

доц. А.Л.Хижа

          кафедра компьютерных технологий, ФПМ, ДНУ
                            2011/2012

Тема
----
Основы работы в среде программирования ACL2

Написать программы на языке ACL2 для решения указанных ниже задач.
Продемонстрировать их работу на тестовых примерах в среде ACL2:
1) в режиме командной строки ACL2;
2) в среде eclipse с использованием специального плагина.
Подготовить отчёт в соответствии с формой (см. файл Вимоги.TXT)

1. N!, comb(n,m)
2. Числа  Фибоначчи
   (написать функцию fib(n), вычисляющую n-й элемент последовательности Фибоначчи).
3. Сумма, произведение (элементов заданного списка).
4. Минимум, максимум элементов заданного списка.
5. forEach (list, func)
6. Поиск (заданного значения в заданном списке) (search list x) - задано на лекции
7. Сортировки
   а) ISort
   б) SSort
   в) MSort