说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 事件演算
1)  event calculus
事件演算
1.
Applications of event calculus in reasoning about actions;
事件演算在行动推理中的应用
2)  Transactional calculus
事务演算
3)  Directing Events
导演事件
4)  event evolution
事件演化
1.
Effective event evolution analysis algorithm
一种有效的事件演化分析算法
5)  event operation
事件运算
6)  Algorithm of Events
事件算法
补充资料:Ski组合子演算

ski 组合子演算是一个计算系统,它是对无类型版本的 lambda 演算的简约。这个系统声称在 lambda 演算中所有运算都可以用三个组合子ski来表达。

在这个系统中的所有函数可以只使用ski的字母表和圆括号(分组符号)来表达。通常假定组合子是左结合的,从而在不影响执行次序的情况下精简表达式中的圆括号。

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条