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