首页 > TAG信息列表 > CTM

IncRe[4] CTM 9 Relational Programming 前半部分

目录基础信息9 Relational Programming9.1 The relational computation model9.2 Further examples9.3 Relation to logic programming9.3.2 Operational and logical semantics9.3.3 - 9.3.49.3.5 Logic programming in other models 本篇前置： IncRe[3] CTM 2.1 Defining practi

IncRe[2] CTM 1 Introduction to Programming Concepts[0]

目录基础信息1 Introduction to Programming Concepts1.1 - 1.3 A calculator, Variables, Functions1.4 - 1.5 Lists, Functions over lists1.6 - 1.7 Correctness, Complexity1.8 Lazy evaluation1.9 Higher-order programming1.10 - 1.11 Concurrency, Dataflow总结和问答练习

微软亚洲研究院：可持续发展的人工智能

微软亚洲研究院副院长刘铁岩在 WAIC 2020 微软论坛演讲视频可持续发展是一个非常重要的主题，无论是环保、健康、能源和材料，都与人类的生存和发展息息相关。随着工业的发展和科技的进步，我们看到大气、水质、土壤受到了严重的破坏和污染，维护生态平衡、保护自然环境，确保社会的可持续发