Fundamentals of Digital Logic with Verilog Design 这本书把数字逻辑跟verilog结合起来讲很不错

流程图demo，包括自定义节点和线颜色

文档中详细讲解PADS Logic元器件封装的制作和修改方法，适合初学者学习。

Patrick Blackburn] Modal Logic是逻辑学中最好的著作 模态逻辑的完整PDF电子书 有助于学生，研究人员等各类相关人员学习使用。

外文版的一阶逻辑经典书籍(First-Order-Logic)，不可多得的好书！

logic in computer science(面向计算机的数理逻辑)英文pdf附答案

关于macbookpro的声卡驱动软件，很好用

动态逻辑是用于程序推理的最主要的形式系统之一。改书是MIT出版社计算科学基础（Foundations of Computing）系列书之一，是动态逻辑领域最经典的教科书。

非常好的数理逻辑入门书籍，清晰明白。 比国内的中文书籍讲的好。

rp2040-逻辑分析仪 该项目修改了PIO逻辑分析器示例，该示例是Raspberry Pi Pico示例的一部分。 现在，该示例允许交互式配置捕获以执行并以CSV格式输出捕获，适合导入sigrock / Pulseview进行进一步分析。 要使用分析仪，请将其安装在Pico上，并以921600波特连接到COM端口。 连接后，按h获取命令帮助。 捕获仅受Pico的能力限制。 这些命令是： p＃-设置第一个引脚以接收捕获数据 n＃-设置要接收捕获数据的引脚数 f＃-设置频率以Hz捕获数据 t（1）（0）-将触发器设置为高电平或低电平。 触发发生在第一个针脚上 s＃-设置要捕获的样本数量 g-走！ 一旦选择“ go”，触发器将设防并等待指定的信号。 输出为CSV文件，每一行包含每个要采样的引脚。 可以使用任何可以将串行端口读取到文件的程序来保存输出。 请注意，大量样本可能需要相当长的时