首页 > 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 practiIncRe[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 微软论坛演讲视频可持续发展是一个非常重要的主题,无论是环保、健康、能源和材料,都与人类的生存和发展息息相关。随着工业的发展和科技的进步,我们看到大气、水质、土壤受到了严重的破坏和污染,维护生态平衡、保护自然环境,确保社会的可持续发