随笔分类 -  COMP30026 Models of Computation

Model of Computation Lecture 6 - 7 Predicate Logic
只有注册用户登录后才能阅读该文。
posted @ 2019-02-22 13:04 落星无尘_Will 阅读(21) 评论(0) 推荐(0)
Model of Computation Lecture 3-5 Propositional Logic 命题逻辑
只有注册用户登录后才能阅读该文。
posted @ 2019-02-04 17:47 落星无尘_Will 阅读(37) 评论(0) 推荐(0)
初识Haskell 五：自定义数据类型和类型类
摘要：对Discrete Mathematics Using a Computer的第一章Introduction to Haskell进行总结。环境Windows。 2020.3.13 更新：COMP90048 Declarative Programming 又继续学习了Haskell。 类型别名 ty 阅读全文
posted @ 2019-02-04 12:29 落星无尘_Will 阅读(2033) 评论(0) 推荐(0)
初识Haskell
摘要：在COMP30026 Models of Computation中接触了新的编程语言Haskell，一个之前听都没有听过的语言，在此记录关于Haskell的一些最基本概念。 1.Haskell是一个函数式编程语言(functional programming language)，函数式编程语言最基本 阅读全文
posted @ 2019-01-21 13:57 落星无尘_Will 阅读(1123) 评论(0) 推荐(0)