Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Языки логического программирования
15. Лекция 13. Модель Бэкуса алгебры программ: алгебра программ
Предыдущая страница
Следующая страница
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. Список литературы
Данный блок поддерживает скрол*