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

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

blank
blank
blank
Красота
blank
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование



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



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


Название: Алгебра. Языки. Программирование

Авторы: Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л.

Аннотация:

Эволюция общения человека с ЭВМ связана с созданием мощных средств их математического обеспечения. Используемые при этом развитые языки и системы программирования существенно повышают "Интеллект" ЭВМ, реализуемый как схемным, так и программным способом, и способствуют дальнейшему расширению сферы применения вычислительной техники. Решение возникающих в связи с этим задач обусловило становление и развитие теоретического программирования и проникновение в него идей и методов общей алгебры. Монография посвящена изучению алгебраических методов с учетом их применения в теоретическом и системном программировании: прикладной теори алгоритмов, теории формальных языков и систем программирования.


Язык: ru

Рубрика: Computer science/Вычислимость/

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

ed2k: ed2k stats

Издание: второе

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Автомат детерминированный      203 225
Автомат конечный      202
Автомат магазинный      228 236
Автомат над внутренней памятью      222
Автомат операционный      114
Автомат с n вспомогательными лентами      226
Автомат с памятью типа бобслей      229
Автомат счетчиковый      229
Автомат управляющий      114
Адрес      51
Адрес 2-го ранга      51
Адрес высшего ранта      51
Адресный язык      163
Аксиома грамматики      172
Аксиомы алгебры событий      207
Аксиомы булевой алгебры      16 17 66 127
Алгебра k-значная Поста      73
Алгебра булева      66 127 206
Алгебра конечно-порожденная      78
Алгебра контекстно-свободная      303
Алгебра континуального типа      81
Алгебра логики      87
Алгебра многоосновная      108 302
Алгебра модифицированная Поста      145 160
Алгебра операторов      118
Алгебра плотная      84
Алгебра универсальная      68
Алгебра, бесконечно порожденная      78
Алгебра, не имеющая базиса      82
Алгебры алгоритмические      118
Алгол-60      180
Алгоритм регуляризации      120
Алгоритм синтаксического анализа      234 246
Алгоритм синтаксического контроля      234
Алфавит      172
Алфавит нетерминальный      173
Алфавит объединенный      173
Алфавит терминальный      173
Анализ беспереборный      248
Анализ беступиковый      248
Анализ восходящий      246
Анализ двусторонний      263
Анализ левосторонний      248
Анализ многослойный      281
Анализ нисходящий      247
Анализ тупиковый      248
Анализатор      246
Антипмпликация      88
Антипмпликация обратная      88
Антипмпликация прямая      88
Антисимметричность      14 53
Ассоциативность      16 70
Базис алгебры      81
Базис бесконечный      82
Базис конечный      83
Бобслей      229 299
бс-Анализатор      281
бс-Магазин      225 281
Бэкусова нормальная форма      180 234
Вершина максимальная      182
Взаимно-однозначное отображение      50
Взаимно-однозначное соответствие      22
Вирта — Вебера алгоритм синтаксического анализа      253 255
Включение множеств      13
Включение строгое      13
Вложение изоморфное      57 104
Вхождение подцепочки      178
Вхождение символа      178
Вывод      107 172 174 181 272
Вывод бесповторный      187
Вывод левый      188
Вывод полный      175
Вывод правый      188
Вывод тождества в алгебре событий      208
Вывод тупиковый      174 278
Вывод управляемый      273
Выражение арифметическое      292
Гомоморфизм      99 102
Гомоморфизм естественный      100
Грамматика LF(k)      262
Грамматика LL(f)      262
Грамматика LL(k)      259
Грамматика LR      269
Грамматика автоматная      202 274
Грамматика беспереборная      271
Грамматика в нормальной форме      175 176
Грамматика инверсно-рекурсивного типа      266 267 269
Грамматика контекстно-свободная      187
Грамматика леволинейная      199
Грамматика левофакторная      262
Грамматика линейная      199
Грамматика непосредственно составляющих      179 188
Грамматика неукорачивающая      186 193
Грамматика обобщенная      184 189
Грамматика операторная      249
Грамматика определенная      189
Грамматика параметрическая      265 266 269 274
Грамматика порождающая      173 176
Грамматика праволинейная      199
Грамматика предшествования      249
Грамматика предшествования Вирта — Вебера      253 256
Грамматика приведенная      194
Грамматика распознающая      173
Грамматика рекурсивного типа      271 277
Грамматика с n ограниченным контекстом      249
Грамматика скобочная      281
Грамматика старшинства разделителей      249 253
Грамматика формальная      172
Грамматика Хомского      173
Грамматика эквивалентная      175 186
Грань верхняя (нижняя)      58
Граф структурный      62
График n-отношения      36
Грейбах нормальная форма      288
Группа обратимых операторов      105
Группоид      102
Группоид абелев      102
Группоид аддитивный      102
Группоид идемпотентный      102
Группоид мультипликативный      102
Двойственное выражение      60 132
Де Моргана правило      17
Декартова степень      21
Декартово произведение      21
Деление языка на слово      216 258
Дерево вывода      182
Диагональ      44
Диаграммы Венна      16
Дизъюнктивная нормальная форма      90
Дизъюнктивная нормальная форма простая      134
Дизъюнктивная нормальная форма расширенная      136
Дизъюнктивная нормальная форма совершенная      90 134
Дизъюнктивная нормальная форма сокращенная      141
Дизъюнкция      16 126 148
Дизъюнкция условий      117
Дизъюнкция элементарная      89 133
Дистрибутивность      17 20
Дополнение      16 66
Единица главная      103
Единица полной структуры      65
Единица полугруппы      102
Жегалкина набор      89
Жегалкина полином      91
Закон обращения      104
Замыкание      76
Зона регистра активная      163
Идемпотентность      17 102
Идентификатор      180
Изоморфизм алгебр      67 99 109
Изоморфизм моделей      67
Изоморфизм структур      64
Изоморфизм частично упорядоченных множеств      56
Иммитатор      76
Импликанта      140
Импликанта простая      141
Импликация      88
Инверсия      144
Инволюция      17
Инструментальная машина      76
Интервал      24 61
Интерпретатор      41 231 265
Интерпретация      140 233 296
Интуитивная теория множеств      11
Истинности значения      87
Истинности таблицы      88 127
Итерация языка      207
Каноническая форма      106 189
Кантора диагональный метод      27
Кантора теорема      27 33 34
Кантора — Бернштейна теорема      31
Кардинальное число      31
Квазипорядок      56
Квайна алгоритм      141
Класс грамматический      173
Класс примитивный      101
Класс разбиения      20 53
Класс смежности      53
Класс функционально замкнутый      92
Кнута алгоритм синтаксического анализа      269
Кодирование      23
Коммутативность      16 19
Композиционный ряд      65
Композиция операторов многорегистровых      148
Композиция операторов однорегистровых      145
Композиция отношений      46
Композиция трансляторов      74
Композиция функций      148
Конгруэнция      99
Конкатенация      70
Конституэнта единицы      89 134
Конституэнта обобщенная      137
Контекст в не продукции      179
Континуум-гипотеза      35
Конус      60
Конъюнктивная нормальная форма      90 134
Конъюнкция      16
Конъюнкция полная      137
Конъюнкция расширенная      135
Конъюнкция условий      117
Конъюнкция элементарная      133 89
Корень дерева      182
Коэффициент периодически определенного преобразования      143
Критерий конечной порожденности      85
Критерий Поста о полноте      80 93
Критерий существования базиса      84
Лента элластичная      222
Логическое исчисление      173
Логическое произведение      16
Логическое сложение      16
Магазин      223
Магазин входной      224
Магазин вывода      259
Магазин выходной      224
Магазин двусторонний      224
Магазин односторонний      224
Математическое обеспечение      113
Метапеременные      173
Метаязык      234
Метка обращений к магазину      286
Микропрограмма регулярная      118
Минимизация условий      140
Минимизация функций      91
Множество      11
Множество вполне упорядоченное      58
Множество двойственное      60 155
Множество изолированное      94
Множество информационное      115
Множество континуальное      27
Множество левых символов      251
Множество линейно упорядоченное      56
Множество несчетное      27
Множество плотное      25
Множество правых символов      251
Множество рекурсивное      186
Множество самодвойственное      155
Множество счетное      24
Множество универсальное      14
Множество частично упорядоченное      56
Модель      67
Модель абстрактная вычислительной среды      166
Модель абстрактная ЭВМ      114
Модель параметрическая      266
Моноид      103
Мощность множества      28 30
Непротиворечивость системы аксиом      208 209
Нетерминал      270
Образ      49
Обращение в режиме записи      222
Обращение в режиме чтения      222
Обращение цепочки      213
Обращение языка      213
Объединение множеств      15
Объединение языков      15
Оператор      103
Оператор ввода-вывода      164
Оператор выделения      166
Оператор засылки      165
Оператор многорегистровый      147 171
Оператор обратимый      105
Оператор однорегистровый      144
Оператор пересылки      166
Оператор пропуска скобок      166
Оператор тождественный      164
Операция n-арная      36
Операция булева      15
Операция неполного склеивания      141
Операция обращения      213
Операция пересечения      15 214
Операция поглощения      141
Операция поразрядная      148 164
Операция рекурсии      217
Операция чтения      222
Операция элементарная      172
Операция, производная      71
Основание алгебры      86
Отношение n-арное      37
Отношение бинарное      38
Отношение всюду определенное      47
Отношение квазиуниверсальное      269
Отношение обратное      42
Отношение перевода      41
Отношение предшествования      250 255
Отношение стабильное      99
Отношение унарное      37
Отношение функциональное      46
Отношение частичного порядка      55
Отношение эквивалентности      53
Отношение, n-отношение      36
Отображение адресное      51
Отображение взаимно-однозначное      50
Отображение естественное      55
Отображение зеркальное      180
Отображение тождественное      50
Отождествление аргументов      151
Отождествление координат      43
Отражение зеркальное слова      180
Отрезок нумерующий      141
Отрицание      88
Очередь циклическая      224
Параметризация      266 271
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте