Terms for subject Artificial intelligence containing порядок

Russian	English
логика первого порядка с полиморфными типами	first-order logic with polymorphic types (Alex_Odeychuk)
оптимизация нулевого порядка	zeroth-order optimization (Alex_Odeychuk)
оптимизация нулевого порядка на основе автокодировщика	autoencoder-based zeroth-order optimization (Alex_Odeychuk)
семантика логики предикатов первого порядка	first-order logic semantics (Alex_Odeychuk)