исчисление предикатов Энного порядка Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля до N-1. Предикатами нулевого порядка считаются выражения, состоящие из термов и констант.
English-Russian Modern Computing dictionary
N-order logic
исчисление предикатов N - ного порядка Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля до N-1. Предикатами нулевого порядка считаются выражения, состоящие из термов и констант.
English-Russian Modern Computing dictionary
on-line order entry
оперативный ввод заказа Заказ копии первоисточника документа (программы, данных), введенный пользователем с терминала в течение сеанса.