会员
周边
捐助
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
zzfx
博客园
首页
新随笔
订阅
管理
随笔分类 -
程序的数学基础
模式匹配用到集合论、装箱解箱用到范畴论
摘要:模式匹配用到集合论、装箱解箱用到范畴论
阅读全文
posted @
2019-03-27 19:29
zzfx
阅读(183)
评论(0)
推荐(0)
编辑
数理逻辑
摘要:弗雷格的逻辑体系,表现在今天就是我们数理逻辑中的命题演算和谓词演算(用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑)。弗雷格第一次用精确的句法构造出形式化的人工语言,使得逻辑推理表示为机械演算即所谓的推理规则成为可能。从这个观点看,概念文字是我们今天使用的计算机程序设计语言
阅读全文
posted @
2019-03-27 19:26
zzfx
阅读(403)
评论(0)
推荐(0)
编辑
公告