Iverson K.E. — A Programming Language :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Iverson K.E. — A Programming Language

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

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

Название: A Programming Language

Автор: Iverson K.E.

Аннотация:

Applied mathematics is largely concerned with the design and analysis of explicit procedures for calculating the exact or approximate values of various functions. Such explicit procedures are called algorithms or programs. Because an effective notation for the description of programs exhibits considerable syntactic structure, it is called a programming language.

Язык:

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

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

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

-origin indexing      14 43
$\mathcal{L}$ -formula      163 173
$\mathcal{L}$ -formula, minimax form      166
$\mathcal{L}$ -notation      163 169
$\mathcal{L}$ -phrase      163
$\mathcal{L}$ -reduction      164
$\mathcal{P}$ -notation      163 169
0-origin indexing      71 186
0-residue      14
1-origin indexing      12 16
1-residue      14
Abelian group      69
Accumulator      78
Accumulator, index      73 79 83
Active domain      148 153
Add, clear and      76
Additive indexing      73
Address      72
Address, leading      106
Address, table sort      176 213 231
Address-ordered pool      117
Addressing, indirect      32 74 76 84
Addressing, system, open      153
Aids to serial sort      204
Algebra, matrix      24
Algorithm, Euclidean      67
Allocation, implicit      108
Allocation, of memory      105
Alternator      184 188
Amdahl, G. M.      153
Amphisbaenic sort      191 195 203
Analysis in       160
Analyzer      159
Arbitrary variable      10 13
Argument      10
Argument, program      159
Arithmetic instructions      84
Arithmetic instructions, operations      11
arrow      2
Ashenhurst, R. L.      188 190 191 255 258
Assembler      159
Associative memory      104
Automatic programming      71
Auxiliary variables      38
Axis of transposition      25
Backward chain      113
Base address register      74
Base address register, conversion      190
Base address register, value      27 38 146
batching      138
Betz, B. K.      198
Binary operation      13
Binary operation, search      141 155 221 236
Birkhoff, G.      26 28 32
Biunique transformation      144 146
Blaauw, G. A.      110
Block chaining      119
Block chaining, sort      191 213
Block chaining, transfer      206 213 221
Boehm, E.      153
Boldface letters      10
Boolean function      263
Branch arrow      2
Branch arrow, in a graph      46
Branch arrow, in files      42 181
Branch arrow, instruction      73 80
Branch arrow, modification      6
Branching      75
Branching, ratio      47
Brooks, F. P.      129
Bubble sort      213 217 229 233 239
Bucket file      154
Burks, A. W.      53 122 163 164
Busy indicator      94
Calingaert, P.      252
Canonical form      247 249 255 261
CAP      29
Carr, J. W.      171
Carter, W. C.      198 203 244
Cartesian product      30
Cascade sort      191 198 203
Category      189
Catenated scan      135 139
Catenation      20 21 29
Ceiling function      12
Central register      72 78
Chain      113 117
Chain, filial      128
Chain, list matrix      121 126
Chained representation      110 116 135 147 221
Chained representation, stack      113
Chaining block      119
Chaining block, end-around      112 135
Chaining block, vector      155
Change sign      76
Channel, command      88
Channel, data      88
Channel, input-output      75 95
Channel, instruction      100
Channel, trap      75 97
Channel-unit interlock      95
Character, null      31 58
Characteristic matrix      258
Characteristic vector      29 249 253 261
Check, parity      98
Chien, R. T.      154
Church, Robert      239
Circuit      46
Class of operand      8
Classification      177
Classification, and simple merge      178 186 201 211
Classification, simple      177 205
Classification, string      183
Clear and add      76
Clustering of keys      154
Coalescence      144 148 152
Code, Gray      63
Code, Huffman      51
Code, operation      72
Code, point      124
Code, variable length      124
Column, compression      22
Column, dimension      14
Column, expansion      21
Column, list      22 108 119
Column, mapping      33
Column, mask      21
Column, mesh      20
Column, of files      43
Column, operation      8 18
Column, reduction      17
Column, sort      178 186 191 193 204 211
Column, vector      14
Column-chained matrix      121
Command      71
Command, channel      88
Command, register      73
Comparison      2
Comparison, of internal sorting      239
Comparison, with zero      5
Compatibility, first-order      171
Compatibility, in compression      18
Compatibility, of trees      57
Compatibility, of vectors      16
Compiler      159
components      13 22
Compound operation      8
Compound operation, statement      160 165
Compression      18 21 110 113
Compression, tree      54 60

