|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Пильщиков В.Н. — Язык плэнер |
|
|
|
| Предметный указатель |
Сопоставитель, определяющее выражение 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
|
|
|
| Реклама |
|
|
|
|
|
О проекте