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

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

blank
blank
blank
Красота
blank
Ершов А.П. — Введение в теоретическое программирование. Беседы о методе
Ершов А.П. — Введение в теоретическое программирование. Беседы о методе



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



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


Название: Введение в теоретическое программирование. Беседы о методе

Автор: Ершов А.П.

Аннотация:

Книга представляет собой цикл лекций, написанных в виде беседы с читателем. Подробно рассматриваются две классические задачи теоретического программирования, решения которых и развитые на этих решенпях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это — задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова. Книга рассчитана на студентов вузов.


Язык: ru

Рубрика: Computer science/

Серия: Сделано в холле

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

ed2k: ed2k stats

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Адрес      9
Адресная часть      10
Аксиома      205
Алфавит      60
Альтернатива      147 191
Аргумент      10 64
Буква      60
Вершина      40 61
Вершина висячая      119
Вершина достижимая      256 258
Вершина квазидостижимая      255
Вершина квазипродуктивная      255
Вершина продуктивная      258
Вершина разделяющая      132
Вершина связанная      67
Вершина смежная      40 67
Вершина соседняя      67
Вершина соцветная      133
Вершина терминальная      119
Вершина транзитная      80
Вершина-звезда      131
Включение      56
Восприятие величины      80
Вход обобщенный      264
Вход фрагмента      263
Вывод условный      208
Выводимость      205 214
Выработка величины      80
Выражение      13
Выход фрагмента      263
Вычисление      83
Гамак      173
Грамматика формальная      194
Граф      40
Граф n-полный      127
Граф двудольный      83
Граф информационный      83
Граф неориентированный      61
Граф несовместимости      40
Граф ориентированный      61
Граф переходов      48 64 242
Дерево      119
Дерево вывода      205
Дерево равновесное      120
Дерево разбора      195
Дизъюнкция      191
Длина (слова)      9 60
Дополнение      59
Дуга      61
Заглушка      259
Заключение      191 205
Замыкание транзитивное      91
Замыкание транзитивное обратное      101
Замыкание транзитивное ограниченное      92
Импликация      191
Интерпретация      245
Интерпретация формулы      204
История операционная      247
Исчисление      205
Исчисление корректное      206
Исчисление полное      206
Итерация      147
Квантор всеобщности      265
Код операции      10
Команда      9
Компонента      54
Компонента связности      69
Конкатенация      146
Конфигурация      251
Конфигурация остаточная      258
Конъюнкция      191
Конъюнкция ортогональная      276
Корень дерева      119
Краска      110
Маршрут      31 35 80
Метапеременная      203
Метаязык      194
Минус-стрелка      230 242
Множество      55
Множество занумерованное      57
Множество конечное      57
Множество пополняемое      91
Множество признаковое      144
Множество равное      56
Множество стартовое      91
Множество счетное      57
Множество упорядоченное      57
Множество эквивалентное      56
Мощность      57
Набор      54
Набор допустимый      258 266
Набор продуктивный      258
Независимость      206
Непротиворечивость      213
Несовместимость      39 85 87
Номер      57
Носитель      79
Нумерация      57
Область действия      85
Область задания      58
Образ      56
Образ ограниченный      93
Образ транзитивный      91
Объединение      59
Объединение графов      67
Объект абстрактный      52
Объект конструктивный      59
Окрестность 1-го порядка      127
Оператор      13 64 242
Оператор выполнимый      270
Оператор логический      226
Оператор присваивания      13
Оператор условный      13
Оператор цикла      13
Останов      242
Отношение антирефлексивное      61
Отношение бинарное      59
Отношение симметричное      61
Отображение      56
Отображение частичное      59
Отрицание      191
Оценка временная      126
Оценка емкостная      126
Оценка сложности      128
Память      9 64
Перебор полный      117
Переменная величина      10 58
Переменная величина промежуточная      10
Переменная металингвистическая      194
Переменная предикатная      245
Пересечение      59
Пересечение графов      67
Плюс-стрелка      230 242
Подграф      61
Подмножество      56
Полуцикл      276
Полюс      64
Посылка      191 205
Правило вывода      205
Предикат      226
Предшественник      61
Преемник      61
Преобразователь      242
Признак      144
Программа      9
Программа символическая      11
Программирование структурированное      146
Произведение прямое      59
Прообраз      56
Прообраз транзитивный      101
Прообраз транзитивный ограниченный      101
Процесс порождающий      252
Путь      80
Равносильность      204
Равносильность тождественная      204
Разметка      256
Разметка верхняя      262
Разметка нижняя      262
Разметка стационарная      258 266
Разность      59
Разряд      9
Раскраска      110
Раскраска минимальная      110
Распознаватель      242
Распределение памяти      64
Распределение памяти каноническое      98
Распределение полюсов      64
Расстояние между вершинами      132
Ребро      40 61
Результат      10 64
Связка      28 35
Связка логическая      191
Связь информационная      22 79
Сдвиг      242
Секвенция      214
Сечение      22
Сечение минимаксное      120
Символ нетерминальный      195
Символ операторный      242
Символ предикатный      242
Символ терминальный      195
Синтаксис      194
Скелет      64
Склеивание вершин      131
Слово      60
Слово машинное      9
Соответствие      55
Состояние памяти      245
Стрелка входная      242
Схема аксиомы      205
Схема интерпретированная      245
Схема каноническая      270
Схема матричная      270
Схема операторная      26 65
Схема равная      270
Схема сравнимая      246 247
Схема формулы      203
Схема эквивалентная      247
Схема Янова      237 242
Таблица истинности      191
Терминал      119
Тождество      191
Условие      242
Условие полное      266
Устройство исполнительное      9
Форма совершенная нормальная      199
Формула логическая      192
Формула металингвистическая      194
Формула общезначимая      211
Формула эквивалентная      204
Фрагмент      263
Фрагмент обобщенный      264
Функция      59
Функция булева      197
Функция выборки      54
Функция частичная      59
Цепочка      276
Цепочка правильная      276
Цикл      276
Число хроматическое      110
Ширина      24
Шкала логическая      144
Эквивалентность      247
Эквивалентность операционная      248
Эквивалентность формальная      252
Эквивалентность функциональная      247
Язык      194
Язык алгоритмический      12
Язык машинный      11
Ячейка      9
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте