一、現代邏輯導論
1.1 兩個經典的例子：
（1）命題1：蘇格拉底是人；命題2：人會死；推導出—>蘇格拉底會死
（2）命題1：所有希臘人都是人；命題2：人會死；推出—>所有希臘人都會死
在古希臘的形式邏輯裡面，這兩個例子是不會區分的，但是，它們實際上市不一樣的。蘇格拉底是個體，所有希臘人是集合。
正確性：如果所有推導出來的都是正確的，那就是正確的。
完備性：想推導的就能推導出來。
1.2 其他邏輯理論
數理邏輯：現代數理邏輯是不完美的
模糊邏輯：提出了隸屬度的概念。統計概率的思想。
1.3 現代邏輯
基於可能世界的語義模型所產生的所有邏輯，要用乙個標準的符號系統來表示，它必須要有固定的準則。
模型：東西的構成。
句法：即生成規則。
真值條件：尋找對映。（將複雜的分解為簡單的進行分析）
命題邏輯模型：是乙個關於原始命題集的賦值。
狀態：乙個公式描述乙個狀態，它對應著乙個可能世界集合，該公式在這個集合的所有可能世界上都成立。
命題（proposition）：它的真值決定乙個可能世界。
模態（modality）：它的真值決定多個可能世界。
演繹：所有的能使前提成立的模型也都能使結論成立。（前提可以推出結論）
單調的：前提的一部分不若能推出結論，則整體必然能推出。
非單調推理：有衝突存在，前提還需要斟酌。
（例子：所有的鳥兒都會飛；企鵝是鳥—>企鵝會飛？）
模態邏輯：可能&必然
時態邏輯：從時間上談論成立與否。
空間邏輯：在空間上判斷
道義邏輯：應該&不應該&義務。。
動態邏輯：做了什麼事情，必然/可能產生什麼結果
認知邏輯：知道&不知道，相信&不相信
Linux學習筆記1 Linux的歷史與現狀
現實是歷史的延續，歷史是現實的根源和發展脈絡。學習linux，不一定要了解其歷史。但真正理解了其歷史，就能更加清晰地感受到未來的發展趨勢。每個領域都有大神。linux是由兩位大神發起的。一位大神就是芬蘭赫爾辛基大學linus torvalds,另一位大神是richard stallman。linus...
學習筆記 雜湊學習筆記
hash基本原理 hash就是乙個像函式一樣的東西，你放進去乙個值，它給你輸出來乙個值。輸出的值就是hash值。一般hash值會比原來的值更好儲存 更小 或比較。那字串hash就非常好理解了。就是把字串轉換成乙個整數的函式。而且要盡量做到使字串對應唯一的hash值。它的主要思路是選取恰當的進製，可以...
學習筆記 CentOS 學習筆記01
簡單的做個課堂筆記 虛擬機器用的是vmware，系統是centos cd etc sysconfig network scripts pwdls 顯示列表 cat ifcfg eth0 檢視檔案內容 vi ifcfg eth0 進入vi編輯器 onboot no 原始設定 x逐字刪除 d刪除整行 a...