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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Параметризация тривиальная      274
Перевод оптимальный      113
Пересечение множеств      15
Пересечение языков      14 214
Пересчет на регистре      150
Переход правильный      227
Плотности условие      83
Поверхность алгебры      86
Подалгебра      76
Подалгебра достижимая сверху (снизу)      86
Подалгебра изолированная      96 154
Подалгебра максимальная      79 159
Подалгебра пограничная      160
Подалгебра предельная      160
Подмножество      13
Подмножество собственное      13
Подобие строк      270
Полугруппа      70 145
Полугруппа свободная      103
Полугруппа симметрическая      104
Порождающая многоосновная алгебра      110
Порядок линейный      56
Порядок строгий      56
Порядок частичный      56
ПР-анализатор магазинный      264
ПР-анализатор с регулярным управлением      280
ПР-выводимость      263
Правила вывода      210
Правила замены      210
Правила поглощения      17
Предикат      67
Преобразование с вспомогательными переменными      149
Преобразование, периодически определенное      143
Преобразователь конечный      209
Приведенная форма грамматики      194 270
Принцип двойственности      60 91 132
Проблема аксиоматизации алгоритмических алгебр      125
Проблема анализа автоматов      207 243
Проблема перечислимости      296
Проблема полноты      79 208
Проблема принадлежности      296
Проблема синтаксического анализа      234 246
Проблема синтеза автоматов      207
Проблема существования      296
Продолжение вершины      182
Продукция      172
Проекция отношения      46
Прообраз      49
Прообраз полный      49
Прямая сумма      20
Путь в дереве      182
Разбиение      20
Развертка      247
Разность множеств      19
Разность симметрическая      19
Разряд регистра      141
Распознавание правильности цепочки      173
Регистр абстрактный      115 141
Регулярная схема микропрограммы      118
Рекурсия языков      217
Рефлексивность      13 22 52
Решение минимальное      196
Решение системы уравнений      196 208
Решетка      62
Свертка      246
Свертка де Моргана      45
Сдвиг      144
Сдвиг частичный      166
Сегмент      24
Семантика языка программирования      304
Сечение      46
Сигнатура      67 68
Сигнатура алгебры      68
Сигнатура модели      67
Символ начальный      173
Символ парный      290
Символ фиктивный      194
Симметричность      25 53
Синтаксис языка программирования      180
Синтаксический анализ      234 246 282
Синтаксический контроль      234
Синтаксический тип      184
Синтез магазинного автомата      234 236
Система аксиоматическая      209
Система алгоритмических алгебр      118
Система образующих      78
Система операционная      234 299
Система параметрическая      233
Система программирования      41
Система составляющих      178
Система уравнений      195
Система формальная      172
Система функционально полная      91
Слово пустое      213
СМ-грамматика двусторонняя      289
СМ-грамматика одномагазинная      285
СМ-грамматика транслирующая      299
СМ-система      294 298
СМ-система вырожденная      298
Собственное подмножество      13
Событие      203
Совокупность соотношений определяющая      108
Составляющая цепочки      178
Составляющая цепочки атомная      178
Способ проведения вывода      181
Степень языка      206
Стратегия двустороннего анализа      263
Стратегия развертки      247
Стратегия свертки      246
Стрелка Пирса      88 94
Строгое включение      13
Структура булева      66
Структура дистрибутивная      66
Структура однородная      143
Структура полная      65
Структура синтаксическая      178
Сумма (mod 2)      88
Сумма прямая      20
Суперпозиции отношений      48
Суперпозиции функций      71
Суперпозиции языков      70 210
Схема грамматики      173
Схема каскадная      143
Таблица истинности      88
Тип модели      67
Тождество      101
Транзитивность      14 23 53
Транслятор      41
Транслятор двухпроходовый      253
Транслятор синтаксически управляемый      232
Трансляция      113 209 295 296
Транспозиция      42
Трансфинитная индукция      59
Трансцендентное число      29
Трассировка      168
Умножение левое условия на оператор      117
Умножение операторов      116
Умножение языков      206
Условие однозначности      203
Условие операторное      132
Условие полной определенности      203
Условие связности      203
Условие характеристическое      131
Участок линейный программы      115
Фактор-алгебра      100
Фактор-множество      106
Ферма великая теорема      13
Ферма теорема      220
Фиксатор      51
Фильтр      126
Флойда алгоритм синтаксического анализа      249 252 253
Форма системы уравнений приведенная      270
Формальная система      172
Формальный язык      172
Функция k-значной логики      73
Функция алгебры логики      73 87
Функция булева      48
Функция выходов      210 225
Функция двойственная      132 155
Функция инверсная      132
Функция линейная      92
Функция монотонная      92
Функция переходов      210 225
Функция порождающая      143 170
Функция различающая      262
Функция самодвойственная      92
Функция характеристическая      14
Функция, сохраняющая 0      92
Функция, сохраняющая 1      92
Цепочка ассоциированная с деревом      184
Цепочка взвешенная      271
Цепочка выводимая      174 266 273
Цепочка непосредственно выводимая      266 272
Цепочка обратная      213
Цепочка правильная      172
Цепь      56
Цермело теорема      59
Цикл      42
Цорна лемма      59
Частичный порядок      55
Штрих-операция      51
Штрих-операция Шеффера      88 94
Эквивалентность      88
Эквивалентные множества      22
Элемент максимальный      58
Элемент минимальный      58
Элемент наибольший      58
Элемент наименьший      58
Элемент непосредственно следующий (предшествующий)      59
Элемент неразложимый      105
Элемент обратный      104
Элемент универсальный      155
Эммулятор      75
Язык LL(k)      259
Язык LR(k)      258
Язык автоматный      267
Язык естественный      173
Язык интерпретированный      265
Язык искусственный      172
Язык контекстно-свободный      187
Язык леволинейный      199
Язык линейный      199
Язык над алфавитом      30
Язык непосредственно составляющих      179 188
Язык порожденный автоматом      209 228
Язык праволинейный      199
Язык предшествования      249
Язык предшествования Вирта — Вебера      256
Язык регулярный      203 205
Язык старшинства разделителей      249
Язык типа АЛГОЛ      196
Язык формальный      172
Язык, порожденный грамматикой      175 266 273
Язык, порожденный системой уравнений      196
Язык, представимый автоматом      203 227
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте