RUSSIAN

Парадигма логического программирования

By Сошников Д.В.

Book information

Language
russian
Format
DJVU
Filesize
13 MB (13112385 bytes)
Pages
\111
Library
twirpx
Time added
2017-08-07 07:01:42
Информатика и вычислительная техника;Логическое пр

Description

МАИ.Факультет прикладной математики.Кафедра вычислительной математики и программирования.Объем: 111стр.Содержание:Парадигмы.Системы логического программирования.Логика и исчисление предикатов.Логическое программирование как алгоритмическая модель.Типизированное логическое программирование.Языки программирование Prolog и Mercury.Рекурсивные структуры данных.Отрицание по неуспеху.Методы решения логических задач.Поиск в пространстве состояний.Эвристические алгоритмы поиска.Символьные вычисления.Анализ естественных языков.

Similar books