除非你帮忙，否则我们一定会输 来一堆眼花缭乱的变形： 只要你不帮忙，我们一定会输 只有你帮忙，我们才可能不输 如果你不帮忙，我们一定会输 我们一...

“除非p，否则q”的句型，可以转化为下面这两种句型： 只要非p，则q，即 ¬p -> q 只有p，才非q，即¬q -> p 由蕴含符->的性质可...

这是离散数学的形式逻辑章节中的一个题目，要把这句话符号化。在读了100遍都理解不了它到底想表达什么之后，我对自己的阅读理解能力产出了深深的怀疑，...

在学离散数学第一部分”数理逻辑“的时候，最头疼的就是那些转化题，即把以自然语言说的某句话转化为符号形式。主要是因为自然语言有二义性，有很多话在不...

（这篇文字是用语音写出来再到电脑上修正的，效率还可以） 今天主要是在办公室度过的，印象最深刻的三件事是： 小波的在线TDD直播真是太棒了 小波昨...

今天主要是在邮电实验室，发生了很多事情，其中以下三件是让我印象最深刻的： 1. 下午讨论纳新时，同学们说“老师你要对我们狠一点” 下午在实验室与...

标题 为了方便其他同学查看，建议标题格式如下： 日期 实验室名称 姓名 比如： 2017-03-17 西安邮电创新实验室 某某某 2017-03...

文章标题 为了方便其他同学查看，建议标题格式如下： 日期 实验室名称 Team Lead 姓名 比如： 2017-03-17 西安邮电创新实验室...

文章标题 为了方便其他同学查看，建议标题格式如下： 日期 实验室名称 Tech Lead 姓名 比如： 2017-03-17 西安邮电创新实验室...