| 释义 |
1 [数]?形式变元 ... parameter参数, 参量, <口>起限定作用的因素 formal argument形式变元 actual argument实际变元 ... 2 ?形式参数 （1）形式参数（Formal Argument）简称形参，出现在函数定义时。 3 ?型式自变量 ... 型态转换：typecast 型式自变量：formal argument 型式叙述：statements,type ... 4 ?形式论证 ...上的，这里必须指出 Toulmin 论证模 式属于非形式论证（informal argument），与数学等 领域中运用的形式论证（formal argument）存在很 大差别，主要用于解决日常生活中的论证，因此也 被称为实用论证（practical argument）。
- 1
Selects a member from a list of candidates, and performs type conversion from actual argument type to formal argument type. 从候选者列表中选择一个成员，并执行实参类型到形参类型的类型转换。 - 2
Here is an example of how to use the keyworded form. Again, one formal argument and two keyworded variable arguments are passed. 下面这个列子说明如何使用双星号形式，同样的，一个形式参数和两个有默认值的变量被被传入。 - 3
The central question in philosophy of logic is about the issue of the coherence between the valid formal argument in logical system and the extra-systematic informal antetype. 逻辑哲学的中心问题是关于逻辑系统内有效的形式论证与系统外的非形式原型的符合问题。
|