资源列表
callbacks
- callback demo program, you can learn how to write callback functions
WangHao
- 命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
drapfiles
- 支持txt文件、图片文件、文字拖曳等功能的richedit编辑器，非常好用，有些功能是我自己加的.
interruptinC++
- the demo program about how to write interrupt
winformandOutlookBar
- 动态加载组件框架示例 及OutlookBar与XML结合的动态菜单
astar
- A*算法，用来寻路，非常有用的，我历尽千辛万苦才找到的
FFT2410_uart
- s3c2410ads下uart的测试程序，包含启动代买
cjcx
- 学生管理系统，简单实用，老师、学生可同时使用
FFT2410-AD
- s3c2410ads下AD转换的测试程序，包含启动代码
stream
- 程序用于对txt文档进进读写操作，对txt文档里的数据进行统计，采用指针的方式操作文档
VistaForm
- 类似VISTA的窗体设计，可以动态设置窗体框架的颜色
ha0096
- 密码锁 1. 出厂的统一密码为个人码″12345678″，管理码″88888888″。 2. 上电时密码锁红绿灯由点点亮到熄灭，表示可以开始输入密码。 3. 操作键板上″＃″键为激活键，按″＃″键可开启线路板进入工作状态。 4. 操作键板上″＊″键在数据输入状态时为淸除键，用于输入错误数字的淸除，每按一次″ ＊″淸除一位数字，如长按2 秒，红绿灯前后分别亮一下，表示淸除所有数字。 5. 每按一次数字键绿灯闪一下，表示数字已输入。 6. 任何键按下25 秒左右，无后续操