- 博客(4)
- 收藏
- 关注
RSS订阅我写的第一个类：BasedNum
//BasedNum.h #include <iostream> #include <cmath> #include <string> #include <sstream> /***************************************************************************** ...
2007-08-29 19:42:00
95
Alonzo Church的λ演算（摘自彭罗斯《皇帝新脑》）
可计算性的概念是一个非常重要和美丽的数学观念。它又是相当近代的，具有这样基本性质的事体进入数学的王国是本世纪三十年代的事。这个观念已经渗透到数学的所有领域中去（虽然这一点确实是真的，但是大多数数学家通常不去忧虑可计算性的问题）。该观念的威力有一部分来自于这一个事实，即数学中一些定义得很好的运算实际上不是 可计算的（例如图灵机的停机问题；第四章还可以看到其他例子）。因为如果不存在这种不可计算...
2007-08-28 12:01:00
223
Kenneth C.Louden的《程序设计语言——原理与实践》的一点笔记
编程范式：面向对象程序设计（C++、Java、Smalltalk）、函数式程序设计（Scheme、Haskell、ML）、逻辑式程序设计（Prolog）。 以拜伦之女Ada（历史上第一位程序员：分析机）命名的Ada。 FORTRAN（FORmula TRANslation） COBOL（公共的面向商业语言）——设计目的是使他人能够阅读程序元设计的程序，因而语法复杂。 Algol：P...
2007-08-28 11:51:00
183
CSDN第一帖
这段时间狂学C++与OpenGL，遇到大小问题无数，许多都在CSDN得到了启发，我觉得这个地方足够好，决定用来做类似网摘的东西，同时也是发布自己写的计算机方面的文章。通过写文章，才能更好地掌握所学的东西。前段时间，在写类BasedNum的时候，就在作注释的过程中，发现了不少Bug。 好了，先说到这吧~第一帖嘛，不用太长。...
2007-08-28 08:41:00
56
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人