Раздел 12 / 15

Страница 2 / 9

14. Лекция 12. Модель Бэкуса алгебры программ: фундаментальные формы и определение функций

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Регистрация

На предыдущую главу

На следующую главу

Скачать приложение

Языки логического программирования

Оглавление

3. Лекция 1. Нормальные алгоритмы Маркова

4. Лекция 2. Язык РЕФАЛ: простейшие конструкции Рефала-2

5. Лекция 3. Язык РЕФАЛ: сложные конструкции Рефала-2

6. Лекция 4. Язык РЕФАЛ: первичные функции и примеры составления программ

7. Лекция 5. Язык РЕФАЛ: дополнительные виды памяти

8. Лекция 6. Язык РЕФАЛ: Рефал-5

9. Лекция 7. Язык ПРОЛОГ: основные конструкции

10. Лекция 8. Язык Пролог: вычисления и процедурная семантика Пролога

11. Лекция 9. Язык Пролог: чистый недетерминированный Пролог и процедурная семантика

12. Лекция 10. Язык Пролог: стратегии вычислений и встроенные отношения

13. Лекция 11. Модель Бэкуса алгебры программ: основные конструкции

14. Лекция 12. Модель Бэкуса алгебры программ: фундаментальные формы и определение функций

15. Лекция 13. Модель Бэкуса алгебры программ: алгебра программ

16. Лекция 14. Модель Бэкуса алгебры программ: умножение матриц и алгебраическое преобразование программы

17. Список литературы