發(fā)簡信
IP屬地：陜西
除非你幫忙，否則我們一定會輸 來一堆眼花繚亂的變形： 只要你不幫忙，我們一定會輸 只有你幫忙，我們才可能不輸 如果你不幫忙，我們一定會輸 我們一...
“除非p，否則q”的句型，可以轉化為下面這兩種句型： 只要非p，則q，即 ?p -> q 只有p，才非q，即?q -> p 由蘊含符->的性質可...
這是離散數學的形式邏輯章節(jié)中的一個題目，要把這句話符號化。在讀了100遍都理解不了它到底想表達什么之后，我對自己的閱讀理解能力產出了深深的懷疑，...
在學離散數學第一部分”數理邏輯“的時候，最頭疼的就是那些轉化題，即把以自然語言說的某句話轉化為符號形式。主要是因為自然語言有二義性，有很多話在不...
（這篇文字是用語音寫出來再到電腦上修正的，效率還可以） 今天主要是在辦公室度過的，印象最深刻的三件事是： 小波的在線TDD直播真是太棒了 小波昨...
今天主要是在郵電實驗室，發(fā)生了很多事情，其中以下三件是讓我印象最深刻的： 1. 下午討論納新時，同學們說“老師你要對我們狠一點” 下午在實驗室與...
標題 為了方便其他同學查看，建議標題格式如下： 日期 實驗室名稱 姓名 比如： 2017-03-17 西安郵電創(chuàng)新實驗室 某某某 2017-03...
文章標題 為了方便其他同學查看，建議標題格式如下： 日期 實驗室名稱 Team Lead 姓名 比如： 2017-03-17 西安郵電創(chuàng)新實驗室...
文章標題 為了方便其他同學查看，建議標題格式如下： 日期 實驗室名稱 Tech Lead 姓名 比如： 2017-03-17 西安郵電創(chuàng)新實驗室...