[/c]
Содержание: Лекция 1. Нормальные алгоритмы Маркова
Лекция 2. Язык РЕФАЛ: простейшие конструкции Рефала-2
Лекция 3. Язык РЕФАЛ: сложные конструкции Рефала-2
Лекция 4. Язык РЕФАЛ: первичные функции и примеры составления программ
Лекция 5. Язык РЕФАЛ: дополнительные виды памяти
Лекция 6. Язык РЕФАЛ: Рефал-5
Лекция 7. Язык ПРОЛОГ: основные конструкции
Лекция 8. Язык Пролог: вычисления и процедурная семантика Пролога
Лекция 9. Язык Пролог: чистый недетерминированный Пролог и процедурная семантика
Лекция 10. Язык Пролог: стратегии вычислений и встроенные отношения
Лекция 11. Модель Бэкуса алгебры программ: основные конструкции
Лекция 12. Модель Бэкуса алгебры программ: фундаментальные формы и определение функций
Лекция 13. Модель Бэкуса алгебры программ: алгебра программ
Лекция 14. Модель Бэкуса алгебры программ: умножение матриц и алгебраическое преобразование программы
Список литературы
[c]
Скачать Языки логического программирования Скачать с dfiles.ru Скачать с turbobit.net Скачать с hitfile.net Скачать с uploaded.net Скачать с gigapeta.com