Проект:Информационные технологии/Словники/Бауэр

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Словник по Бауэр Ф.Л., Гооз Г. Информатика. Вводный курс / Перевод с немецкого В.К. Сабельфельда. Под редакцией А.П. Ершова. — М.: Мир, 1976. — 488 с.

абс
абстрактный
авост см, автоматический останов
автомат конечный
--недетерминистический
— с магазинной памятью
----недетерминистический
автоматический останов
автономно
адрес
адрес абсолютный
адрес базовый
адрес конечный
адрес операнда
адрес относительный
адрес результата
Адресация
Адресация косвенная
Адресация относительная
адресное пространство
Айкель
Айкен
Аккомодация
Аксиома
Аксиома для условных операторов
— композиции
— операторов цикла
— присваивания
Алгебра
Алгебра бесконечных термов
Алгебра отношений
Алгебра термальная
Алгебра тривиальная
алгол-60
алгол-68
Алгоритм
Алгоритм детерминированный
Алгоритм детерминистический
Алгоритм завершающийся
Алгоритм Маркова
— нормальный
— полутуэвский
— распознавания
— редукции
--недетерминистический
Алфавит
Альберти
Аль-Кашанди
альтернатива
аль-Хорезми
анализ редукции см. грамматический разбор
— последовательный
— сверху-вниз
— снизу вверх
аналоговый
Ангстль
Апджон
аппликативная часть
Арден
Ардена правило
Ардженти Дж.
Ардженти M.
Ариадны нить
асинхронный
Атом
Атрибут
База
Байер
Байн
Байрон
Байт
Барабан
Баркли
Барти
Бартон
Бар-Хиллел
Батарея
Бауэр
Бауэр-Фогг
безразличный
безусловно
Белазо
Бергхаммер
Берс A. A.
бесконечный
беступиковый
Бём
Берклинг
Бёркхарт
Бёрстолл
биективный
Биекция
Биллииг
Биркгоф
бистабильный
бисубъюнкцня
Бит
Бит
Бит переполнения
Бит проверочный
Бит чётности контрольный
Блок
блок-схема
— программы
блочная структура
БНФ
Бода
Бодлер
Бодо
болевой порог
Болле
Больцано
большая интеграция
Борель
Боттенбрух
Брайль
Брайля азбука
Браун
Брауэр
Бринч Хансен
Бриттен
Брой
БУЛЕВА АЛГЕБРА
Булева
Булева алгебра
--вырожденная
— выражение
— нормальная форма
— функция
Булль
Буль
Бут
бутстреппннг
Бушон
БУФЕР
Буфер
Буфер перфокарт
перфоленточный
Бэббидж X.
Бэббидж Ч.
Бэкон
Бэкус
бэкусова нотация
--обобщённая
— система правил
---обобщённая
Бюхи
В
в себя
в существенном
Вагнер
Вайте
Валиев М. K
Валлис
Вальта
Вальтер A.
Вальтер X.
Ван Xao
Варден, ван дер
Вариант
Варнатчшй
Варнатчшй запись
Варнатчшй образование
Варнатчшй структура записей
Варнатчшй указатель
варшавская нормальная форма
Ввод
Ввод точечный
Вебер В.
Вебер Э.
Вебера закон
Вегр
Вед
Веер
Вейнгаарден, ван
Вейтч
Величина
Величина локальная
Величина области влияния
Венн
Вергилий
верификация
Вернам
верный смыслу
Вертхаймер
Верхушка
Вершина
Вершина начальная
Вершина заключительная
Ветвь
Вещ
Вёснер
взаимно-однозначный
Вид
Видимый
Виет
Виженер
Вилла Дей, де
вилочная картинка
Винер
Вирзинг
Внрт
Витгенштейн
Влечёт
Вложение
вложенные множества см. коробочная диаграмма
Возврат
Возврат единицы
Вокансон, де
воплощение
Время
Время латентное
Время реакции
Время срабатывания
Все
вспомогательный символ
всюду определённый
Вумерслн
Вундт
вход счёта
Выбор
Выбор альтернативный
выборка см. функция выборки
Вывод
Вывод правосторонний
Вывод левосторонний
Вывод речевой
выделенный элемент
Вызов
Вызов выражением
Вызов гладкий
Вызов значением
Вызов именем
Вызов ссылкой
Вынуждать
выполнение см. исполнение
вырабатываемый
выражение
выражение арифметическое
выражение регулярное
высказывание
Выход
Выход переноса
Вычет
вычисление
вычисление частичное
вычислимость
вычислительный процесс
--последовательный
— структура
--примитивная
вычисляемый, вычисленный
Вюйемен
Гарднер
Гаусс
ГВБ
Гейне
Гелернтер
Гельмгольц
генератор
генератор векторов
генератор знаков
Генрих IV
Генцен
Георг I
Герке
Герольд
Герон
Герстен
гетерогенный
Гёдель
Гёте
Гилмор
Гильберт
Гинзбург
гистерезис
главная программа
глубина
глубина вложенности блока
Гнац
Голдстайн
голова списка
головка
головка записи
головка считывания
Гомер
гомогенный
гомологичный
гомофонные элементы
Гооз
Гор
Гораций
Готье
Гофман
грамматика
грамматика графовая
грамматика грубая
грамматика двусторонне линейная
грамматика двухуровневая
грамматика древесная
грамматика конечная
грамматика контекстно-свободная
— леворегулярная
— линейная см. грамматика двусторонне линейная
— непосредственно составляющих см.
грамматика составляющих
грамматика порождающая
грамматика правил
грамматика праворегулярная
грамматика регулярная
грамматика редуктивная
грамматика составляющих
грамматика старшинства
грамматика структур предложений
грамматика структурная
— тонкая
— Хомского
--типа 1
--типа 2
--типа 3
— чистая
грамматический разбор
граничный символ
Грау
Грауэрт
граф
граф без петель
граф вызовов
граф вывода
граф двудольный
граф неориентированный
граф ориентированный
граф полный
граф пустой
граф редукции
граф сигнатурный
графема
графопостроитель
графопостроитель барабанный
гребёнка
Грей
Грнйе
Грин
Грис
ГРУППА
группа
групповой
ГРУППОИД
группоид
Грюссер
Гурвиц
Гюйгенс
данные
да-оператор
Дарлингтон
да-формула
движение
двойной сигнал
двусторонне линейный
двухадресная форма
Де Ремер
Дедекинд
дедукция
Дейкстра
дек
Декарт
декодирование
дел
Делиб
Дельгадо-Клооз
Демурова H.
денотат
дерево
дерево атомарное
дерево бинарное
дерево блочной структуры
---динамической
—--статической
— вычислительное
— Канторовича
— кодовое
— облиственное
— ориентированное
— потомков
— предков
— размеченное
•— ■— со стрелками возврата
— редукции
— с корнем
[[[[— с помеченными {или размеченными) листьями]]]]
— секций памяти
— структурное
-- объекта
детерминированный
детерминистический
дешифровка
Джакопипи
Дживонз
диагональный метод
диаграмма
-— автомата с магазинной памятью
— автоматная
— конечиоавтоматиая
— переходов
— с заштрихованными областями
— синтаксическая
— — обобщённая
— со стрелками
— Хассе
диапазон индексов
Дидо
дизъюнкция
дизъюнкция последовательная
Дик, фон
диск
дисковое запоминающее устройство
дискретизация
дискриминатор
дискриминация
дисплей
дисплейная программа
длина
длина слова
Для ... от ... через ... до ... цк ... кц
Добрушин P.
Доджсон
Дойль
Дойсен
доказательство
дополнение
дополнение двоичное
-
-со сдвигом
-со достраивание образа
допускаемый грамматикой
допускать
достижимость формальная
доступ
доступ вращательный
доступ кинематический
доступ непрямой
доступ последовательный
доступ прямой
Дош
дуга управления
дуплексный режим
Дуурен, ван
дыра
Дэвис
единица
единица обмена
единица передачи
единичный элемент см. нейтральный
элемент
Ершов А. П.
если
Жаке-Дро
Жаккар
завершаться
завершение
заголовок
загрузка
задание перечислением
задержанные вычисления
задержанный
задерживаемый
задерживание
задержка доступа
закон
закон ассоциативности
закон де Моргана
— дистрибутивности
— — для дизъюнкции слабый
--- для конъюнкции
— идемпотентности
— инволюции
— коммутативности
— нейтральности
— поглощения
закрытие
замаскирован см. скрыт
Замельзон
Заменхоф
заметка
замещение
замыкание
замыкание полугрупповое
замыкание рефлексивное
замыкание симметричное
замыкание симметрично-траизитивно-рефлексивное
— транзитивное
— транзитивно-рефлексивное
Зандер
запись
запись алгольная
запись бесскобочная
запись вариантная
запись инфиксная
запись линейная
запись паскалевская
запись польская
запись — инверсная
— постфиксная
— префиксная
— функциональная
запоминание на время пробега
— с помощью носителя письма
запоминающее устройство
запоминающее — дисковое
— — кассетное на магнитной ленте
— — на магнитной ленте
--оперативное
запрет на псевдонимы
запрет отождествлений
запятая списка
засылка см. команда засылки
— в сумматор
Зауэр
захлопывание
зачёсанный налево
Зеегмюллер
знак
знак
знак двоичный
знак — «-разрядный
знаков набор
знаков — двоичный
— последовательность
— цепочка
значение
значение объекта
значение переменной
зона
ЗУ
И
идентификатор
иерархический
избыточность кода
избыточность — относительная
извещение
изменение состояния
изображение см. стандартное обозначение
ИЛИ
или
или исключающее
или неисключающее
ИЛИ-элемент
иллюзия
импликация
импульсно-управляемый
имя
иначе
инвариант
инвариант итерации
инвариант цикла
инволюция
индекс
индикатор
инертная обработка см. ленивая обработка
инициализация
инициальный
интегральная схема
интенсивность ощущения
интенсивность раздражения
интерпретация
интерпретация термов
информатика
информация
информация на знак
инъективный
инъекция
исполнение
ИСТИНА
история вычислений
история отдельных переменных
Источник
Источник сообщений
Источник шенноновский
исчезновение порядка
Исчерпывание
Исчисление
Исчисление высказываний
Исчисление планов
Исчисление слабейших предусловий см. wp-исчисление
— состояний
— утверждений
Итеративный
итерации знак
итерационный процесс
Итерация
Итерация функциональная
И-элемент
Йонсон
Казиски
Кайдель 9
Калин
Канал
Кантор Г.
Кантор Д.
Канторович Л. В.
Кардано
Карноф
Карпентер
Карри
Карточка
Каскад
Каскад выборочный
каскадный элемент
кассетное запоминающее устройство
на магнитной ленте
Кауэр
Кахриманян
квазилеволинейный
квазипорядок
квазиправолинейный
квазисумматор см. полусумматор
Квант
квантование
Квантор
Квантор всеобщности
Квантор существования
Келлер
Кемпелен, фон
Кемпенфельт
Кербель
Керкхофф
Кёлер
КЗП
кибернетика
Килберн
Кирхер
клавиатура
клавиша функциональная
Класс
Класс конгруэнтности
Класс эквивалентности
Клаузен-Туэ
Клини
КМОП-технология
Кнастер
Кнауз
Книга
Кнут
когерентный
Код
Код Айкена
— биквинарный
— Бэкона
— генетический
— Грея
— Грея — Штибнца
— дополнительный
— EC ЭВМ
— Марконн
— международный семафорный
--телеграфный 2-й
—- *— флажковый
--штриховой для цветов
—■ многоязычный коммерческий
— Морзе
— обратный
— одношаговый
— плюс-3
— прямой
— с весами позиций
— счёта
— Хаффмана
— циклически одношаговый
— циклический
— Штибица
— штриховой
— ABC
— ASCII
— EAN
— IBM
— ISO 7
-разрядный двоичный
-разрядный n
-разрядный двоичный
-разрядный 1-из~п
~п 1-из-10
— 2-из-5
кодирование
кодирование двоичное
--цифр
— прямое
— троичное
— четверичное
кодировка
Кокстер
Кокто
количество информации
--среднее на знак
коллатеральный
Колмогоров A. H.
Кольцо
Команда
Команда двухадресная
Команда засылки
Команда обращённая
— одноадресная
— трёхадресная
— условного перехода
комбинационная схема
комментарий
коммутативная диаграмма
коммутативность правая
коммутативный см. совместный
композиция
компонента
компонента связности
конечное значение
конечно-порождённый
Конечный
Конец
Конец занятой памяти
конкатенация
Константа
конструирование, конструктор-операция, конструктор см. операция конструирования
контекстное условие
контекстно-свободный
континуум
контрольный
контрольный бит чётности
конфлюзнтность
конфлюзнтность локальная
концевой порядок
конъюнкция
конъюнкция последовательная
конъюнкция совершенная
копирование
Копия
Корень
коробочная диаграмма
коробочный терм
Котельников В. А.
Кронекер
КС -грамматика см. контекстно-свободная грамматика
Куайн
Кук
Купер
Кусс
Куффиньяль
Куча
Кэррол
Кюпфмюллер
Лавлейс
Ладгейт
Лакур
Ламберт
Ламетри
Ландин
Лаут
лево-внутреннее вычисление
леволинейный
левооднозначный
Ледли
Лейбниц
ленивая обработка
Ленин В. И.
Лента
Лёккс
Либ
Линденмайер
Линденмайера система
линеаризация
линейно-рекурсивный
Линейный
линия управления
линия уровня
Лисп
Лисп
Лит
Лиувилля число
Лишке
Ловушка
Лог
логика комбинаторная
логический элемент
ЛОЖЬ
локальный
Локк
Локкеманн
Лукасевич
Лукаш
Луллий
лямбда-исчисление
Ляпунов A. A.
Магазин
магнитно-читаемый шрифт
Магнус
Maro
Майзон
Майкснер
Майхилл
Макарова Л. А.
Макбет
Маккаллох
Маккарти
Манна
Мантисса
Мария Терезия
Маркард
маркировка
маркировочный бланк
Марков А. А.
Маркони
Марьярт
Маска
маскировка
Массив
Массив многомерцый
Массив с динамически устанавливаемыми
границами индексов
матрица бинарного отношения
Матцнер
Маурер
Max
Машина
Машина абстрактная
Машина обработки формуляров
Машина редукционная
машинная форма
медиевистские цифры
Мейз
Мейринк
Мелвилл
Мелис
Менабреа
Мергенталер
Меркель
Меркеля закон
Место
метаграмматика
Метка
метод)
— Британского музея
— возвратов
— детерминизации
— Клини
— однопроходный см. метод последовательного анализа
— последовательного анализа
— рекурсивного спуска
Мёллер
микрофильм
многоступенчатый
множество
множество базовое
множество всех множеств
множество регулярное
Модель
Модель абстрактного типа
Модель двоичная
Модель исчисления высказываний
Модель ссылок-карточек
модификация
Модуль
модуляция
модуляция амплитудная
модуляция амплитудно-импульсная
— импульсно-кодовая
— частотная
— частотно-импульсная
модус поненсу
момент опроса
Монитор
МОНОИД
Моноид
Моноид грамматики правил
Моноид свободный
мономорфный
монотонный
Морган, де
Моргенштерн
Морзе
Морзе азбука
Морланд
Моррис
Мочли
МП-автомат
— детерминистический
— недетреминистический
— с одним состоянием
мультимножество
мультистабильный
Мышка
Мюллер
Мюллер-Люэр
На
на себя
Набор
Набор переменных
надёжность кода
Найквист
Накасима
накопитель
написание
Наполеон
направленное множество
Насси — Шнейдермана диаграмма
Начало
начальное значение
начальный элемент
НБ
не определено
недетерминизм
недетерминизм демонический
недетерминизм исчерпывающий
недетерминизм эрратический
Нейман, фон
нейтральный элемент
Неккер
неоднозначность существенная
неоднородный
Henep
неподвижная точка
--минимальная
непоследовательный
непосредственное порождение см.
продукция
непрерывный
неразложимость
неразложимость пустого слова
нередуцируемый
Несс
Нестрогий
несчётный
нетерминальное слово
допускаемое грамматикой
нетерминальный символ см. вспомогательный символ
нет-оператор
нет-формула
неудлиняющий
неукорачивающий
НЕ-элемеит
Нётер
Нётеров
низведение
н. о. д.
н. о. к.
нормализованный
нормальная форма
--булевой функции
--Бэкуса
—- — дизъюнктивная
--однозначная
--терма
--Хомского
--элемента графа
носитель информации
--долговременный
--недолговременный
— памяти
--многоразового употребления
-- одноразового употребления
— письма
Ноулан
НС-грамматика
НС-правило
нуль отрицательный
нумерация
также перечисление
также блока
нчт
Ньюман
Ньюэлл
Нэш
Обермайер
обладать
область
область влияния см. величина области
влияния
влияния действия
--динамическая
--статическая
— значений
— изменения аргумента см. область
определения
определения определения
определения связывания
определения существования
обновление
обновление селективное
обобщение
обобщение неявное
обогащение операционное
обозначение
обозначение операционное
обозначение параметра
обозначение переменной см. описание переменной
— •— вычисляемое
— свободно выбираемое
— связанное
— стандартное
обработка
обработка избирательная
обработка информации
обработка ленивая
обработка сообщений
обработка термов
обработка формул
Образ
образование вариантное
образование наборов
обратная связь
обращение
обращение к подпрограмме см. вызов
— отношения см. отношение обратное
— функции
обрезание
обход дерева
общезначимое выражение
объединение
объект
объект бесконечный вычислимый
объект конечно-порождённый
— не имеющий значения
— простой
— составной
— ссылки
— структурированный
— универсальный
— числовой
объявление
Однер В. Т.
одноадресная форма
однозначность левая см. левооднозначный
— правая см. правооднозначный
однозначный
однопроходный
однородный
однорукий
односторонне линейный
окончание
округление
окружение
Омофон
Операнд
Оператор
Оператор альтернативы
Оператор взаимной замены
Оператор выбора
Оператор охраняемый
Оператор перехода
Оператор составной
Оператор условный
Оператор цикла, работающий по счётчику
(или с пересчётом)
--с условием продолжения
операционный
Операция
Операция арифметическая
Операция базовая
Операция бинарная
Операция булева
Операция внутренняя
Операция двуместная
Операция доминирующая
Операция записывающая
Операция И
— ИЛИ
— конструирования
— логики высказываний
— нульместная
— однозначно разрешимая
— одноместная
-— основная
— ручная
— селектор
— смешанная
— строгая
— считывающая
— унарная
— элементарная
— NAND
— NOR
опираться
опираться друг на друга
— косвенно
— непосредственно
описание
описание вида
описание групповое
описание объекта
описание переменной
описание подпрограммы
описание промежуточного результата
описание процедуры
описание с инициализацией
описание типа
--дискриминирующее
— тождества
определён
— менее
определимость
определимость частичная
определяющий
опрос, см. также момент опроса'
оптически читаемый шрифт
оптический обман
организованный
ортодоксальный
основание (полулогарифмического
представления)
— системы счисления
ост
остановочность
отвергающий
открытая подстановка
Отношение
Отношение антисимметричное
Отношение асимметричное
Отношение ациклическое
Отношение бинарное
Отношение гетерогенное
Отношение двуместное
Отношение диадическое
Отношение иррефлексивное
Отношение квазипорядка см. квазипорядок
— конфлюэнтное
— локально-конфлюэнтное
— неоднородное
— обратное
— однородное
— определяющее
— подстановки
— порядка
— продукции
— пустое
— равенства
— редукции
— рефлексивное
— связывающее
— сильно связывающее
— симметричное
— слабо связывающее
— следования
— строгого порядка см. строгий порядок
— тождества
— транзитивное
— универсальное
— частичного порядка
— эквивалентности
— р-адическое
отображение
отображение биективное
отображение инъективное
отображение обратимое
отработка
отрицание
отсечение
отсечение тупиков
охраняемый
очередь
очистить
П
Пайшль
пакет дисков
палочки
память
память адресуемая
память внешняя
память долговременная
память линейная
память магазинная
память массовая
память на сердечниках
память па постоянных дисках
— на сменных дисках
— оперативная
— организованная
— полупроводниковая
— пословно организованная
— процедуры
— пульсирующая
— регенерации изображения
— с непрямым доступом
— с прямым доступом
— структурированная
параллельное выполнение
параллельное внутреннее вычисление
Параметр
Параметр входной
Параметр глобальный
Параметр доступа
Параметр локальный
Параметр нелокальный
Параметр неподвижный
Параметр подавленный
Параметр подавляемый
Параметр процедурный
Параметр результатный см. параметр-результат
■— сигнала
— транзитный
— формальный
— функциональный
параметризация двухступенчатая
параметр-переменная
параметр-результат
Парч
Паскаль.
паскаль
Пасси
пассивная обработка см. ленивая обработка
Пастернак Б. Л.
Пауль
Пауэрз
Пеано
Пеано система
Пей
Пеппер
Пере
перевод из одной системы счисления
в другую
передатчик
Передача
Передача мультиплексная
Передача параллельная
Передача параметров
Передача последовательная
Передача сообщений
перезаписываемый
перезапись
переименование внутреннее
переключательная схема
переключательная — без памяти см. комбинационная схема
--мультистабильная
— — сдвига
— — тактированная
--триггерная
переключательный элемент
перекодировка
перекодировщик
переменная
переменная анонимная
переменная буферная
переменная индексированная
переменная металингвистическая
переменная неизменная
переменная памяти
переменная программная
переменная простая
переменная свободная
переменная связи
переменная синтаксическая
переменная ссылочная
переменная уровня
переменная форма
переменная-указатель
Перенос
Переполнение
Пересечение
перестановка ветвей
переход
переход обратный
переход состояний
переход спонтанный
переход условный
перечисление
также предъявление
перечислимый
перешифровка
перешифровка вполне сжимающая
перешифровка сжимающая
Перлис
перфокарта
перфокарта символьная
перфолента
Петля
Петри
Петри сеть
печатающее устройство
печатающее — барабанное
--матричное
--- цепочное
Пётр I
Пилоти
Пиотровский P. Г.
Пирс P.
Пирс Ч.
Пнрса функция
Письмо
Письмо воспринимаемое зрительно
--на слух
--осязанием
— магнитно-читаемое
Питтс
Пиш
Плейфэр
плоттер см. графопостроитель
ПНБ
побочный эффект
повторение
повторение с пересчётом
повторительный
Поггендорфф
пограничная точка
поддерево
поддерево левое
поддерево правое
подотношение
подпрограмма
подпрограмма без параметров
подпрограмма главная
подпрограмма подчинённая
— свободная от параметров
Подпроцесс
Подслово
подстановка
отношение подстановки
отношение внутренняя параллельная
отношение грамматик
— лево-внешняя
— полная
— управляемая
Подструктура
Подструктура в широком смысле
Подчинение
позиционная система счисления: представление в такой системе
Позиция
Поле
Полени
Полибии
ПОЛИЗ
Полиморфный
Полугруппа
Полугруппа слов
полудуплексный режим
Полусумматор
Поль
Попов A. C.
пороговое значение
порождающий элемент
Порождённый
Порта
порядковый номер блока
Порядок
My
— в полулогарифмическом представлении
— лииейиый
--строгий
— отношение порядка
— полный
— строгий
— частичный
Поел
Последействие
последовательно-параллельный
ПОСЛЕДОBATEЛЬНОСТИ
Последовательность
Последовательность над параметрическим базовым сортом
— над A
— пустая
— символов
— элементов из A
последовательный
Пост
Поста проблема соответствий
Постоянная
Построение
постусловие сильнейшее
поток информации
Правило
Правило вывода
Правило двусторонне линейное
Правило интерпретации
Правило исключённого чуда
— критическое
— монотонности
— непустое
— обобщённое
— обработки
— — сохраняющее информацию
— односимвольное
— остановки
— отделения см. модус поненс
— порождения
— пустое см. Я-правило
— редукции
— с вариантами
— старшинства
— терминальное
— усиления посылки или ослабления
Заключения
Правиц
праволинейный
правооднозначный
Прагматика
предварительное оповещение
Предикат
предложение
предложение языка
предохранитель
представитель
представление
представление нормализованное
—- полулогарифмическое
предусловие слабейшее
предшественник
предшественник динамический
предшественник прямой
предшественник статический
предъявление
преемник
преемник динамический
преемник прямой
преемник статический
Преобразование
Преобразование предикатов
Преобразование программ
Преобразование формул
преобразователь
Прерывание
Прерывание арифметическое
Приводить
Приёмник
Призн
примарная компонента
Принз
принудительное получение
Принцип
Принцип магазина
Принцип подстановки
Принцип порождения
Принцип хозяина и слуги
Приоритет
Присваивание
Присваивание групповое
Присваивание из сумматора
Присваивание одновременное
Пробел
Пробел между блоками
Проблема
Проблема анализа
Проблема вхождения
Проблема соответствий Поста
Программа
Программа итеративная
Программа повторительная
Программа регулярная
Программа синтаксически правильная
программирование выбором
программирование функциональное
продукция
продукция останавливающая
Произведение
Произведение декартово
Прообраз
пропускная способность канала
пространство связывания
Протаскивание
Протаскивание с удвоением
Противоречивый
Противоречие
Процедура
Процедурный
Процедурный часть
Прощупывание
прямой целочисленный эквивалент
ПС
пульс
Пункт
Пункт Дидо
Путь
Путь бесконечный без начального элемента
— — исходящий, из х
— замкнутый
— исполнения
— конечный
— редукции
— тупиковый
Рабин
равномощный
разбор грамматический,
— случаев
--- бинарный
— — древовидный
---- однорукий
---- охраняемый (контролируемый, защищаемый)
— — последовательный
разветвление
развёртка
— временная
— послойная
— построчная
Разделены
разделитель
различение см. дискриминация
размещение в памяти
Разность
Разность симметрическая
Разность теоретико-множественная
разрешимость
разрыв рекурсии
Pap А. Ф.
расклейка см. переименование внутреннее
Раскрутка
распределение памяти
--динамическое
--магазинное
--программируемое
— — разбросанное
---статическое
Рассел
Рассела антиномия
расширение
расширение нестрогое
расширение — последовательное
--симметричное
— строгое
расщепление
реализация
ребро
ребро кратное
регенерация
регистр
регистр задержки
регистр множимого
регистр множителя
регистр накапливающий
регистр сдвига
регистр триггерный
Редукция
алгоритм редукции, отношение подстановки
— каноническая
— левосторонняя
— параллельная
— правосторонняя
— управляемая
редуцировать
редуцируемый
режим прямой связи: в режиме прямой связи
Результат
Результат промежуточный
Рейс
рекурсивно перечислимый
рекурсивный
рекурсивный спуск
Рекурсия
Рекурсия левая
Рекурсия линейная
Рекурсия перекрёстная
— повторительная
— правая
релейная линия
Ремус
рефлекторный центр
Рехнитцер
рецептор
Риге
Рингельнац
Робннсон
родственные задачи
Россер
Рочестер
Рубин
Рут
Рутисхаузер
Сабельфельд В. К.
Саймон
Саломаа
Самыоэл
сборка мусора
Сведение
сверху-впнз
световое перо
Свит
Свифт
свобода вычислении
Связывание
Сегмент
секущий знак
секция памяти
селективный
селективный изменение
селективный обновление
Селектор
операция селектор
Селлинг
Семантика
Семантика абстрактная
Семантика денотативная
Семантика математическая
Семантика операционная
Семантика функциональная
Семафор
Сенека
Сепарированный
Сеть
Сечение
Сечение вертикальное
Сечение горизонтальное
Сигнал
Сигнал дискретный
Сигнатура
Сильнее
сильно нормализованный
Символ
— граничный
— конца слова
— начала слова
— операции
•— основной
— пустой
— словарный
Симонетта
синтаксис
синтаксис абстрактный
синтаксическое равенство
синхронизационное сечение
Синхронизация
Синхронный
Сирманс
Система
Система иерархическая
Система переходов
Система подстановок
Система полутуэвская
Система правил
Система преобразования
Система редукций
Система счисления
--позиционная см. представление
в такой системе
в Туэ
— формальная
скобка
скобка словарная
скобка структурная
скобка-уголок
Сколем
скорость обмена
Скотт
скрытый
скрытый время задержки
Слабоэквивалептпый
Слияние
словарный состав
Словарь
слово см. также последовательность символов
— двоичное
— остаточное
— пустое
— с правильно расставленными скобками
— структурное
Сложение
Сложение быстрое
Сложение по модулю 2
Сложность
Сложность комбинаторная
Слой
Слэгл
Смещение
Смирнов-Троянский П. П.
Смит
смотровое окошко
снизу-вверх
совместный
совместный использование
согласованный
соединение
создание
Соловьёв И. В.
сообщение
сообщение в языковой форме
— дискретное
— замаскированное
— интерпретированное
— неважное
— об ошибке
— секретное
— скрытое
— шенноновское
— языковое
Соответствие
- обратное
— частичное
Сорт
Сорт базовый
Сорт — параметрический
— варьируемый
— определяемый
сортировка, Sortieren)
— на месте
— разделением
— слиянием
составная часть
Состояние
Состояние внутреннее
Состояние граничное
Состояние заключительное
Состояние начальное
Состояние ошибки
состояние-ловушка
Спиноза
Список
Список
Список атомарный
Список бесконечный
Список бинарный
Список ветвящийся
Список двусвязанный
Список кольцевой
Список линейный
Список — двусвязаиный
— односвязаниый
— сходящийся
— унарный
сплетение
сравнение лексикографическое
сращивание
ссылка
ссылочная стрелка
ссылочная ступенька
стандартный
старт
статически разделены
Стейвенберг
СТЕК
стек
стек упорядоченный
степень отвлечённости
— отношения
Стоун
Стэнхоуп
страж
стрелка
стрелка возврата
стрелка вызова
стрелка обратная см. стрелка возврата
— подстановочная
— редукционная
— ссылочная
строгий
строк
строка
структура
структура блочная
структура булева
структура данных
структура дистрибутивная
структура доступа
структура значения
структура однородная
структурированный
структурная схема
структурно эквивалентный
Стрэчи
Стэплз
субъюнкция
сумматор
сумматор параллельный
сумматор полный
сумматор последовательно-параллельный
— последовательный
схема Горнера
--двухрядная
— потока данных
— сравнения
схождение
сцепление
сцепление каскадное
сцепление линейное
сцепление указателей
счёт
счёт см. перечисление
счётный
— вход
счётчик
счётчик
— двоичный
— кольцевой
— циклический двоичный
считывание,
считывающее окошко
сюръективный
Таблица
Таблица переходов
Таблица регулярная
Таблица решений
---последовательная
— — с крестиками
•--совместная
— с крестиками
— чисел повторений
тавтология
Такт
Такт обработки см. шаг обработки
такта длительность
Тактами
тактированный
тактовый импульс
Талейран
Тарский
текст программы
текстовая замена
Телекс
Тело
Теорема
Теорема Клини об эквивалентности
— кодирования Шеннона
— об однозначности
— отсчётов
Теория
-- информации Шеннона
— моделей
Терм
Терм бесконечный вычислимый
Терминальный
Терминальный алфавит
Терминальный символ
тест вида
Тёрнер
Тип
Тип абстрактный
Тип данных
Тип — абстрактный
— дискриминаторный
— иерархический
— «подобласть»
— скалярный
— функциональный
— элементарный
To
тождественно истинное выражение
Тома
Торрес-и-Квебедо
тотальный
тотальный слева
тотальный справа
Точка
Точка отрицания
Точка отсчета
--времени
— перехода
транзистор
транзит
транзитивно-порождающий
транзитный
транслятор
трансляторов построение
Трево
тревога
трёхадресная форма
Триггер
Триггер импульсноуправляемый
Тритемиус
Тупик
Тутилл
Туэ
Тьюринг
Тьюринга машина
Уайз
Уайтхед
Уатт
уде
удлиняющий
Уивер
Уилкс
Уильямз
Уинн-Уильямз
Уитстон
Уиттекер
указатель
указатель вариантный
указатель верхушки
указатель пустой
укорачивание
укорачивающий
управляемый тактовыми импульсами
см. тактированный
упрощение
уравнение
уравнение семантическое
уравнение функциональное
Усиление
условие
условие охраняющее
Устройство
Устройство буквопечатающее
Устройство ввода
Устройство ввода/вывода
--медленное
— вывода
— графическое
— игольчатой печати
— копирования,
— печатающее см. печатающее устройство
— посимвольной печати
— построчной печати
— связи
— считывания маркировок
--
-со стандартных формуляров
-со экранное
утверждение
ФАЙЛ
Файл
факторструктура
Фалькон
Фано
Фано условие
Ферранти
Фехиер
Фехнера закон
Филипп V
Филлипс
Филон Византийский
финальный
Финиш
Фишер
Флойд
Фогг
Фонема
фоннеймановского типа
форматирование или
формула
формула арифметическая
формула булева
формула настоящая
формула условная
формула эквивалентная
Формуляр
Формуляр вычислительный
Формуляр программный
формуляр-образец
Фостер
Франковский A.
Фреге
Фридман
Фриш
Фундированный
Функтор
Функтор забывания
--структуры
— структурный
функционал
Функциональный
Функция
Функция выборки
Функция двоичная
Функция истинности
Функция логики высказываний
Функция многозначная
Функция неэквивалентности
Функция обратная
Функция отрицания
Функция параметрическая
Функция переключательная
Функция переходов
Функция сложная
Функция стандартная
Функция ступенчатая
Функция тождественная
Функция характеристическая
Функция частично определённая
— частично-рекурсивная
— эквивалентности
Хазенъегер
Хаман
Хан В.
Хан Ф.
Хандзава
ханойские башни
Хартри
Хаски
Хаффман
хвост
Хендерсон
Херинг
Хермез
Херцштарк
Хилл У.
Хилл У. Э.
Хилл-Замельзон
Хоар
Холлерит
Холодковский Н.
Хомский
Хорш
Хотц
Хохштеттер
Хэмминг
Хэмминга расстояние
Цезарь
Цел
Цеманек
цепочка ссылок
цепочка — динамическая
--статическая
цепь
Цикл
оператор цикла
оператор условный
Цилиндр
цифра двоичная
Цицеро
Цузе
Чапек
частично определённый
частичное вычисление
Частота
Частота критическая
Частота отсчёта
Чебышёв П. Л.
челнок
Черчилль
чёрный ящик
Чёрч
Чёрча — Россера свойство
Чип
число
число двоичное
число записанное палочками
число машинное вещественное
--комплексное
--рациональное
— особое
— рациональное
— с плавающей запятой
— целое
Чистокровный
чудо исключённое
Шаг
Шаг квантования
Шаг обработки
Шаг — элементарный
Шапп
Швегше
Шекспир
Шеннон
Шестаков В. И.
Шеффер
Шеффера штрих
Шехер
Шёнфинкель
Шиккард
Шиллинг П. Л.
шина
ширина
ширина обработки
ширина памяти
ширина полосы пропускания
шифр
шифровка
Шмидт
Шойц Г.
Шойц Э.
Шорр
Шоу
Шрёдер X.
Шрёдер Э.
Штайнбрюгген
Штайнхайль
Штибиц
Штольтенберг
Штрёляйн
Шуберт, фон
Шум
Шум белый гауссов
Шюди
Эббингхауз
Эбботт
Эвклид
Эдисон
Эдлер
Эйлер
эквивалентность
эквивалентной
эквивалентной операционно
эквивалентной структура данных
эквивалентной функционально
Эккерт Дж.
Эккерт У.
Экклса — Джордана схема
экранирование
экранировать
Элемент
Элемент выделенный
Элемент единичный
Элемент задержки
Элемент каскадный
Элемент максимальный
Элемент минимальный
Элемент наибольший
Элемент наименьший
Элемент нейтральный
Элемент нулевой
Элемент сцепления
Энтропия
Эрбран
Эренфест
Эрхард
Эрхардт
Эттингер
эффективность
Эффектор
Эшер
Эшкрофт
Юэ
Яглом А. М.
Яглом И. М.
ядро порождаемое
Язык
Язык алгоритмический
Язык значений
Язык синтетический
Язык формальный
Язык Хомского
язык-речь
Яммель
Янов Ю. И.
ячейка
ячейка памяти
ячейка связи
А
abs, abs
AC
AC-регистр
Add
adding operator
Advance
Ag
ALCOR
Alt
And
Append
arcsin, arccos, arctan
Array
Atomic
fB2
BIT
Begin
Binadd
Binmult
Binpred
Binsub
Binsucc
Bip
bit, bit
Bits
Bitstring
Ble
Bmult
bool, Boolean
Boolean expression
bracketed lisp
By
cache memory
call by reference
Car
cart, cart
Ease
Ease
cascel, cascel
Case
CCIT
Cdr
char, char
Char
Chr
Eo
Cod
com
compl, compl
conc
concl, conc2
conjunct
cons
constant
contains
conv
conv'
convert
Cop
copy
Cos
outsort, cutsoril
cyclesitcc
DECK
decod
deduct
Def
delete
digit
DIN
disjunct
diskr
Div
Do
downto
dyadic
EAN
else
Elsf
empty
empty file
emptytree
end
end-around carry
entier
Eof
ersetze
eval
exch
exchc
exec
Exp
expr
F
F
Fac
facr
factor
false, false
feld, feld
Fi
file, file of
first
firstbranch
first son
For
from
Ft
funct, function
function designator
function id
Ged
gcdl
gcd2
Gen
genitor
genpow
Get
GF(2)
goal, goal
goto
HA
heap
heron
horn
horn4
HP
hp, hpl, hp2
I
Id
if
if clause
Im
Incr
Increm
Init
Insort
int, integer
Inv
Invert
is atom
Isc
Isetnpty
Isetnptyiree
is even
Isn
Isneg
Isn’t
ISO
Isodd
Isp
Ispos
Isposneg
ispr, ispr'
isprim
ispr1
isS, isZ
issorted, issorted1
is triangle
Item
Iter
JK-триггер
Join
К
I
last
last in — first out
Icon
leut, Icutl
Id
Id
Idfac
Idr
lead
leaf
length
letter
linsort
lisp, lisp
lisp
lisp-элемент
lispl
listel, listel
LL-грамматика
In
look ahead
loop
Ipart
LR
LR-детерминистический
LR(r)-грамматика
master-slave
matrixappl
matrixmult
max
maxint
MD-регистр
merge
min
minmax
mkatom
mo
mod
mod
moddiv1 — moddiv4
mode
modi
monadic
MR-регистр
mult
multiplying operator
N90
n-набор, n-ка
NAND
nat, nat
neg
newpt
newvar
nil, nil
node
NOR
NOR-элемент
not
о
о
od
odd, odd
of
open
or
ord
otherbranches
othersons
$
p
parameter id
pegel
pica
pkt, pkt
plexel, plexel
рlехеl-элемент
plus
po
polar, polar
poly
poly4
pop
postfix
post-order
pot
potz
pow
pow8
pred
prefix
primary
proc
procedure
pt, pt
pt
ptree
push
pushdown, pushdown store
put
QUEUE
queue, queue of
quicksort
r
rcut, rcutl
re
read
read-only
real, real
record
reduce
reduct
ref
Reg
relational operator
rep
repr
Res
res
reset
rest
result
rewrite
rho
rig litreplace
righttop
RL
RL-детерминистический
nistisch)
rom
round, round
ROW
rpart
RS-триггер
s
scale factor
sel
SEQU
sequ, sequ of
set
sign
sign
simple
simpson
sin
skip, skip
slice
some
sort
sp
sqr
sqrt
STACK
stack, stack of
start, start
step, step
string, string
stat
struct
sub
subtr
succ
sum
T
table
tan
term
test and read
then
to
to
toh
topreplace
tr
trap
tree
tree
true, true
trunc 10 J r
type
union
unsigned constant
— integer
upb
V
val
var
variable
vcpl
Wj.
while
WORD
wp
wp-исчисление
write
Х-категория
Z
Zk
Z+ Z±
zer
X
Х-правило
2-алгебра
Е-гомоморфизм
S-терм
Ф
Q
со
t