Пильщиков В.Н. — Язык плэнер :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Пильщиков В.Н. — Язык плэнер

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Язык плэнер

Автор: Пильщиков В.Н.

Аннотация:

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

Язык:

Рубрика: Разное/

Серия: Сделано в холле

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1983

Количество страниц: 208

Добавлена в каталог: 21.10.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Сопоставитель, определяющее выражение      105
Сопоставитель, тело      15
Сопоставление образца с выражением      75—78 80—86 92—105 129 140—142 174—176
Сопоставление образца с образцом      167 170—177
Спецлитера      9 10
Список      9 12 13 17 19—23 29 30 39 69 96 101 102
Список возможностей      165—167
Список свойств идентификатора      64—67 104 128
Список свойств теоремы      162 163 165 182
Список свойств утверждения      143 145—152 154 155 177
Список, длина      12 23 96
Список, элемент      12 19—21
Теорема      157 158 161—163
Теорема вычеркивающая      144 150 161—164 169 170 193
Теорема записывающая      144 147 161—164 169 170 192 193
Теорема целевая      158 161 163 164 169 177 182—192
Теорема, имя      162
Теорема, образец      157 158 163
Теорема, описание локальных переменных      163
Теорема, определяющее выражение      163
Теорема, тело      157 158 163 167
Удача сопоставления      75
Условие      33 137
Условное выражение      32 33 37 38 136 137
Утверждение      143—145 192
Утверждение, вычеркивание      144 146 149 150 161 162 193
Утверждение, запись      144 146—149 161 162 192 193
Утверждение, поиск      см. «Поиск по образцу»
Файл      58—61
Файл активный      59—61 128

Файл ввода      58—61
Файл вывода      58—60
Файл стандартный      58
Файл, закрытие      60 128
Файл, открытие      58 59 128
Форма      13—15 141
Форма простая      13—15 17 18
Форма сегментная      13—15 21 57
Форма, значение      13—15
Функция      15 16 49 50
Функция SUBR      17
Функция арифметическая      23—26
Функция встроенная      16 17
Функция класса FSUBR      17
Функция логическая      31—33
Функция определяемая      16 44—46
Функция, значение      15 16 28 46
Функция, имя      15 16 19 20 45 96 97
Функция, определяющее выражение      45
Функция, тело      45
Функция-двойник      129 148 150 155 182
Цикл      38—43 128
Цифра      9
Число      9 10 17 18 23—26 28 31 95 98
Число вещественное      10 18 29 57 58 95
Число псевдослучайное      25
Число целое      10 18 28 29 69 95
Шкала      9 10 18 26 27 29 69 95
«Истина»      28 31
«Ложь»      28 121

1 2

О проекте