Програмиране на Haskell, М.Тодорова
Сумата се прибавя директно в кошницата
6.41 €
.
За повече информация: order@kopiebg.com
СЪДЪРЖАНИЕ
Глава 1
Първи стъпки в езика На5ке11
1. Увод 7
2. Платформата на НазкеП 9
3. Основни понятия в езика НазкеП 10
4. Дефиниране на величини и функции 12
5. Обръщение към функция 15
6. Локални дефиниции 17
7. Област на дефинициите 19
8. Двумерен синтаксис 20
9. Функции и процесите, които те генерират 21
10. Скаларни типове данни в НазкеП 22
11. Недефинирани стойности на функции 27
12. Съпоставяне с образец 27
13. Библиотеки на НазкеП 29
14. Модули 30
15. Задачи 31
Задачи за самостоятелна работа 35
Глава 2
Наредени множества и списъци
1. Дефиниране на наредени множества 39
2. Списъци 40
3. Образци на списъци 44
4. Вградени функции за работа със списъци 44
5. Дефиниции на функции за работа със списъци 47
6. Задачи 50
Задачи за самостоятелна работа 56
Глава 3
Функции от по-висок ред. Анализ и синтез на програми
1. Функции от по-висок ред 63
2. Верификация, еквивалентност и синтез на програми 70
3. Задачи 78
Задачи за самостоятелна работа 83
Глава 4
Отложено оценяване. Безкрайни списъци
1. Отложено оценяване 90
2. Безкрайни списъци 95
3. Задачи 98
Задачи за самостоятелна работа 100
Глава 5
Класове, алгебрични типове и абстрактни типове данни
1. Полиморфизъм 103
2. Увод в класовете на НазкеП 104
3. Производни класове 109
4. Множествени ограничения и множествено наследяване 111
5. Вградени класове 112
6. Алгебрични типове 116
7. Абстрактни типове данни 122
8. Задачи 128
Задачи за самостоятелна работа 139
Глава 6
Входно-изходни операции. Монади
1. Входно-изходни операции 145
2. Монади 152
3. Задачи 154
Задачи за самостоятелна работа 163
Приложение 1. Таблица на стандартните оператори в НазкеП 165
Източници 166
.
