搜索结果
查询Tags标签： wedge，共有 5条记录-
Hoare Logic Notes
The Hoare assignment axiom \[\vdash \{P[E/V]\} V:=E \{P\} \]The Floyd assignment axiom \[\vdash \{P\} V:=E \{\exist v.\ (V=E[v/V]) \wedge P[v/V]\} \]Precondition strengthening \[\frac{\vdash P \Rightarrow P,\vdash\{P\}C\{Q\}}{\vdash\{P\}C\{Q\}} \]Post…
2022/9/5 23:54:00 人评论 次浏览 -
ABC266.
D 设 \(f_{t,p}\) 代表在 \(t\) 时间点时人在 \(p\) 点的最大收益，在这一步他可以 \(p\) 增加，不动，\(p\) 减少。于是得出状态转移方程：\(f_{t,p} = \max(f_{t-1,p-1}, f_{t-1,p}, f_{t-1,p+1}) + a_{t,p}\)。 E 设 \(f_i\) 是第 \(i\) 轮的最大收益，策略一定是当骰子…
2022/8/29 23:25:45 人评论 次浏览 -
离散数学之命题逻辑
数理逻辑(mathematical logic)（又称符号逻辑），是用数学方法研究逻辑或形式逻辑的学科，属形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成…
2022/2/4 23:21:34 人评论 次浏览 -
进程代数CSP基础知识总结（Communicating sequencing process）
进程代数(Process Algebra) Process Algebra 理论提出者 理论名称 缩写 论文链接 简介C. A. R. Hoare/Tony Hoare Communicating Sequencing Process CSP Communicating Sequential Processes 1978年C. A．R．Hoare提出的通信顺序进程 CSP，是面向分布式系统的程序设计语…
2021/9/22 7:11:57 人评论 次浏览 -
进程代数CSP基础知识总结（Communicating sequencing process）
进程代数(Process Algebra) Process Algebra 理论提出者 理论名称 缩写 论文链接 简介C. A. R. Hoare/Tony Hoare Communicating Sequencing Process CSP Communicating Sequential Processes 1978年C. A．R．Hoare提出的通信顺序进程 CSP，是面向分布式系统的程序设计语…
2021/9/22 7:11:57 人评论 次浏览
