http://.fusc-ba./discrete/xxwb/jdck/cks/ch0/ch02.htm (離散數學導論)
介面很友好，還不錯！！
//以下是我的學習筆記------自學的，肯定有錯識，請大家多多指教!!!
(1),離散數學是現在數學的乙個重要的分支，是電腦科學與技術的理論基礎,所以又稱為計算機數學.
(一).數理邏輯
研究人的思維形式和規律的科學，稱為邏輯學。
這裡寫出我認為有點重要的寫出，有的是全部寫，比如「定理」等其他理論.
1.1: 命題與聯結詞
1. 命題的概念
1) 疑問句，感嘆句，祈使句不是命題
2) 乙個陳述句能否分辯真假，與是否知道它的真假，是兩件事.
書上例子:
1> :你聽懂了嗎?-----疑問句
2> :這真開心!-------感嘆句
3> :請止步----------祈使句
4> :我是學生-------命題
5> :6不是自然數-------同4
因此，在數理邏輯中，不能去糾纏各種具體命題的真假問題，而是將命題當成 數學 概念去處理，看成乙個抽象的形式化的概念，把命題定義成非真必假的陳述句.
2. 命題的識別符號
乙個原子命題，一般用大寫字母或帶下標的大寫字母，如p,q,r....,或pi,qi,ri,等來表示.
命題變元不是命題,將乙個命題變元p用乙個特定命題去代替，它才能確定真假，這叫做對p的指代，或解釋，記為s(p),i(p).
以下有關符號，略過.
1> 合取聯結詞 具有對稱性,即以
p^q和q^p具有相同的真值.
只有當兩者都為t時，p^q才為真
2> 析取聯結詞
例: (書上的) a.b=0 即a=0 或 b=0
或 a=b=0
說明:二者至少有乙個發生，不排除二者都發生的情況
當p，q都為f時，析取式才為f
3> 條件式聯結詞->
p->q讀做"如果p,則q" 或 "p條件q"
p->q的真值由p,q決定
當p為t，q為f時, p->q 的真假才為f
@@當我們以後在對命題進行解釋時，我發現漢語中與數理邏輯中的聯結詞的符號對應的詞是很重要的....
合併聯結詞-----相當於"並且","既..以..."
析取聯結詞-----相當於"或者","或"-----析取聯結詞表示"可兼或"
@@"--->" 含義:在自然語言中，條件式中前提和結論間必含有某種因果關係，但在數理邏輯中可以允許兩者無必然的因果關係，也就是說並不要求前件和後件有什麼關係, (例)
如: 如果2+2=4,則雪是黑的 (表示為p->q)
設p:2+2=4,q:雪是黑的
因為 p真,q假 ,則p->q為假
4> 雙條件聯結詞: p當且僅當q
1.2 節**********開始******* 命題公式，翻譯和真值表
前面有了聯結詞，原子命題變元,再加上"(",")",便可以進行有限次的連線，得到許多字串,
那些有意義的字串，稱為數理邏輯中的 合式公式 p8
合式公式沒有真假, 只有對其變元進行指派後，方有真假.
名詞: 如表示乙個確定的命題，則p為命題常元
*********** 不確定的命題,(書上--任意的命題的位置標誌), p為 原子命題變元
離散數學複習筆記 1
量詞轄域的確定方法 1.若量詞後有括號，則括號內的子公式就是量詞的轄域 2.若量詞後沒有括號，則與量詞鄰接的子公式就是該量詞的轄域 約束變元的改名規則 1.將量詞中出現的變元以及該量詞轄域中此變數所有約束出現都用新的個體變元替換 2.新的變元一定要有別於改名轄域中的所有其他變數 自由變元的代入規則 ...
離散數學 筆記
1.復合命題的真值只取決於各原子命題的真值，而與它們的內容 含義無關，與原子命題之間是否有關係無關。2.命題公式 1 重言式 2 矛盾式 3 可滿足式 1.重言式 給定一命題公式，若無論對分量作怎樣的指派，其對應的真值永為真，則稱該命題為重言式或永真式 2.給定一命題公式，若無論對分量作怎樣的指派，...
筆記 離散數學
這學期學習了離散數學 這門課程，離散數學 包含了群 環 域 格 布林代數五個代數系統 代數系統 非空集合a，連同若干個在該集合上的封閉運算f1，f2，fn所組成的系統，記為1，f2，fn 代數系統的組成 載體 非空集合a 定義在載體上的運算，代數常元 代數運算的性質 交換律，結合律，分配律，吸收律 ...