Языки логического программирования/Рублев, В. С.

 

QR code of document

Ratings: 0

102080
Рублев, В. С.
    Языки логического программирования : учебное пособие / Рублев В. С. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. - 125 с. - ISBN 978-5-4497-0927-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
004
ББК 32.97

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

Similar publications by classification