相继式演算的俄文

• Исчисление секвенций

• "相继式" 俄文翻译 :    Секвенция (теория доказательств)
• "直式演算" 俄文翻译 :    непосредственные вычисления
• "分散式演算法" 俄文翻译 :    Распределённые алгоритмы
• "相继" 俄文翻译 :    [xiāngjì] один за другим
• "演算" 俄文翻译 :    [yǎnsuàn] мат. производить вычисления; решать
• "lambda演算" 俄文翻译 :    Лямбда-исчисление
• "λ演算" 俄文翻译 :    Лямбда-исчисление
• "π-演算" 俄文翻译 :    Пи-исчисление
• "演算法" 俄文翻译 :    алгори́тм
• "music演算法" 俄文翻译 :    MUSIC (алгоритм)
• "关系演算" 俄文翻译 :    Реляционное исчисление
• "分类演算法" 俄文翻译 :    Алгоритмы классификации
• "命题演算" 俄文翻译 :    Логика высказываний
• "平行演算法" 俄文翻译 :    Параллельный алгоритм
• "排序演算法" 俄文翻译 :    алгоритм сортировки
• "搜寻演算法" 俄文翻译 :    Алгоритмы поиска
• "无穷小演算" 俄文翻译 :    Анализ бесконечно малых
• "构造演算" 俄文翻译 :    Исчисление конструкций
• "洪水演算" 俄文翻译 :    расчёт паводка
• "秀尔演算法" 俄文翻译 :    Алгоритм Шора
• "进程演算" 俄文翻译 :    Исчисление процессов
• "量子演算法" 俄文翻译 :    Квантовые алгоритмы
• "rsa加密演算法" 俄文翻译 :    rsa
• "元组关系演算" 俄文翻译 :    Исчисление кортежей
• "相续" 俄文翻译 :    pinyin:xiāngxù1) будд. непрерывность (последовательная смена) причин и следствий2) яп., юр. наследовать; наследование
• "相结合" 俄文翻译 :    сочетаться

• 相继式演算的英语：sequent calculus
• 相继式演算的法语：Calcul des séquents
• 相继式演算的日语：シークエント計算
• 相继式演算的韩语：시퀀트 계산