Раздел 12 / 15

Страница 1 / 9

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

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

/

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

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

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

На последнюю страницу

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

/

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

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

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

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

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

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

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

Table of contents

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. Список литературы