|
abs:ValNum->ValNum;-- z的绝对值 次数:[ValNum]->ValNum;-- x,y和z的乘积 一元减:ValNum->ValNum;-- 减去x
计算:(k:种类)->值k->命令; 指定:(k:Kind)->变量k->值k->命令; 断言:属性->命令; 近似值:ValNum->命令; BeginBlock:字符串->命令; EndBlock:字符串->命令;
ValNum公司
ValSet(值集)
ValTensor公司
NP公司
ValFun公司
数学函数
NP公司
变量编号
变量集
符号
运算abs_value_CN:CN=mkCN绝对_A值_N;-- 在LexiconEng中 林abs obj= mkNP艺术 (mkCN abs_value_CN(mkAdv拥有Prep对象));-- 在Arith1I中 unary_minus ob=mkNP(mkCN minus_N ob);
一元_-x=mkNP(E.GenNP x)(mkN“vastaluku”);
一元_-x=mkPrec 1(“-”++(usePrec 3 x));
趣味加:[ValNum]->ValNum lin plus:列表NP->NP DefGenCN sum_CN(mkNP和Conj术语)
BaseValNum x y(基本值编号x y)
ConsValNum x(BaseValNum y z)
操作人员 数学函数={t:FuncForm;s2:MathVar}**NP; 参数 FuncForm=FNoVar|FNamed|FVar|FGral;
\(x^2+1\)的平方根
数字类型:VarNum->QVarNum; number_list:[VarNum]->QVarNum; number_range:变量编号->变量编号->QVarNum;
q _自然, q积分, q _理性, q_事件, q_prime:QVarNum->QVarNum;
道具=S [道具]=[S] SimpleProp=MathCl=Cl**{p:极性} QProp=QS;
Prop=MathCl=Cl**{p:极性} [Prop]=[MathCl] 属性-->S,QS
7是质数。
7是素数吗?
[属性]-->S,QS
7是素数,8不是素数。
7是质数,8不是质数,这是真的吗?
“计算函数的积分 将x映射到x的平方,从负无穷到无穷。 "
计算数字(从数字( 定义间隔(λx(功率2(Var2Num x)) nums1_minus_infinity nums1_infinity)) 计算数字(从数字( 定义间隔(λx(功率2(Var2Num x)) (一元减nums1_infinity)
(一元减数字1无穷大)
数字1_minus_infinity
猫 种类; 指挥; 答案; 价值类型; 变量种类; 乐趣 Num、Fun、Set、Tensor:种类; 数据计算:(k:Kind)->值k->命令; 乐趣 添加到:ValNum->ValNum->命令; itNum:ValNum; itSet:ValSet; 简单:(k:种类)->值k->答案; 反馈:(k:种类)->值k->值k->答案; 定义 addTo x y=计算数字(从数字(加上(BaseValNum x y)); bracket_emptyset=简单集合(来自集合空集合);-- {} 定义 bin_over x y=除以x y; 乐趣 isEqual:(k:Kind)->值k->值k->命令; isAppEqual:(k:种类)->值k->值k->命令; 是:回答; 否:回答; 是近似值:索引->答案;
1 完全清空 :: 布尔 -> 树 -> 也许 吧 树
2 完成返回 :: 布尔 -> 树 -> [ 树 ] -> [ 树 ]
三
4 完全清空 错误 _ = 没有什么
5 完全清空 真的 问题 = 只是 $ 玻璃纤维 $
6 案例 前景 问题 属于
7 G分配 k个 无功功率,无功功率 价值 -> G分配 k个 无功功率,无功功率 价值
8 GAssert公司 第页 -> G资产 第页
9
10 完成返回 反馈 问题 答案 = 猫梅贝 $ 地图 ( comp'(比较) . 前景 ) 答案
11 哪里
12 comp'(比较) = comp公司 ( 前景 问题 )
13 comp公司 克 一 @ ( GYesApprox公司 _ ) = 只是 ( 玻璃纤维 一 )
14 comp公司 克 一 @ GNo公司 = 只是 ( 玻璃纤维 一 )
15 comp公司 克 一 @ 妇科 = 只是 ( 玻璃纤维 一 )
16 comp公司 克 一 @ ( GSimple公司 k个 第2版 ) =
17 案例 价值 克 属于
18 只是 第1版 -> 只是 $ 玻璃纤维 $ 如果 反馈
19 然后 ( G反馈 k个 第1版 第2版 )
20 其他的 一
21 _ -> 没有什么
22 comp公司 _ 一 @ ( GBegun区块 _ ) = 只是 ( 玻璃纤维 一 )
23 comp公司 _ 一 @ ( GEnded块 _ ) = 只是 ( 玻璃纤维 一 )
24 comp公司 _ _ = 没有什么
25 价值 ( G计算 _ v(v) ) = 只是 v(v)
26 价值 ( G近似值 v(v) ) = 只是 $ G来自数字 v(v)
27 价值 ( G近似于 v(v) _ ) = 只是 $ G来自数字 v(v)
28 价值 _ = 没有什么
词典
LexiconL公司
|
|
---|---|