Рассматриваются и алгоритмические языки - под необычным углом зрения их выразительных возможностей. Проявляются связи между ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Тейз А.N. Логический подход к искусственному интеллекту


Рассматриваются и алгоритмические языки - под необычным углом зрения их выразительных возможностей. Проявляются связи между понятиями вывода и вычисления. Во многих случаях читатель должен приноравливаться к неразрешимым теориям и проблемам. Если говорить конкретнее, то, например, в общем случае невозможно алгоритмически распознать, выводима ли некая формула в данной аксиоматической системе, а также - можно ли некую функцию вычислить, используя данный алгоритм. Излагаются и комментируются ( кратко) различные примеры. Польза от этого языка есть, даже если дедуктивный аппарат не введен.

(cкачать страницу)

Смотреть книгу на libgen

Рассматриваются и алгоритмические языки - под необычным углом зрения их выразительных возможностей. Проявляются связи между понятиями вывода и вычисления. Во многих случаях читатель должен приноравливаться к неразрешимым теориям и проблемам. Если говорить конкретнее, то, например, в общем случае невозможно алгоритмически распознать, выводима ли некая формула в данной аксиоматической системе, а также - можно ли некую функцию вычислить, используя данный алгоритм. Излагаются и комментируются ( кратко) различные примеры. Польза от этого языка есть, даже если дедуктивный аппарат не введен.