01 2022 档案

数理逻辑02 推演系统
摘要：写在前面 在上一章给出了命题逻辑的语法、语义，公理化的定义，以及一种判定公式是否可满足/永真的算法，但是这还不够，因为： 并不是所有逻辑都有Decision Procedure，因此这种方法不够普遍 即使有，在有无穷多的公理时，Decision Procedure很可能没法处理无穷项的公式（算法不一 阅读全文
posted @ 2022-01-24 18:53 jjppp 阅读(591) 评论(0) 推荐(1) 编辑
数理逻辑习题乱做
摘要：做习题，不保证对，不保证全 2.10 证明只有 ↑,↓ 能单独定义所有的单目和二元运算 首先考虑如何表示 ¬。 ∘ 这个二元运算能表示 ¬ 的定义为，对于任意公式 A 都有 \(\neg A=A\circ A 阅读全文
posted @ 2022-01-21 23:44 jjppp 阅读(260) 评论(0) 推荐(0) 编辑
数理逻辑01 命题逻辑
摘要：写在前面 第一次看这本书的时候看得比较急，也没有一个big picture的把握，所以在细节上面耗费了很多时间....现在算是重构一次笔记了 我们知道，形式逻辑是对推理的形式化（mathematical logic formalizes resoning），为了描述推理我们有各种各样的逻辑系统。对于 阅读全文
posted @ 2022-01-20 18:31 jjppp 阅读(647) 评论(0) 推荐(0) 编辑
用haskell写brainfuck解释器
摘要：最近在看 Learn you a haskell for great good，刚好看到IO。因为实在想不到去哪写haskell练手，于是就去codewars上面找水题刷了。 感觉给了我最大震撼的FP是scheme，给了我现代FP体验的是Coq（好多东西和haskell无缝衔接，除了记号方面的适应） 阅读全文
posted @ 2022-01-17 23:51 jjppp 阅读(84) 评论(0) 推荐(0) 编辑
大二上躺平经验
摘要：大二上躺平经验 2021年的记忆都停留在了五六月份...现在不是很想回忆，但是那段时间确实又欣喜又自卑，随后的七八月一直在学校里过着昼夜颠倒的生活。再往后就没什么印象了，那之后也不怎么拍照，人是越活越不明白了 七八月 七月初的时候和辅导员申请全程留校，然后就来消息说广东解封了，于是连夜说服辅导员第二 阅读全文
posted @ 2022-01-11 02:17 jjppp 阅读(251) 评论(0) 推荐(0) 编辑
PA4 附加关卡
摘要：试验进度 我完成了全部必做内容，最后可以用F1、F2、F3分别玩nterm、pal和bird，默认初始打开的是nterm 思考题 为什么不叫"内核进程"? 可以发现，内核中所有正在执行的函数都共用一个虚拟地址空间——也就是内核地址空间，这是线程和进程最大的区别，因为每个进程都将会有自己的地址空间。 阅读全文
posted @ 2022-01-11 01:05 jjppp 阅读(328) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示