查询词典 predicate variable

free variable：自由变量

郑老师指出,只有自由变量(Free Variable)才可以置换(Subsititue). 上述证明中,x和y不是自由变量. 之后,郑老师独立做了一个解答,我编程序来测试(虽然郑老师认为应该用证明方式). 以下我尝试把郑老师的解答,加上我的理解去演译一个正确答案.

free variable：自由变数

所谓的闭包(Closure),是指一个函式物件(或 函式值)在建立时,绑定了当时作用范围(Scope)下有效的自由变数(Free variable). 所 以支援闭包的语言,必须有支援一级函式(First-class function),建立函式物件并不等於建立闭包,

free variable：自由变元

自由边界问题|free boundary problem | 自由变元|free variable | 自由代数|free algebra

free variable：自由变项

"free valency ","自由价" | "free variable ","自由变项" | "free vibration ","自由振动"

function's free variable value：函数自由变数值

"功能与作业程序","functions and operating processes" | "函数自由变数值","function's free variable value" | "函数参数串列","function's parameter list"

function's free variable value：函数自由变量值

功能,函数,作用 function,FCT | 函数自由变量值 function's free variable value | 函数参数串行 function's parameter list

free floating exchange rate; variable exchangerate：自由浮动汇率

资本项目capital account | 自由浮动汇率free floating exchange rate; variable exchangerate | 自驻经营,自负盈亏responsible for their own management decisions,profits and losses

free floating exchange rate; variable exchange rate：自由浮动汇率

资本项目capital account | 自由浮动汇率free floating exchange rate; variable exchange rate | 自驻经营,自负盈亏responsible for their own management decisions, profits and losses

free floating exchange rate; variable exchange rate：自由腐汇率

商住和公益设施建设 commercial, residential and public utility construction | 自由腐汇率 free floating exchange rate; variable exchange rate | 资本项目 capital account

free floating exalter rate; variable exalter rate：自由浮动汇率

资本工程capital account | 自由浮动汇率free floating exalter rate; variable exalter rate | 自主经营,自负盈亏responsible for theirs own management decisions, profits and losses

at sb.'s disposal; in sb's disposal：任某人处理

at rest 宁静的,安静的,过世了的 | at sb.'s disposal; in sb's disposal 任某人处理 | at sb's service 听某人吩咐

Unionism：工会主义;工联主义

Unionist:工会主义者 | Unionism: 工会主义;工联主义 | Unitive:团结的,倾向于团结的