АвторыРублев В.С.
Языки логического программирования
ИздательствоИНТУИТ
Тип изданияучебное пособие
Год издания2016
Скопировать биб. запись
Для каталогаРублев, В. С. Языки логического программирования / Рублев В. С. - Москва : Национальный Открытый Университет "ИНТУИТ", 2016. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/intuit_416.html (дата обращения: 15.11.2024). - Режим доступа : по подписке.
АннотацияУчебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта.<br> Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой Машинами Тьюринга. Другая модель алгоритмов - нормальные алгоритмы Маркова - является основой языков программирования другого типа, которые называют языками логического программирования за направленность на решение задач логического типа. Эти языки иногда называют языками функционального программирования, поскольку программы, написанные на них, выражают явным образом функциональный подход к программированию, а также называют языками искусственного интеллекта за их использование в программировании сложных интеллектуальных задач. Настоящее учебное пособие посвящено этому направлению развития языков программирования.