2024年12月20日
BMF学习笔记
摘要： 引言 学习了Haskell、学习了Agda，我们已经初步掌握了使用函数式编程进行编写程序、编写证明的方法。 但是目前我们使用Agda进行的证明还是十分规范的代数形式的证明。如果想要严格地证明两个算法的等价性（而不是像OI题解里一样各种画图、感性理解之类的），我们就需要一种方法把算法写成代数的形式，再 阅读全文
posted @ 2024-12-20 20:26 蒟蒻_william555 阅读(160) 评论(0) 推荐(0)