Авторизация
Поиск по указателям
Хювёнен Э., Септянен И. — Мир Лиспа. Том 2. Методы и системы программирования
Обсудите книгу на научном форуме Нашли опечатку?
Название: Мир Лиспа. Том 2. Методы и системы программированияАвторы: Хювёнен Э., Септянен И. Аннотация: Двухтомник финских специалистов, содержащий введение в язык Лисп, методы и системы программирования. Этот язык широко известен и применяется в задачах символьной обработки информации, обработки естественных языков, искусственного интеллекта, экспертных систем, систем логического программирования. Изложение языка и примеры основаны на последней версии, которая станет стандартом языка. В книге приведены конкретные задачи с ответами и решениями. Во 2-м томе изложены методы и системы программирования.
Язык: Рубрика: Computer science /Языки программирования /Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1990Количество страниц: 318Добавлена в каталог: 18.11.2005Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
von Neumann, J. 244 Wagreich, B. 163 Waite, W.M. 39 Waligorski, S. 268 Warren, D. 102 104 Waterman, D. 24 81 Weinreb, D. 125 127 171 233 240 Weinreb, P. 295 Weiss, S. 81 Weizenbaum, J. 66 68 Wertz, H. 266 WHEN, форма 36 White, J. 290 Wicat 278 Winston, P. 202 218 232 WISP 257 Woods, W.A. 53 Woodward, P. 250 265 Xerox 137 163 259 262 274 275 287 292 Xerox Learning Group 276 Xerox PARC 151 292 Xinsong, J. 269 XLG 276 XLisp 251 Zelman, H. 268 Zetaiisp 9 106 125 165 282 ZKI-Lisp 255 Zmacs 168 АДА 42 125 287 Адаптируемость (adaptability) 131 Алгол 36 251 245 260 Алгол 68 42 Анализатор (parser) 70 Анализатор программ (Masterscope) 158 АНАЛИЗИРУЙ, наша функция 194 223 АНАЛИЗИРУЙ-ПРАВИЛО, наша функция 223 Аналитик 189 Аргумент отношения 84 Аристотель 151 Аромат (flavor) 111 Аромат ванилиновый (vanilla flavor) 117 Ассистент (programmer's assistant) 141 154 Атлас 251 База данных (database) 70 База знаний (knowledge base) 218 Бальзак, О. 138 Башни Ханойские (Towers of Hanoi) 31 Бейсик 19 Боброу, Д. 66 67 125 126 248 288 Брайль 252 БЭСМ-6 254 В-ГЛУБИНУ, наша функция 77 В-КОНЕЦ, наша функция 208 В-ШИРИНУ, наша функция 78 Вайзенбаум, Дж. 66 68 Великобритания 250 Венгрия 256 ВЕНЕРА, переменная 234 ВОЗМОЖНЫЕ, наша функция 229 ВПЕРЕД, наша функция 212 ВТОРОЙ, наша функция 148 ВЦ АН СССР 254 ВЫВЕДИ, наша функция 34 ВЫВЕДИ-ВЫРАЖЕНИЕ, наша функция 187 ВЫВЕДИ-ХВОСТ, наша функция 188 ВЫВЕДИ-ЭЛЕМЕНТЫ, наша функция 225 Вывод логический (inference) 20 ВЫВОДЫ, наша функция 223 Выдача информации об ошибочных ситуациях (error signaling) 146 ВЫЧИСЛИ, наша функция 198 ВЫЧИСЛИ-СУММУ, наша функция 50 ГДР 255 Гете, И. 203 Гладстон, У. 174 ГЛАСНАЯ?, наша функция 208 Грамматика (grammar) 67 Данные из предметной области (domain knowledge) 218 ДАРВИН, наша функция 227 Дартмут 244 ДЕДУШКА, отношение 91 ДЕЙМОС, переменная 234 Действие (performance, function, process, action) 16 70 Действие универсальное (generic) 41 Декарт 82 ДЕЛИ, наша функция 207 ДЕЛИ-СЛОВО, наша функция 207 Демон (daemon) 53 Дерево разбора (parse tree) 67 ДИАМЕТР-СОЛНЦА, константа 234 Диктуниус, Э. 164 Дисплей с битовой картой (bitmap) 166 ДИФФЕРЕНЦИРУЙ*, наша функция 45 ДИФФЕРЕНЦИРУЙ+, наша функция 45 ДИФФЕРЕНЦИРУЙ, наша функция 43 44 ДИФФЕРЕНЦИРУЙ-, наша функция 45 ДИФФЕРЕНЦИРУЙ1, наша функция 44 ДОБАВЬ, наша функция 60 ДОБАВЬ-ВЫВОДЫ, наша функция 225 ДОКАЖИ, наша функция 99 228 ДОКАЖИ-КАЖДЫЙ, наша функция 99 Доказательство корректности (proving) 129 ДОЛГАЯ-КОН?, наша функция 210 ДОЛГАЯ-НАЧ?, наша функция 208 ДОЛГОТА-ГЛАСНОЙ, наша функция 209 Дуга (arc, edge) 71 Ершов, А.П. 136 ЕС 254 255 Запись инфиксная (infix) 196 Запись обратная польская (reverse Polish) 193 Запись польская (Polish form) 196 Запись постфиксная (postfix, suffix) 196 Запись префиксная (prefix) 196 ЗЕМЛЯ, переменная 234 Зеталисп 9 106 125 165 282 Знания (knowledge) 14 ЗНАТОК-ЗВЕРЕЙ, наша функция 227 ЗНАЧЕНИЕ, наша функция 62 88 Идентификация (identification, recognition) 20 Иерархия понятий (conceptual hierarchy) 17 ИМПЕДАНС, наша функция 51 Инженер знаний (knowledge engineer) 218 Инспектор (inspector) 141 Интерлисп 9 125 151 251 253 259 274 Интерпретатор продукций (rule interpreter) 70 ИНТЕРПРЕТАТОР, наша функция 185 Интерфейс (interface) 133 Исполнение пошаговое (stepping) 140 История (history list) 141 154 Исчисление предикатов первого порядка (first order predicate calculus) 89 Калевала 11 Канада 258 Карлейль, Т. 233 Кау, А. 124 126 Кау, М. 104 Китай 257 Класс (class) 18 106 107 Класс базовый (base class, base flavor) 112 117 Класс естественный 112 Класс классов (class class) 117 Класс объектов (object class) 107 117 Класс свойств 112 Класс характеристический (mixing flavor) 112 Клоксин, У. 103 КНР 257 Кнут, Д. 38 136 288 Комментарий (comment) 150 Коммон Лисп 7 126 134 277 284 КОНЕЦ, переменная 76 Контекст сопоставления (context) 63 КОРАБЛЬ!, переменная 118 КОРАБЛЬ, класс 118 КОРАБЛЬ78, переменная 119 Корректность (correctness) 129 Корректор ошибок 141 КОСМОС, переменная 235 КОСМОС-ОКНО, объект 234 КПЛЮС, наша функция 50 КРИТЕРИЙ, наша функция 78 Лавров, С.С 267 Лейбниц, Г. 272 Ленат, Д. 24 81 Лингвистика компьютерная (computational linguistics) 203 Линчепинг 258 259 Лисп чистый (pure Lisp) 27 Лихтенберг, Г. 82 Логик-теоретик 244 Логика (logic) 1 Логика хорновских предложений (Horn clause logic) 89 Лукасевич, Л. 196 ЛУНА, переменная 234 Маккарти, Дж. 180 188 243 248—250 Маклисп 125 273 Макропрограммирование (macro programming) 37 МАРС, переменная 234 МАРШРУТ, наша функция 75 МАТЬ, отношение 93 Машина вывода (inference engine) 70 218 Мексика 258 Меллиш, К. 103 МЕРКУРИЙ, переменная 234 Метазнания (meta-knowledge) 16 79 Метакласс (metaclass) 107 117 Метаобъект 107 Метафора (metaphora) 23 Метод (method) 108 Метод операторного предшествования (operator precedence) 192 Метод резолюций (resolution) 94 Метод, комбинация (combination) 114 Метод-демон (daemon method) 115 Механизм возвратов по зависимостям (dependency directed/relevant backtracking) 72 Механизм наследования (inheritance mechanism) 112 Механизм хронологический (chronological backtracking) 72 МИКСИМА, наша функция 201 Минский, М. 125 127 244 Мицубиси 256 Модель абстрактная (abstract model) 37 Модель объектная (object model) 125 Модель программирования (model) 22 Модель с акторами (actors) 125 Модуль (module) 35 Мышь (mouse) 166 Мышь, выбор (click) 166 Мышь, кнопка (button) 166 МЭИ 254 Надежность (reliability) 129 Надкласс (superclass) 111 НАЗАД, наша функция 212 НАИЛУЧШИЙ, наша функция 78 НАЦЫГАНСКИЙ, наша функция 214 Нейман, Дж. 244 Нильсон, Н. 24 74 81 НЛО, класс 121 Ньюэлл, А. 244 249 Обмен сообщениями (message passing) 108 Обработка естественного языка (natural language processing) 203 Обработка символьная и алгебраическая (symbolic and algebraic computing, SAC) 189 Образ (pattern) 54 Образец (pattern, template) 54 Образец предикатный 62 ОБРАЩЕНИЕ, наша функция 31 Объект (object) 16 17 Объект, вызов (object call) 107 Объект, определение (object definition) 107 Объект, свойства (attribute) 108 Объект, состояние (state) 108 Объект, экземпляр (instance) 107 118 Оператор (operator) 20 ОРБИТА-ЗЕМЛИ, константа 234 ОТЕЦ, отношение 92 Отлаживаемость (debuggability) 131 Отношение (relation) 84 Отправитель (sender) 125 ОЧИСЛО, наша функция 50 Ошибка серьезная (fatal error) 146 Парадигма программирования (paradigm) 22 ПАРАЛЛЕЛЬНО, наша функция 48 51 Паскаль 19 264 Перебор полный (exhaustive/blind search) 71 ПЕРЕВЕДИ-ПРЕДЛОЖЕНИЕ, наша функция 213 ПЕРЕВЕДИ-СЛОВО, наша функция 209 ПЕРЕДНЕЕ, наша функция 211 Переменная образца 58 Переменная общая (shared instance variable) 115 Переменная экземпляра (instance variables) 108 ПЕРЕМЕННАЯ-Р, наша функция 89 ПЕРЕНОС, наша функция 33 Переносимость (portability) 37 131 Печать структурная (pretty-print) 155 183 ПЛАН, переменная 76 ПЛАНЕТА, класс 236 Подкласс (subclass) 111 Подмастерье (apprentice) 141 ПОДМНОЖЕСТВО, наша функция 225 Подстановка (substitution) 86 ПОИСК (SEARCH) 20 Поиск в глубину (depth-first) 73 77 114 Поиск в ширину (breadth-first) 73 77 Поиск двунаправленный (bi-directional search) 73 Поиск обратный (backward chaining, goal driven search) 73 226 Поиск по наилучшему варианту (best-first) 74 77 Поиск прямой (forward chaining, data driven search) 73 Поиск уровням (level first) 114 ПОИСК, наша функция 76 Полезность (validity) 130 ПОМЕНЯЙ-ИМЕНА, наша функция 98 ПОМЕНЯЙ-ЧАСТИ, наша функция 211 Порядок выполнения (precedence) 191 Порядок обхода дерева (walk order) 196 Порядок обхода дерева обратный (postorder) 114 196 Порядок обхода дерева промежуточный (inorder) 196 Порядок обхода дерева прямой (preorder) 114 196 ПОСЛЕДОВАТЕЛЬНО, наша функция 48 49 Постдемон (after-daemon) 116 Пояснения (documentation) 147 Правила порождающие (production rule) 70 Правила резолюции (resolution rule) 95 Правила трансформации (transformation) 70 ПРАВИЛО, структура 220 Преддемон (before-daemon) 116 Предложение хорновское (Horn clause) 90 Предложение, заключение (head, consequence) 90 Предложение, предикат 90 Предложение, тело или предусловие (body, precondition) 90 ПРЕДЛОЖЕНИЕ-И, наша функция 223 Представление знаний (knowledge representation) 16 245 ПРЕОБРАЗУЙ, наша функция 195 Прерывание (break) 140 156 ПРИМЕНИ, наша функция 198 ПРИМЕНИМЫ, наша функция 76 Принцип пошагового уточнения (stepwise refinement) 35 ПРИСОЕДИНИ, наша функция 222 ПРОВЕРЬ-НЕПРЯМО, наша функция 230 ПРОВЕРЬ-ПРАВИЛО, наша функция 224 ПРОГРАММА, переменная 93 Программирование императивное или операторное (imperative programming) 28 Программирование логическое (logic programming) 55 84 101 Программирование модульное (modular programming) 35 Программирование объектно-ориентированное или объектное (object oriented programming, object programming) 19 106 Программирование продукционное (rule based programming) 55 Программирование процедурное (procedural programming) 28
Реклама
|
|
О проекте