摘要：毕业设计跟的导师是研究计算机理论的，花了三个月学习符号逻辑，试图优化一个回答集程序的求解器（Answer set solver）。比起眼花缭乱的前端框架和热闹的社区讨论，符号逻辑就是一个挺小众的数学领域。一讲到逻辑程序就会涉及一大堆的概念 ，伴随一大堆数理逻辑的符号，令有兴趣的新手望而却步。此篇博文 阅读全文

摘要：在学习C/C++编程的时候，老师都会反复灌输一些概念。比如程序内变量在堆栈上的分配，栈是由高地址到低地址，堆是由低地址到高地址等等，然后画出这样一幅经典概念图： 图片来自：http://blog.csdn.net/wind19/article/details/5964137 这个概念图容易让读者误认 阅读全文

摘要：从学习C语言开始，int类型所占字节数，以及数值范围就是一个挥之不去的问题。一开始会死记硬背一个char 1个字节，一个字节8个bit。64位机器上面一个int 4个字节，32位机器上面不一样。那时候并不知道编译器也分很多种，每一种实现的细节不一样，也不知道各家编译器是遵循C++标准委员会的标准。后 阅读全文