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

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

blank
blank
blank
Красота
blank
Фути К., Судзуки Н. — Языки программирования и схемотехника СБИС
Фути К., Судзуки Н. — Языки программирования и схемотехника СБИС



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



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


Название: Языки программирования и схемотехника СБИС

Авторы: Фути К., Судзуки Н.

Аннотация:

Книга посвящена созданию системного программного обеспечения ЭВМ пятого поколения с использованием элементов искусственного интеллекта. Особое внимание уделено сопоставлению языков логического программирования Лисп, Пролог с новым языком, близким к языку объектно-ориентированного типа. Реализация языка рассмотрена на уровнях архитектуры виртуальной Смолток-машины и микропрограмм. Описаны также СБИС, реализующие эти микропрограммы.
Для научных рабтников и инженеров, создающих информационно-программное обеспечение, а также студентов, специализирующихся в области вычислительной техниики.


Язык: ru

Рубрика: Computer science/AI, knowledge/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\theta$-соединение      57
Абстрактные типы данных      11 102
Автоматная схема      196
Адресный регистр      180
Алгебраический подход к данным      11
АЛУ      175 203
Асинхронное управление      156
Асинхронные сигналы      156
Базовые операции      148
Байт-код      168
Блок памяти      185
Блок сдвига      178
Блок-схема      24
Бэктрекинг      30
Ввод-вывод      193
Вещи      45
Виртуальная машина      126 148 174
Виртуальное изображение      126
Возврат      151 153
Возврат из подпрограмм      218
Возврат из прерывания      193 220
Временные переменные      113 152
Выборка      57
Вывод микросхемы      201
Вывод обратный      78
Вывоз процедур через посылку сообщений      108
Вызывающая программа      27
Выражение Хорна      77
Глобальная переменная      113
Граф      21
Граф неориентированный      22
Граф ориентированный      22
Граф потока данных      83
Графика      136
Группа регистров общего назначения      177
Группа стек-регистров      177
Двоичное дерево      19
Двухфазный тактовый генератор с разделением уровней      194
Дедуктивные СУБД      63
Декартово произведение — отношение      54
Дерево      17
Диаграмма состояний и переходов      197 198
Дизъюнктивная форма      198
Диспетчеризация      212
Диспетчеризация в байт-программах      191 213
Диспетчеризация, механизм      213
Дисциплина обслуживания типа «очередь»      38
Дисциплина обслуживания типа «стек»      38
Дисциплина распределения памяти      161
Единичное наследование      87
Заголовок метода      155 165
Заголовок свободной области памяти      162
Задание классов      104
Запрос на запуск процесса (PWR)      191 201
Заявка на вычисления      173
И-ИЛИ-дерево      31
И-параллелизм      79
Иерархическая модель      69
Иерархия классов      106
ИЛИ-параллелизм      79
Интел-432      174
Интерпретатор      148 164
Интерфейс      144
Информационный тракт      175 202
Исчисление предикатов      46
Катана      174
Категории      140
Категория методов      141
Категория сообщений      123
Класс «объект»      108
Классы      103 163
Ключ      55
Количество ссылок      161
Команды блока памяти      185
Компилятор      144
Конвейер двухступенчатый      200
Конвейер трехступенчатый      200
Конкурирующее управление      40
Контекст блока      150
Контекст вызова      151
Контекст метода      149 177
Лисп-машина      89
Лицензия      126
Логика Хорна      50
Локальный контекст      182
Манчестерский сумматор с цепями переноса      203
Машина Альто      100
Машинный цикл      174
Метаклассы      112
Метод      108 123 124 141 153—156 165
Метод класса      104 123
Метод подсчета ссылок      161
Метод подходящего наилучшего      162
Метод подходящего первого      162
Метод счеркивания меток      161
Метод экземпляра      104 124
Механизм исключительных состояний      131
Микроассемблер      175 211
Микроподпрограмма      175 211
Микропроцессор Катана      100 176 217 218
Микропроцессор ОМ-2      203
Модель связей сущностей      66
Мультипроцессирование      36
Наследование по свойствам      87
Наследование по элементам      87
Начальное значение адреса команды      152
Недетерминированный параллелизм      36
Непоследовательное управление      149
Нормализация базы данных      69
Область команд      165
Область литералов      165
Обработка исключительных состояний      139
Обработка прерываний      37
Общая шина      177
Общие переменные      40
Объектно-ориентированное программирование      85
Объектно-ориентированные языки      101
Объектный код      165
Одноразрядный сдвиговый регистр      179
Оператор блока      125 130
Оператор блока с параметрами      131
Оператор возврата      125 131 171
Оператор сцепления сообщений      111
Оператор цикла      26 27 125 131
Операции над списками      15
Операционная система      36
Отладчик      150
Отправитель      150
Очередь      38
Память внешняя      206
Параллелизм      132
Параллельный И-ИЛИ-поиск      31
Параметры процедуры      27
Переключение процессов      157 215
Переменная класса      104 113
Переменная экземпляра      104 113
Пересечение отношений      57
Планирование процессов      133
Планировщик      36
Подпрограмма      27
Позднее связывание      153
Поиск в глубину      32
Поиск в ширину      32
Поиск по И-ИЛИ-дереву      31
Полная реляционность      62
Получатель сообщения      103
Последовательное управление      24
Последовательностные схемы      196
Постановка в очередь      38
Посылка заявки      41
Посылка сообщения      42 103 153
Поток данных      81
Поток управления      81
Правило единственного присвоения      82
Правило-оператор Пролога      78 79
Прагматика      123
Предварительный заряд      206
Прерывание      37 192
Прерывание внешнее      215
Прерывание внутреннее      215
Примитивы      156
Принцип резолюции      76
Приоритет      39
Программируемые логические матрицы (ПЛМ)      195
Проекция отношения      57
Процесс      36 132
Процесс-источник      41 42
Процесс-потребитель      41 42
Псевдопеременные      114
Разность отношений      56
Разрешение прерывания      193 216
Регистр данных      180 185
Регистр памяти      180
Регистр-файл      176 205
Регистр-файл флага      180 211
Рекурсивный вызов      28
Реляционная алгебра      56
Реляционная база данных      52
Реляционная модель      53
Реляционная полнота      62
Реляционное исчисление      59
Реляционное исчисление доменов      59
Реляционное исчисление кортежей      59
Родовое сообщение      108
Самоопределенный объект      160
Сборка мусора      160
Сборка мусора подсчетом ссылок      159 161
Сегмент микрокоманды ALUF      181
Сегмент микрокоманды BS      182
Сегмент микрокоманды F1      182
Сегмент микрокоманды F2      183
Сегмент микрокоманды LL      185
Сегмент микрокоманды LT      185
Сегмент микрокоманды NEXT      185
Сегмент микрокоманды RSEL      180 182
Сегментный регистр      178 181 187
Семантика байт-команд      167 168 170
Семафор      40 153 157
Сетевая модель      70
Сеть «Этернет»      101
Сигнал начала цикла обращения к памяти (НЦП)      206
Сигнал синхронизации      156
Синтаксис байт-команд      168
Синхронизация      133
Система КИКУ      100
Система памяти      185
Система реального времени      37
Система управления микропроцессором      210
Системный генератор путей      140
Словарь методов      113
Словарь сообщений      155 163
Смолток-80      102 174
Соединение      57 59
Сообщение      102
Соответственная диапазонная ППФ      62
Сопрограмма      131
Сохранение контекста      150
Специальная заявка      173
Специальные значения      171
Список      14
Среда операционная      149
Статическая память      205
Стек      29 167
Структурное программировании      25
Структуры данных      11
Структуры управления      24 149
СУБД-машина      71
Сумма отношений      56
Супервизор      36
Суперкласс      106 163
Существенная целостность      64
Схема отношения      54
Схема сообщения      104
Схема типа «защелка»      194
Счетчик адреса команд      25
Счетчик адреса команд байт-программы      187
Таблица объектов      158
Тактовый генератор      194
Теория акторов      86
Терм объединения      60
Технологическая среда программирования      138
Точка входа      191
Транзакция      65
Трассировка      177
Трафарет      141
Удаление из очереди      38 39
Указатель      14
Указатель объекта      158
Указатель примитива      153
Указатель стека      169—171
Указатель типа мышь      101
Указательный объект      160
Унификация      76
Уплотнение объектов      163
Управление выполнением микрокоманд      210
Управление памятью, занятой под объекты      161
Управление процессами      132
Уровень микроархитектуры      193
Уровень прерывания      215
Условное ветвление      188
Условный оператор      26
Форма Хорна      50 63 77
Формальные параметры      131 153
Формат бинарного селектора      102
Формат микрокоманды      180
Формат селектора ключевых слов      103
Формат унарного селектора      102
Фрагментация памяти      163
Фрейм      150
Функциональная зависимость      67
Хеширующая таблица      153
Целостность данных по связям      63
Частное отношений      58
Чип      177
Число аргументов      151
ЭВМ МС 68000      100
Экземпляр      103
Юникс      99
Язык Оккам      41
Язык Пролог      74
Язык Эклог      90 94
Язык ЭСП      90 95 96
Языки логического программирования      74
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте