logo

COMP90048/30020 精讲 Declarative Programming

大学：University of Melbourne

专业：COMP30020/COMP90048 Declarative Programming

授课方式：线上

报名人数：1

开课时间：2021/03/02

$522

课程介绍:

声明性编程语言与指令性编程语言的联系与区别 使用Haskell学习函数编程 使用Prolog学习逻辑编程 每周课程精讲 每周例题练习
    Lesson 01 Week 3: 声明性编程语言思维&Haskell的多态性
    讲解如何从指令式编程的思维方式转化成声明性编程 讲解如何使用Haskell的多态性 讲解如何在Haskell中使用不确定类型
    Lesson 02 Week 4: Haskell中的高阶函数以及函数设计模式
    讲解什么是高阶函数 讲解如何在Haskell中使用高阶函数 讲解常见的函数设计模式，如Folds, MapReduce
    Lesson 03 Week 5：期中考试复习
    复习关于Haskell的课程内容
    Lesson 04 Week 6：Haskell编程练习
    用Haskell解决技术面试中的编程题
    Lesson 05 Week 7：逻辑编程入门
    讲解什么是逻辑编程 Prolog 入门，编写hello world
    Lesson 06 Week 8：理解与调试Prolog代码&逻辑编程思维
    讲解范例Prolog代码 演示如何调试Prolog代码 讲解逻辑编程思维 SLD
    Lesson 07 Week 9：Prolog中的尾递归与复杂类型
    讲解尾递归模式 讲解如何在Prolog中使用尾递归 讲解Prolog中all solutions的用法 讲解Prolog中的高阶编程
    Lesson 08 Week 10：Prolog编程练习
    Prolog范例代码讲解以及编程练习
    Lesson 09 Week 11：约束编程&单子（Monad）数据类型
    讲解什么是约束编程 讲解什么是单子（Monads）数据类型 讲解Haskell中的单子（Monads）数据类型
    Lesson 10 Week 12：Haskell的懒惰性以及类型系统
    讲解与演示Haskell的懒惰性 讲解如何优化Haskell程序的性能 讲解如何有效使用Haskell的类型系统
    Lesson 11 Week 13：期末考试复习
    总结Haskell知识点 总结Prolog知识点