命題邏輯等值演算 等值式：若A<—>B為永真式腾降，則稱(chēng)A，B是等值的碎绎。 記左θ馈：A<=>B,稱(chēng)A<=>B為等值式 常見(jiàn)等值式： 雙否律 冪等律 交換律 結(jié)合律 分配律 德摩根律：...
發(fā)簡(jiǎn)信
IP屬地：湖南
-
離散數(shù)學(xué)個(gè)人復(fù)習(xí)筆記2——數(shù)理邏輯 -
離散數(shù)學(xué)個(gè)人復(fù)習(xí)筆記1——數(shù)理邏輯
命題： 能判斷真假的陳述句就是命題 命題的真值：真（T，1）,假（F筋帖，0） 真命題奸晴，假命題，簡(jiǎn)單命題（原子命題）日麸，復(fù)合命題 eg, 北京是中國(guó)的首都寄啼。 真值為真 但注意有些真...
-
個(gè)人復(fù)習(xí)筆記高等數(shù)學(xué)上——微分方程考點(diǎn)： 可分離變量的微分方程 齊次微分方程 一階線性微分方程 二階常系數(shù)齊次微分方程 二階常系數(shù)非齊次微分方程 微分方程的定義 以前常用函數(shù)來(lái)研究問(wèn)題，但有時(shí)寫(xiě)不出來(lái)函數(shù)赘淮，只...
-
個(gè)人復(fù)習(xí)筆記高等數(shù)學(xué)上——定積分定積分及其應(yīng)用 要點(diǎn)： 性質(zhì) 計(jì)算 應(yīng)用 1定積分的定義 定積分在不定積分的基礎(chǔ)上加了上限和下限辕录，其值等于上限積分值減去下限積分值。 2定積分的性質(zhì) A 當(dāng)上限和下限一樣的時(shí)...
-
微軟推出的逆天神器梢卸，讓我拋棄用了5年的 Chrome走诞。
微軟在今年年初正式上線了新版的 Edge 瀏覽器，不少人對(duì)它寄予厚望蛤高，因?yàn)樗膊捎昧撕?Chrome 瀏覽器一樣的內(nèi)核蚣旱，可以安裝 Chrome 上的各種插件，增強(qiáng)自身的能力戴陡。...
-
個(gè)人復(fù)習(xí)筆記高等數(shù)學(xué)上——極限考點(diǎn)： 1.直接代入型 將x直接代入計(jì)算得到y(tǒng)塞绿，得到一個(gè)值 2.0/0型 3.無(wú)窮/無(wú)窮型 PS：2，3將使用洛必達(dá)法則 4.0x無(wú)窮,1的無(wú)窮次方恤批，無(wú)窮-無(wú)窮等等轉(zhuǎn)化為0/...
-
【史上精華】月薪3萬(wàn)的程序員都在用的效率工具因?yàn)橛泄ぞ叩拇嬖谝煳牵覀兊墓ぷ骱蜕畈虐l(fā)生了翻天覆地的變化，善于運(yùn)用工具喜庞，可以大大提高工作和生活效率诀浪，節(jié)省時(shí)間，本文將和大家分享一些程序員必備的工具延都，歡迎收藏分享雷猪。 1、Git...
-
還有這種操作系列|你真的懂刪除文件嗎晰房？
上車(chē)求摇，今個(gè)來(lái)嘮嘮電腦上刪除文件的事 大當(dāng)哥帶路射沟，安全又炫酷 電腦當(dāng)中的【回收站】大家都不會(huì)陌生，它可以幫助存放刪除的文件 相當(dāng)于我刪除文件后并沒(méi)有從電腦中徹底刪除与境，而是臨時(shí)存...
