Языки логического программирования — Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой Машинами Тьюринга. Другая модель алгоритмов - нормальные алгоритмы Маркова - является основой языков программирования другого типа, которые называют языками логического программирования за направленность на решение задач логического типа. Эти языки иногда называют языками функционального программирования, поскольку программы, написанные на них, выражают явным образом функциональный подход к программированию, а также называют языками искусственного интеллекта за их использование в программировании сложных интеллектуальных задач. Настоящее учебное пособие посвящено этому направлению развития языков программирования.
Название: Языки логического программирования Автор: Рублев В. С. Издательство: НОУ "Интуит" Год: 2016 Страниц: 125 Формат: PDF Размер: 10,82 Мб Качество: Отличное
Содержание:
Лекция 1. Нормальные алгоритмы Маркова Лекция 2. Язык РЕФАЛ: простейшие конструкции Рефала-2 Лекция 3. Язык РЕФАЛ: сложные конструкции Рефала-2 Лекция 4. Язык РЕФАЛ: первичные функции и примеры составления программ Лекция 5. Язык РЕФАЛ: дополнительные виды памяти Лекция 6. Язык РЕФАЛ: Рефал-5 Лекция 7. Язык ПРОЛОГ: основные конструкции Лекция 8. Язык Пролог: вычисления и процедурная семантика Пролога Лекция 9. Язык Пролог: чистый недетерминированный Пролог и процедурная семантика Лекция 10. Язык Пролог: стратегии вычислений и встроенные отношения Лекция 11. Модель Бэкуса алгебры программ: основные конструкции Лекция 12. Модель Бэкуса алгебры программ: фундаментальные формы и определение функций Лекция 13. Модель Бэкуса алгебры программ: алгебра программ Лекция 14. Модель Бэкуса алгебры программ: умножение матриц и алгебраическое преобразование программы Список литературы
На сайте Terraincognito всегда новый и свежий хороший Софтяк, Драйвера, Мультимедиа и Редакторы, а так же найдёте Юмор и Демотиваторы, Обои на Рабочий стол, Видеоуроки, Игры, всё для Графики и дизайна, Книги и журналы, есть много Познавательного, Загадки планеты, о событиях в мире, как реальном так и виртуальном ! Каждий у нас найдёт что скачать, причем бесплатно (для ознакомления). Уважаемые гости и посетители, всегда рады Вас видеть на сайте! Регистрируемся у Нас на сайте Terraincognito!
На сайте AvtorMuzik представлено множество все различных музыкальных клипов, сборников, песен и концертов. Такие направления и жанры, как рок, Dubstep & Drumstep, шансон, рэп, поп, dance, techno, metall и другие Вы найдете у нас. Каждый сможет подобрать Mp3 альбом по своему вкусу. Всегда рады Вас видеть!
В мире компьютерных технологий на сайте Mirinfi.info! Расскажем про цифровые технологии, много статьей о железе, обзоры конференций и выставок известных брендов IT технологий, представим рынок IT, всё о событиях в мире, как реальном так и виртуальном !