N-ORDER LOGIC


Англо-русский перевод N-ORDER LOGIC

исчисление предикатов N-ного порядка. Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля до N-1) Предикатами нулевого порядка считаются выражения, состоящие из термов и констант.

English-Russian dictionary of computers .      Англо-Русский словарь по компьютерам.