QuantumComputationandLogic:HowQuantumComputersHaveInspiredLogicalInvestigations(TrendsinLogic)By作者:M
Thisisaslightyrevisedversionofthe1985editionofmylogicbook.Manyty-posanderrorshavebeencorrectedandthe
Saleae逻辑分析仪配套软件用于Saleae逻辑分析仪显示波形
HandbookofMathematicalLogic(Studiesinlogicandthefoundationsofmathematics)(JonBarwise)
Logic in Access Control
大学高级数理逻辑教程，包括一阶谓词逻辑，完全定理。
模式逻辑
Xlinix Logic Logic_Representations entrance level
这是基于符号逻辑的C源代码扫描器。 它分析C源代码(尤其是针对Linux内核的源代码)的编程错误和漏洞。 测试由用户定义。
本书有助于数学建模人员建立人口模型，免费提供公式
用户评论