动态逻辑是用于程序推理的最主要的形式系统之一。改书是MIT出版社计算科学基础（Foundations of Computing）系列书之一，是动态逻辑领域最经典的教科书。
2021-10-05 17:24:45
2.23MB
1
rp2040-逻辑分析仪
该项目修改了PIO逻辑分析器示例，该示例是Raspberry Pi Pico示例的一部分。 现在，该示例允许交互式配置捕获以执行并以CSV格式输出捕获，适合导入sigrock / Pulseview进行进一步分析。
要使用分析仪，请将其安装在Pico上，并以921600波特连接到COM端口。 连接后，按h获取命令帮助。 捕获仅受Pico的能力限制。
这些命令是：
p＃-设置第一个引脚以接收捕获数据
n＃-设置要接收捕获数据的引脚数
f＃-设置频率以Hz捕获数据
t（1）（0）-将触发器设置为高电平或低电平。 触发发生在第一个针脚上
s＃-设置要捕获的样本数量
g-走！
一旦选择“ go”，触发器将设防并等待指定的信号。 输出为CSV文件，每一行包含每个要采样的引脚。 可以使用任何可以将串行端口读取到文件的程序来保存输出。 请注意，大量样本可能需要相当长的时
2021-09-29 17:12:49
6KB
1
Subjective Logic， A Formalism for Reasoning Under Uncertainty，2016
2021-09-28 19:56:52
9.56MB
1
这是关于离散结构与逻辑，可计算性的电子书，最新版本，经典著作，英文版
2021-09-27 01:30:29
15.26MB
1
A first Course in An Introduction To Model Theory Proof Theory
2021-09-27 00:52:06
8.08MB
1