Авторизация
Поиск по указателям
Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование
Обсудите книгу на научном форуме Нашли опечатку?
Название: Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программированиеАвторы: Хювёнен Э., Септянен И. Аннотация: Двухтомник финских специалистов, содержащий введение в язык Лисп, методы и системы программирования. Этот язык широко известен и применяется в задачах символьной обработки информации, обработки естественных языков, искусственного интеллекта, экспертных систем, систем логического программирования. Изложение языка и примеры основаны на последней версии, которая станет стандартом языка. В книге приведены конкретные задачи с ответами и решениями. В 1-м томе даны основные понятия языка Лисп и введение в функциональное программрование.
Язык: Рубрика: Computer science /Языки программирования /Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1990Количество страниц: 447Добавлена в каталог: 18.11.2005Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
Abrahams, P. 235 Allen, J. 286 Alpac 23 Alwey 12 Apll 94 ART 41 ATN 41 Bagley, S. 59 Banerji, R. 28 Barr, A. 28 Berwick, R. 42 Bibel, W. 43 Boden, M. 44 Boyer, R. 286 Brady, J. 204 244 286 Brady, M. 42 44 Bramer, D. 43 Bramer, M. 43 Brown, B. 306 Brown, R. 29 Bundy, A. 28 Burge, W. 286 CAD 35 40 CAI 35 CAM 35 Campbell, J.A. 43 CAR 82 CASNET/GLAUCOMA 23 cat 35 Cattel, G. 58 CDR 82 Chang, C. 43 Charniak, E. 28 42 Clancey, W. 42 Clark, K. 43 Clocksin, W. 43 Cohen, B. 28 Cohen, H. 45 Cohen, P. 45 Curry, H. 269 Danicic, I. 58 Darlington, J. 286 DARPA 12 DCG 41 DENDRAL 23 Dreyfus, H. 44 Edwards, D. 235 Eisenstadt, M. 29 EMYCIN 41 ESPRIT 12 EUREKA 12 Expert 41 Feigenbaum, E. 28 Flavor 16 Foerster, H. 204 286 FP 194 Franz, Lisp 111 262 Freys, R. 269 Friedman, D. 58 Friedman, P. 269 FRL 41 Gloess, P. 58 Goerz, G. 287 306 Gorz, G. 59 Hall, E. 44 Hamann, C.-M. 58 Hanson A. 44 Hart, T. 235 Hasemer, T. 58 Hayes-Roth, F. 42 Henderson, P. 58 235 244 269 286 Hofstadter, D. 45 204 286 Horn, B. 306 Huomo, T. 44 Hyvonen, E. 42 44 IBM 605 82 ICOT 12 Interlisp 17 40 55 116 Johnston, T. 44 KEE 41 KL-TWO 41 Knowledge Engineering Ky 15 Kowalski, R. 43 Krc 194 Krutch, J. 29 Kulikowski, C. 43 Landin, P. 269 Lee, R. 43 Lenat, D. 42 Levin, M. 235 LOGO 194 Loveland, D. 43 m-нотация (meta-notation) 115 MacLisp 55 116 183 214 319 Macsyma 23 35 Makelin, M. 44 Marr, D. 44 Maurer, W.D. 58 MCC 12 McCarthy, J. 58 235 McCorduck, P. 45 McDermoit, D. 28 MelHsh, C. 43 Michie, D. 42 Milner, R. 244 Minsky, M. 204 MIT 14 MITI 12 Moon, D. 306 Moore, J. 286 Morris, J. 269 MYCIN 23 Neumann, J. 286 Nial 194 Nii, P. 45 NIL 285 Nilsson, N. 29 NITEC 15 NLAMBDA-выражение 117 Nokia Informaatiojarjestelmat 20 Norman, A. 58 O'Shea, T. 29 OPS5 41 Pedis, D. 287 Prendergast, K. 44 PROG-механизм (prog feature) 139 PROGN неявный (implicit progn feature) 132 Queinnec, C. 58 306 Rank Xerox 20 Raphael, B. 29 45 Reduce 35 Reisbeck, C. 42 Ribbens, D. 59 Rich, E. 29 Riivari, J. 44 Riseman, H. 44 Rogers, H. 204 Rozsa, P. 204 S-1 319 s-выражение (s-expression) 66 SAC 35 Schank, R. 42 Schraeger, J. 59 Scott, D. 287 SECD-машина 268 Seppanen, J. 59 235 Shortliffe, E. 42 Siklossy, L. 59 SITRA 13 Steele, G. 59 306 STeP-84 13 Stoyan, H. 59 287 306 Stratehey, C. 306 Tarnlund, S.-U. 43 Tennant, H. 42 TERES 13 Texas Instruments 20 Touretzky, D. 59 Tractqn, K. 59 Turner, D. 269 VAX-11/780 275 Waite, M. 306 Walker, D. 42 Waterman, D. 42 43 Wegner, P. 204 Weinreb, D. 306 Weismann, C. 59 Weiss, S. 43 Weizenbaum, J. 45 Wilensky, R. 59 306 Wilks, Y. 42 Winograd, T. 42 Winston, P. 29 43 44 59 306 Wise, D. 269 Zetalisp 16 40 Абстракция вычислений 270 Абстракция данных (data abstraction) 310 Абстракция отображения 270 Авсоний 22 Автофункция (auto-function) 243 АДА 194 Аккерман 202 232 Аксиомы типа 310 Алгол-68 310 Анализ дискурса (discourse) 32 Анализ синтаксический 72 Анализатор (parser) 177 Аналитик 35 Аргумент 69 Аргумент функциональный (functional argument) 239 Атом (atom) 64 Ауэрбах, Б. 309 Байрон 249 Барьер сложности (complexity barrier) 286 Бейсик 40 194 Бирс, А. 194 Блейк, У. 319 Блокировка вычислений (quote) 75 Блокировка обратная (back quote) 298 Блокировка функциональная (function quote) 259 Бэкон, Р. 69 Вектор (vector) 350 Верификация программ (program proving verification) 37 Витгенштейн, Л. 46 288 Включение или интернирование (intern) 180 329 Вольтер 349 Выборка (selection) 312 Вызов макроса (macro call) 128 290 Вызов функции (call) 71 240 Выражение по умолчанию (mrt-form) 113 Выражение символьное (s-expression) 66 Вычисление (evaluation) 73 Вычисление отложенное (lazy/suspended evaluation) 244 265 Вычисление параллельное 265 Вычисление символьное и алгебраическое (symbolic and algebraic com-puting SAC) 35 Вычисление частичное (partial evaluation) 244 263 Вычисление численное (numeric computing) 24 Вычислимость (compuiahility) 201 Вычислимость алгоритмическая (effective computability) 202 Генератор (generator) 264 Генератор случайных чисел (random number generator) 322 Гёте, И. 337 Голова списка (head) 80 Гражданин полноправный (first class citizen) 111 Графика компьютерная (computer graphics) 39 д'Юрфе, О. 259 Действия универсальные (generic) 311 Дерево бинарное (binary tree) 225 Доказательство теорем (theorem proving) 36 Дюамель, Ж. 270 Дюма, А., мл. 239 Замыкание (lexical closure) 261 315 Запись (structure/record) 311 353 Запись (нотация) префиксная 71 Зеталисп 16 40 Знак (character) 337 Знания (knowledge) 33 Знания активные 28 Значение (value) 69 312 326 Значение глобальное (global) 122 Значение логическое (boolean) 309 Зрение машинное (machine vision) 39 Игра, ведение (game playing) 37 Игра, программирование 37 Иерархия понятий (conceptual hierarchy) 316 Имя печатное (print name pname) 150 326 327 Индекс (index) 350 Интеллект искусственный (artificial intelligence machine intelligence) 23 27 Интерлисп 17 40 55 116 Интерпретатор 100 127 174 245 289 Интерпретация (interpretation) 34 Интерпретация изображений (scene analysis) 39 Интерпретация, режим (interpretation) 73 Интерфейс пользователя (human interface) 32 Источник (source) ввода 189 Калевала 19 Клини 116 КОБОЛ 40 Код управляющий (directive) 185 Коммой, Лисп 16 54 55 319 Компилятор кремниевый (silicon compiler) 40 Константа (constant) 64 Конструктор (constructor) 312 Контекст вычислительный (evaluation environment) 121 291 Конфуций 245 Крабб, Дж. 174 Лавров, С. 58 Лец Е. 127 148 205 Лингвистика (linguistics) 32 Лингвистика математическая (computational linguistics) 32 Лисп 40 48 194 284 ЛОГО 40 Лямбда-вызов 106 Лямбда-выражение 105 270 Лямбда-исчисление (lambda calculus) 104 Лямбда-преобразование (lambda conversion) 107 Лямбда-список (lambda list) 105 Маккарти, Дж. 82 Маклисп 55 116 183 214 319 Макрознак (macro character) 177 Макрос (macro) 289 Макрос структуроразрушающий (destructive) 301 Макрос, вызов 128 290 Макрос, расширение (expansion) или раскрытие 290 Макрос, трансляция (translation) 290 Макрос, чтения (read macro) 177 МАР-функция 249 344 Массив (array) 86 349 Массив объектов (obarray) 179 Массив специализированный (specialized array) 350 Массив универсальный (general arrays) 350 Машина вывода (inference engine) 33 Метка перехода (tag) 140 Механизм возвратов (backtracking) 201 Мир 35 Множество всех подмножеств множества (power set) 274 Множество значений (range codomain) 69 Множество определения (domain) 69 Моделирование (modelling) 37 Моделирование когнитивное (cognitive modelling) 38
Реклама
|
|
О проекте