Раздел 12 / 15

Страница 1 / 9

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

/

Режим прокрутки

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

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

На предыдущую страницу

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

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

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

/

Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте просмотр в виде pdf. Вам доступно 20 стр. из этой главы.

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

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

На предыдущую страницу

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

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

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

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

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

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