Computer files      44
Computer files, instruction      71
Computer files, program      71
Congruence      12
Conjunctive canonical form      249
Connection matrix      46
Contained in an ordering      190
Control register      72
Controlled scan      135 141 147
Controlling parameter      8
Conventions      7
Conversion, base      190
Convert instructions      87
Copy operation      177 189
Counter, instruction      73
Cram $\grave{e}$ r, H.      138 235
Cup      29
Cycles, disjoint      32
Cyclic scan      135
Data channels      88
Data channels, path      101
de Morgan’s law      16 24 64 103 246
Decisions, leading      6
Decomposition      246 255
Decomposition, chart      257
Decomposition, of a vector      21
decrement      78 83
Degree      47
Degree, vector      49 53 163
Derived key      134 144 148
Design, hardware      71
Design, logical      101
Design, system      71
Dewey, G.      129
Dickson, L. E.      65
Difference, set      29
Digital sort      186
DIMENSION      5 13 38
Dimension, -ordered pool      117
Dimension, column      14
Dimension, elision of      16
Dimension, in $\pi$       106 108
Directed graph      46
Directed graph, scan      135 147
Director      159
Disjoint cycles      32
Disjoint cycles, vectors      29
Disjunctive canonical form      249 255
Disordered pair      233
Dispersion, suffix      173
Dispersion, vector      47 59 165
distributor      78
Domain      10
Domain, active      148 153
Double chain      113 115
Dummy item      179
Dummy item, variables      40
Duplicate keys, probability of      201
Dynamic relocation      74
Element, null      6 10 16 32
Element, of a matrix      14
Elementary operations      11 13
Elementary operations, statement      160
Eligible item      179
Elision      5 8 11 16 32
ENABLE      75 100
Encoding matrix      105 109 134
End of file      90
End-around chaining      112 135
Entry arrow      3
Equivalence canonical form      249
Equivalence canonical form, class      134 147
Equivalence canonical form, function      12
Equivalence, of statements      11
Equivalence, reduction      17
Equivalent formulas      166
Euclidean algorithm      67
Euler’s constant      235
Evaluation, of internal sorting      231
Evaluation, of serial sorting      199
Exchange sort      212
Exclusive disjunctive canonical form      249 261
Exclusive-OR      12
Exclusive-or, reduction      17
Execute instruction      83
Execution, instruction      72 77
Execution, sequence      2 5
Execution, time of a sort      199
Exit arrow      3
expansion      19 21
Expected number, of strings      200
Expected number, of transpositions      232
Falkoff, A.      104
Families of operations      8
Fetch instruction      72 76
Fetch instruction, mode indicator      76 95
Fields      205
Fifo discipline      117
FILE      40 115 135 171 176
File, bucket      154
File, computer      44
File, coordinate      177
File, end of      90
File, rewind      183
File, stack      172
Filial chain      128
Filial chain, vector      128
Filial-heir chain list      127
Filler components      22
First-order compatibility      171
Fixed scan      137
Floor function      12
Flowcharting      1
Format vector      105 134
Formula      163
Formula, equivalent      166
Formula, minimax form      166
Formula, Newton — Raphson      64
Formula, reduction of      164
Formula, singular      164
Fortuitous function      133
FORWARD chain      113 117
Fraction, scan      135 140
Freiman, C. V.      154
Friend, E. H.      233 245
Full list matrix      50
Full list matrix, matrix      22 26
Full list matrix, vector      15
Function, boolean      263
Function, ceiling      12
Function, equivalence      12
Function, floor      12
Function, fortuitous      133
Function, identity      253
Function, inverse      37
Function, key      176
Function, magnitude      11
Function, mapping      34
Function, program      159 169
Function, sign      11
Function, trivial      248
Function, unit      248
Function, zero      248 253
Gap, record      98
Garner, H. L.      67
Gassner, B. J.      239
Generator      159
Gilstad, R. L.      198
Goldstine, H. H.      1 178
Graeffe method      65

1 2 3 4

О проекте