Author(s): Маслов С.Ю.
Publisher: Радио и связь
Year: 1986
Language: Russian
Pages: 135
Титульный лист......Page 1
Аннотация и выходные данные......Page 2
Предисловие......Page 3
Предисловие научного редактора......Page 5
§ 1. Что такое дедуктивная система......Page 7
§ 2. Обсудим возможности......Page 15
§ 3. Башня дедуктивных систем......Page 18
§ 1. Как построить все, что можно......Page 20
§ 2. Выводим выводы. (Редукции Поста)......Page 24
§ 3. Один за всех... (Универсальное исчисление)......Page 28
Упражнения......Page 33
§ 4. «Там, где ты стоишь...» (Локальные исчисления, грамматики)......Page 34
§ 5. Исчисление палочек......Page 35
Упражнения......Page 40
§ 1. Что такое алгоритм?......Page 41
§ 2. Алгоритмическая неразрешимость......Page 44
Глава 4. Вероятностные исчисления и дедуктивная информация......Page 47
§ 1. Выводы вероятные и невероятные......Page 48
§ 2. Дедуктивная информация......Page 53
§ 1. Стабильные экономические системы (СЭС)......Page 56
§ 2. Игра в «начальников и подчиненных» (Технологические и собственно экономические системы)......Page 60
§ 3. Отказ от стабильности......Page 64
§ 1. ТВ-исчисления и их алгоритмические свойства......Page 67
§ 2. Проблема бесконечного функционирования системы......Page 71
Упражнения......Page 75
§ 3. Стратегия увеличения свободы выбора......Page 76
Глава 7. Развитие по правилам......Page 80
§ 1. Принципы моделирования......Page 81
§ 2. Теорема о вымирании......Page 85
§ 3. Изнутри или снаружи?......Page 87
Упражнения......Page 89
§ 1. Творческая задача как задача поиска вывода......Page 90
Упражнения......Page 95
§ 2. Поиск «снизу вверх»......Page 96
§ 3. Идея метапеременных в локальных методах поиска вывода......Page 102
§ 4. О формировании допустимых правил......Page 107
Глава 9. Асимметрия познавательных механизмов и ее следствия......Page 113
§ 1. Две функции —два механизма......Page 114
§ 2. Итеративные методы распознавания пропозициональной выполнимости......Page 121
§ 3. Оппозиция «левого» и «правого» в познании......Page 125
Список литературы......Page 129
ОГЛАВЛЕНИЕ......Page 132
Выходные данные......Page 134
Обложка......Page 135
