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