1. Програмування в розповідній формі 2. Історія 3. Інструменти 4. Програми як теорії 5. Функціональне програмування 5.1 Вступ у Лісп 5.2. Рекурсія 5.3. Функції вищого порядку 5.4. Структури даних 5.5. Абстракції даних 5.6. Послідовності як стандартні інтерфейси 5.7. Потоки та ліниві обрахунки 5.8. Синтаксичний цукор: мова Erlang 5.9. Математичні властивості функціональних мов програмування 6.Логічне програмування 6.1 Пролог 6.2. Особливості логічних програм 6.3. Синтаксичний аналіз 6.4. Задачі пошуку 6.5. Розширення Прологу 7.Типи 7.1 Типи в ML
"Декларативне програмування"
No comments yet. -