摘要：
点燃我，温暖你 简介：讲述了肆意张扬的编程天才李峋与勇敢坚韧的少女学霸朱韵从青涩校园到职场（类似的，我还可以推荐一个，像《百岁之好，一言为定》）拼搏几经波折，依然携手前行的成长爱情故事！ 前面的都是关于校园学习C语言的故事，想看的朋友可以去看看，感觉上拍的还是不错的。我最感兴趣的是李峋利用计算机水平 阅读全文
摘要：
第一章内容 第一节： 可计算思想：从可计算到不可计算 ask2:证明算数公理的相容性 完备性（所有命题能从形式化系统推导出来） 一致性（一个命题不可能同时为真同时为假） 可制定性（算法在有限步内判断命题的真伪） 但是从哥德尔不完全性定理来看，事件A一旦具有了一致性，就不可能具有完备性；反之 第二节： 阅读全文