Добавить в избранное
Форум
Правила сайта "Мир Книг"
Группа в Вконтакте
Подписка на книги
Правообладателям
Найти книгу:
Навигация
Вход на сайт
Регистрация



Популярные книги


Загрузка...
Языки логического программирования (2-е изд.)
Название: Языки логического программирования
Автор: Рублев В.С.
Издательство: М.: НОУ "Интуит"
Год: 2016
Страниц: 125
Формат: PDF
Размер: 10.9 Мб
Язык: русский

Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой Машинами Тьюринга.
Другая модель алгоритмов - нормальные алгоритмы Маркова - является основой языков программирования другого типа, которые называют языками логического программирования за направленность на решение задач логического типа. Эти языки иногда называют языками функционального программирования, поскольку программы, написанные на них, выражают явным образом функциональный подход к программированию, а также называют языками искусственного интеллекта за их использование в программировании сложных интеллектуальных задач. Настоящее учебное пособие посвящено этому направлению развития языков программирования.


Содержание

Лекция 1. Нормальные алгоритмы Маркова ... 4
Лекция 2. Язык РЕФАЛ: простейшие конструкции Рефала-2 ... 11
Лекция 3. Язык РЕФАЛ: сложные конструкции Рефала-2 ... 21
Лекция 4. Язык РЕФАЛ: первичные функции и примеры составления программ ... 27
Лекция 5. Язык РЕФАЛ: дополнительные виды памяти ... 38
Лекция 6. Язык РЕФАЛ: Рефал-5 ... 53
Лекция 7. Язык ПРОЛОГ: основные конструкции ... 65
Лекция 8. Язык Пролог: вычисления и процедурная семантика Пролога ... 74
Лекция 9. Язык Пролог: чистый недетерминированный Пролог и процедурная семантика ... 85
Лекция 10. Язык Пролог: стратегии вычислений и встроенные отношения ... 92
Лекция 11. Модель Бэкуса алгебры программ: основные конструкции ... 99
Лекция 12. Модель Бэкуса алгебры программ: фундаментальные формы и определение функций ... 107
Лекция 13. Модель Бэкуса алгебры программ: алгебра программ ... 116
Лекция 14. Модель Бэкуса алгебры программ: умножение матриц и алгебраическое преобразование программы ... 119
Список литературы ... 125

Скачать Языки логического программирования (2-е изд.)








Нерабочая ссылка? Вам СЮДА


Успейте скачать!!!
Ссылки на скачивание книг ЗАПРЕЩЕННЫХ ИЗДАТЕЛЬСТВ удаляются через 3 дня с момента публикации и заменяются (по договору с АЗАПИ) партнерскими ссылками магазина LITRES!



Автор: MIHAIL62 16-05-2016, 08:03 | Напечатать |
 
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.




С этой публикацией часто скачивают:

  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent





Нажимая на кнопку "Отправить", Вы даете согласие на обработку персональных данных, а также подтверждаете условия "Политики конфиденциальности" настоящего сайта.


 MirKnig.Su  ©2018     При использовании материалов библиотеки обязательна обратная активная ссылка    Политика конфиденциальности