命题逻辑中的语法与语义，可靠性与完备性 转载自CSDN博客：http://blog.csdn.net/on_1y/article/details/8727346 原作者：on_1y 1 导言 初学数理逻辑的时候，一个非常重要的点就是对可靠性与完备性概念的理解，这两个概念... 2019-05-13 Webster Zhang PHP - setcookie函数 前言 考完试了以后感觉自己跟一条咸鱼没啥区别了，每天对着电脑总感觉啥也没干一天就过去了。本着人总得干点什么事情让自己不那么无聊的原则，决定捡起PHP学点什么。然后，在我写登录的token生成算法的时候，我就卡在了setcookie这里... 2018-12-14 Webster Zhang C - 不可变字符串 前言 忙得要死，一大堆需求向我扑来……最近在C语言的字符串上摔了一跤，还好后果还不算太严重，但是还是先随便写点东西记录下来好了。 字符串 不像Pascal和Delphi，在C语言中是没有String这种变量类型的。所以在C语言里面是用... 2018-10-18 Webster Zhang C - scanf的内存管理 前言 今天继续写那个简化版的搜索引擎的时候，遭遇了这样一个情况：输入一段英文的文本，单词之间以空格分割。而我需要把指定范围内的单词收集起来作进一步的处理。本来感觉很简单，但是毕竟还是太年轻，尝试了四十分钟以后不是内存泄漏就是Segfa... 2018-10-10 Webster Zhang C - 图的邻接链表 前言 最近要求基于给定的语料实现一个简单的搜索引擎，那么提到搜索引擎第一反应肯定是图论了。然而翻遍了所有允许我用的代码，都没有找到使用邻接链表储存图的，于是只好自己写一个了。 图的储存方式 邻接矩阵 邻接链表 边集数组（前向星/类前... 2018-10-09 Webster Zhang NEXT → FEATURED TAGS Shell C 图论 邻接链表 动态内存 内存泄漏 缓冲区 字符串 不可变字符串 PHP Cookie Session 逻辑 语法 语义 命题逻辑 FRIENDS 请先安装Links插件