![](https://img-blog.csdnimg.cn/20201014180756916.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
数学
on_1y
这个作者很懒,什么都没留下…
展开
-
程序设计语言理论(lambda 演算,函数式编程) 相关资料
1. g9yuanyon's blog: 翻译了一系列Lambda calculus 的文章,非常通俗,且有部分八卦。也有对原文少量的补充资料。 http://blog.csdn.net/g9yuayon/article/details/7909532. MarkCC' blog Good Math Bad Math: 这里有g9翻译文章的原文,后面几篇原创 2012-12-04 21:29:53 · 3278 阅读 · 0 评论 -
线性规划工具 GLPK 的安装及基本使用
线性规划工具 GLPK 的安装及基本使用1 概述2 安装3 基本使用 4 用途1 概述GLPK 全称GNU Linear Programming Kit.顾名思义,这是GNU计划下一个用于解线性规 划(Linear Programming)的工具包。它可以方便的描述线性规划问题,并给出相应解。 GLPK 的主页为:http://www.gnu.org/softw原创 2012-12-12 14:02:55 · 11541 阅读 · 1 评论 -
命题逻辑中的语法与语义,可靠性与完备性
对命题逻辑中的语法与语义,可靠性与完备性,给出了浅显易懂的解析。原创 2013-03-27 17:41:14 · 16106 阅读 · 6 评论