※ [本文转录自 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/cn.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