※ [本文轉錄自 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://webptt.com/m.aspx?n=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