|
Введение
|
|
1. Знаки,
символы, переменные |
8. Пример
порождения программы |
|
|
2. Пример
программы на языке рефал . |
9. Эквивалентные
преобразования алгоритмов на рефале |
|
|
3. Выражения,
функции, отождествление |
10. Вычисления
в конечных полях |
|
|
4. Выполнение
рефал-программы |
11.
Перестановки |
|
|
5. Структурные
скобки. Дифференцирование |
12. Операции
логики высказываний |
|
|
6. Стандартные
функции. |
13. Действия
над полиномами |
|
|
7. Модули
рефал-программ |
|
|
Литература |
|
|
|
Приложение 1.
Список стандартных функций рефала-5 (В. Турчин) |
|
Приложение 2. Рефал-5
(Арк. Климов) |
|