有了前一篇博文的基礎，這裡寫系統 t 比較簡單。
系統 t 的公理是在系統 k 的公理基礎上新加了一條公理：t :lp⊃
p\quad lp\supset p
lp⊃p
。系統 k 的定理都是系統 t 的定理。下圖是乙個推導系統 t 中定理的過程：
中的 r
rr 滿足反身性 (reflexive)，即 wrw
,∀w∈
rwrw, \forall w\in r
wrw,∀w
∈r，每個可能世界能夠到達自身。由下圖可以推導一下公理t：假如公理t不成立，則在可能世界 w
ww 中要滿足 p=0
p=0p=
0 且 lp=
1lp=1
lp=1
，但是 w
ww 能到達的所有世界（只有它自己）中 p=1
p=1p=
1，所以 lplp
lp必須是 1，故公理t必須成立，即lp⊃
p\quad lp\supset p
lp⊃p
在系統t中是正確的。
Spark MLlib 入門學習筆記 邏輯回歸
關於邏輯回歸的演算法原理 spark官方文件裡有說明，另外網上也有中文翻譯文件可參考。本筆記是學習mllib的輯回歸api使用時一道練習題記錄，通過這道練習，可以掌握基本使用。mllib提供了兩種演算法實現，分別是sgd梯度下降法和lbfgs。1.資料檔案 交通事故的統計檔案，四列，accident...
Python 學習筆記總結4（Python模組）
import 到首次匯入模組的時候會發生如下3步操作 開啟模組檔案 執行模組對應的檔案，將執行過程中產生的名字都丟到模組的命名空間 在程式中會有乙個模組的名稱指向模組的命名空間去 第三方模組安裝位置，在python安裝 目錄下的lib site packages 目錄下。import time pr...
opencv 學習筆記 入門（4）
一 256色轉灰度圖 什麼叫灰度圖？任何顏色都有紅 綠 藍三原色組成，假如原來某點的顏色為rgb r，g，b 那麼，我們可以通過下面幾種方法，將其轉換為灰度 1.浮點演算法 gray r 0.3 g 0.59 b 0.11 2.整數方法 gray r 30 g 59 b 11 100 3.移位方法 ...