数学术语
中文翻译：第二阶谓词演算
同义词：
['second-order logic', 'second-order predicate logic例句：1. In the study of mathematical logic', 'second-order predicate calculus plays a crucial role in proving theorems.（在数学逻辑研究中，第二阶谓词演算在证明定理中起着至关重要的作用。）']
例句：
-
1. In the study of mathematical logic, second-order predicate calculus plays a crucial role in proving theorems.
在数学逻辑研究中，第二阶谓词演算在证明定理中起着至关重要的作用。
-
2. The development of second-order predicate calculus has greatly advanced the field of artificial intelligence.
第二阶谓词演算的发展极大地推进了人工智能领域的发展。
-
3. The application of second-order predicate calculus in computer science has revolutionized the way we think about computation.
第二阶谓词演算在计算机科学中的应用已经彻底改变了我们对计算的思考方式。