2014年1月22日

设计原则:公理系统在编程中的运用

摘要: 背景说来惭愧,高中是花钱买上的,高中虽然经过努力考试了大学,可惜小学和初中的知识学习的不扎实(当时也学不会),感觉到现在都没有开窍,前几天读《古今数学思想》,觉得数学和编程简直就是一回事,本文简单的介绍一下“公理系统在编程中的运用”,由此可以管中窥豹。公理系统简单来说:公理系统是一些公理的集合,这些公理是大家都公认的,不需要证明的,除此之外的推论都需要证明。公理系统在编程中的运用掺入(扩展方法) 1 class 公理系统 2 { 3 public void 公理A(){} 4 public void 公理B(){} 5 } 6 7 static class 推论 8 { 9 ... 阅读全文

posted @ 2014-01-22 13:49 幸福框架 阅读(297) 评论(0) 推荐(0) 编辑

导航

我要啦免费统计