上一页 1 2 3 4 5 6 ··· 9 下一页
摘要: Pure Strategy Games 策略博弈说的是有限个玩家,每个玩家都有有限个决策,并且每个玩家的决策必须同时作出(即不能知悉其他人的决策),每个玩家都知道每一种决策组合的结果给每个玩家带来的收益。 形式化地,有 \(N\) 个玩家构成有限的玩家集 每个玩家 \(i\) 都有一个有限的决策集 阅读全文
posted @ 2022-03-12 22:29 jjppp 阅读(129) 评论(0) 推荐(0) 编辑
摘要: 针对南京大学 数字逻辑与计算机组成实验 课程的环境配置,本机是Ubuntu 21.10 1 访问 这个网页,选择Individual Files,只需要下载 QuartusLiteSetup-20.1.1.720-linux.run (1.9GB) cyclonev-20.1.1.720.qdz ( 阅读全文
posted @ 2022-03-08 13:06 jjppp 阅读(100) 评论(0) 推荐(0) 编辑
摘要: 严格写就太累了,这个就当是随手的笔记得了。大概看看原理,不求甚解。 Fixpoint Theorem 定义函数 \(f\) 的不动点 \(r\) 为满足 \(f(r)=r\) 的所有取值 考虑函数 \(f\),定义不动点迭代算法如下: 任取 \(X\in D(f)\) 计算 \(X=f(X)\) 重 阅读全文
posted @ 2022-03-07 23:26 jjppp 阅读(215) 评论(0) 推荐(0) 编辑
摘要: 写在前面 命题逻辑(或者 零阶逻辑)到一阶逻辑的变化,在于描述的粒度。命题逻辑只能描述命题之间的关系,以及它们如何构成更大的结构(新的命题)。在一阶逻辑中我们可以深入原子命题的内部,讨论命题的构成。 为了做到这一点,需要引入集合上的n元关系。从集合论作为基础的角度看,这么做是比较和谐的。 命题逻辑 阅读全文
posted @ 2022-02-13 12:04 jjppp 阅读(370) 评论(0) 推荐(0) 编辑
摘要: 写在前面 在上一章给出了命题逻辑的语法、语义,公理化的定义,以及一种判定公式是否可满足/永真的算法,但是这还不够,因为: 并不是所有逻辑都有Decision Procedure,因此这种方法不够普遍 即使有,在有无穷多的公理时,Decision Procedure很可能没法处理无穷项的公式(算法不一 阅读全文
posted @ 2022-01-24 18:53 jjppp 阅读(380) 评论(0) 推荐(1) 编辑
摘要: 做习题,不保证对,不保证全 2.10 证明只有 \(\uparrow,\downarrow\) 能单独定义所有的单目和二元运算 首先考虑如何表示 \(\neg\)。 \(\circ\) 这个二元运算能表示 \(\neg\) 的定义为,对于任意公式 \(A\) 都有 \(\neg A=A\circ A 阅读全文
posted @ 2022-01-21 23:44 jjppp 阅读(196) 评论(0) 推荐(0) 编辑
摘要: 写在前面 第一次看这本书的时候看得比较急,也没有一个big picture的把握,所以在细节上面耗费了很多时间....现在算是重构一次笔记了 我们知道,形式逻辑是对推理的形式化(mathematical logic formalizes resoning),为了描述推理我们有各种各样的逻辑系统。对于 阅读全文
posted @ 2022-01-20 18:31 jjppp 阅读(416) 评论(0) 推荐(0) 编辑
摘要: 最近在看 Learn you a haskell for great good,刚好看到IO。因为实在想不到去哪写haskell练手,于是就去codewars上面找水题刷了。 感觉给了我最大震撼的FP是scheme,给了我现代FP体验的是Coq(好多东西和haskell无缝衔接,除了记号方面的适应) 阅读全文
posted @ 2022-01-17 23:51 jjppp 阅读(68) 评论(0) 推荐(0) 编辑
摘要: 大二上躺平经验 2021年的记忆都停留在了五六月份...现在不是很想回忆,但是那段时间确实又欣喜又自卑,随后的七八月一直在学校里过着昼夜颠倒的生活。再往后就没什么印象了,那之后也不怎么拍照,人是越活越不明白了 七八月 七月初的时候和辅导员申请全程留校,然后就来消息说广东解封了,于是连夜说服辅导员第二 阅读全文
posted @ 2022-01-11 02:17 jjppp 阅读(208) 评论(0) 推荐(0) 编辑
摘要: 试验进度 我完成了全部必做内容,最后可以用F1、F2、F3分别玩nterm、pal和bird,默认初始打开的是nterm 思考题 为什么不叫"内核进程"? 可以发现,内核中所有正在执行的函数都共用一个虚拟地址空间——也就是内核地址空间,这是线程和进程最大的区别,因为每个进程都将会有自己的地址空间。 阅读全文
posted @ 2022-01-11 01:05 jjppp 阅读(228) 评论(0) 推荐(0) 编辑
上一页 1 2 3 4 5 6 ··· 9 下一页