PLT 板


LINE

看板 PLT  RSS
※ [本文转录自 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







like.gif 您可能会有兴趣的文章
icon.png[问题/行为] 猫晚上进房间会不会有憋尿问题
icon.pngRe: [闲聊] 选了错误的女孩成为魔法少女 XDDDDDDDDDD
icon.png[正妹] 瑞典 一张
icon.png[心得] EMS高领长版毛衣.墨小楼MC1002
icon.png[分享] 丹龙隔热纸GE55+33+22
icon.png[问题] 清洗洗衣机
icon.png[寻物] 窗台下的空间
icon.png[闲聊] 双极の女神1 木魔爵
icon.png[售车] 新竹 1997 march 1297cc 白色 四门
icon.png[讨论] 能从照片感受到摄影者心情吗
icon.png[狂贺] 贺贺贺贺 贺!岛村卯月!总选举NO.1
icon.png[难过] 羡慕白皮肤的女生
icon.png阅读文章
icon.png[黑特]
icon.png[问题] SBK S1安装於安全帽位置
icon.png[分享] 旧woo100绝版开箱!!
icon.pngRe: [无言] 关於小包卫生纸
icon.png[开箱] E5-2683V3 RX480Strix 快睿C1 简单测试
icon.png[心得] 苍の海贼龙 地狱 执行者16PT
icon.png[售车] 1999年Virage iO 1.8EXi
icon.png[心得] 挑战33 LV10 狮子座pt solo
icon.png[闲聊] 手把手教你不被桶之新手主购教学
icon.png[分享] Civic Type R 量产版官方照无预警流出
icon.png[售车] Golf 4 2.0 银色 自排
icon.png[出售] Graco提篮汽座(有底座)2000元诚可议
icon.png[问题] 请问补牙材质掉了还能再补吗?(台中半年内
icon.png[问题] 44th 单曲 生写竟然都给重复的啊啊!
icon.png[心得] 华南红卡/icash 核卡
icon.png[问题] 拔牙矫正这样正常吗
icon.png[赠送] 老莫高业 初业 102年版
icon.png[情报] 三大行动支付 本季掀战火
icon.png[宝宝] 博客来Amos水蜡笔5/1特价五折
icon.pngRe: [心得] 新鲜人一些面试分享
icon.png[心得] 苍の海贼龙 地狱 麒麟25PT
icon.pngRe: [闲聊] (君の名は。雷慎入) 君名二创漫画翻译
icon.pngRe: [闲聊] OGN中场影片:失踪人口局 (英文字幕)
icon.png[问题] 台湾大哥大4G讯号差
icon.png[出售] [全国]全新千寻侘草LED灯, 水草

请输入看板名称,例如:Tech_Job站内搜寻

TOP