[數撚圍爐區] Bounded Operators are Unbounded (58)
kai龍(苗撚)
1001 回覆
1 Like
10 Dislike
第 1 頁第 2 頁第 3 頁第 4 頁第 5 頁第 6 頁第 7 頁第 8 頁第 9 頁第 10 頁第 11 頁第 12 頁第 13 頁第 14 頁第 15 頁第 16 頁第 17 頁第 18 頁第 19 頁第 20 頁第 21 頁第 22 頁第 23 頁第 24 頁第 25 頁第 26 頁第 27 頁第 28 頁第 29 頁第 30 頁第 31 頁第 32 頁第 33 頁第 34 頁第 35 頁第 36 頁第 37 頁第 38 頁第 39 頁第 40 頁第 41 頁
成功咁用C++ check左用indication prove所有integer都係integer既proof
*induction
手巴寫緊咩
Hello world
認真係寫緊hello world 唔同language既唔同feature既hello 即係例如幾隻popular lang既list都寫啲範例map filter reduce咁
其中一個aspect係compile time proof checking
開始將以前學既好零碎既邏輯組織返
認真係寫緊hello world 唔同language既唔同feature既hello 即係例如幾隻popular lang既list都寫啲範例map filter reduce咁
其中一個aspect係compile time proof checking
開始將以前學既好零碎既邏輯組織返
牛b一階邏輯既普通應用原來都好撚深
me 唔識 first order logic 
