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

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

blank
blank
blank
Красота
blank
Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование
Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование



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



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


Название: Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование

Авторы: Хювёнен Э., Септянен И.

Аннотация:

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


Язык: ru

Рубрика: Computer science/Языки программирования/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
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
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте