斯科伦正规形式, 斯科伦范式
_
нормальная форма Сколема
пословный:
斯科伦正规形式 | , | 斯 | 科 |
книжн.
этот; это
|
1) раздел [отрасль] науки; дисциплина, предмет
2) сокр. наука; научный
3) отдел; сектор (напр., в учреждении)
4) бот., зоол. семейство
5) книжн. осудить; присудить (к штрафу)
|
伦 | 范式 | ||
I сущ.
1) основы (законы) морали; моральный принцип (долг): нравственность, мораль, этика; человеческие взаимоотношения; должный порядок, система; правила; суть, смысл, правда; | 2) категория, класс, вид, сорт; качество; соотношение, подобное; сравнение
3) ряд; последовательность; очередь, порядок; выходить из ряда, выдаваться
4) рентген (единица рентгеновского излучения)
II гл.
вм. 抡 (отпирать, выбирать)
III собств.
1) Лунь (фамилия)
|
парадигма; модель; нормальная форма
|