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