可计算函数逻辑造句

例句与造句

1. 获奖原因：由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
2. LCF项目是受Dana Scott给出的一组逻辑原则启发而设立的，致力于开发一种“可计算函数逻辑”（Logic of Computable Functions）。
3. 用可计算函数逻辑造句挺难的，這是一个万能造句的方法