※ [本文轉錄自 logic 看板 #1ajevvZE ]
作者: yoxem (Yoxem) 看板: logic
標題: [心得] 關於依值型別以及和形式邏輯的心得
時間: Tue Jul 18 21:06:56 2023
最近有涉獵一些和形式邏輯相關的電腦程式型別相關理論，所以寫了
這篇筆記，算是對自己終於有些許領會的一些記錄。
只是心得所以內容僅供參考，
大概講到依值型別和全稱量詞的對應性。
是說電腦邏輯數理證明，Program=Proof可以看，但我目前才讀到開頭。
因為數學邏輯符號比較多，所以用pdf提供：
http://yoxem.github.io/2023/07/16/ua-tat-hing-piat-e-li-kai/deptype.pdf
--
[8964路（延伸线）PTT→墙内]
票价：Free（<五毛人民币） 時刻：机动從PTT发车，单向行驶 （此簽名屬公有領域）
停靠站：PTT→民主化→六四天安门→自由门下载→毋忘六四→刘晓波→台湾独立→民运→
西藏独立→新疆独立→港独→九评共产党→法轮功→Tiananmen Massacre→Free Tibet→
占领中环→民主→真普选→南方街头运动→新公民运动→东突厥斯坦→湖南共和国→上访→
大纪元→胡耀邦→赵紫阳→Tank Man→北京之春→达赖喇嘛→六四真相→无界下载→墙内
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 27.96.245.216 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/logic/M.1689685625.A.8CE.html
※ 編輯: yoxem (27.96.245.216 臺灣), 07/18/2023 21:07:23
※ 發信站: 批踢踢實業坊(ptt.cc)
※ 轉錄者: yoxem (27.96.245.216 臺灣), 07/18/2023 21:08:08